קטגוריה:לוגיקה מתמטית

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

ערכים העוסקים בלוגיקה מתמטית.


קטגוריות משנה

ישנן 2 קטגוריות משנה בקטגוריה זו.

א

  • אלגברה בוליאנית

ל

  • לוגיקה בוליאנית

ערכים בקטגוריה "לוגיקה מתמטית"

ישנם 31 דפים בקטגוריה זו.

*

  • תורה אפקטיבית
  • לוגיקה מתמטית

N

  • NAND לוגי
  • NOR לוגי

א

  • או (לוגיקה)
  • או אקסקלוסיבי
  • אם ורק אם
  • אקסיומה

ב

  • באופן ריק
  • בעיית SAT

ו

  • וגם (לוגיקה)

ט

  • טאוטולוגיה (לוגיקה)
  • טבלת אמת

כ

  • כללי דה מורגן
  • כריעות

ל

  • לא (לוגיקה)

מ

  • מבנה יצירה
  • מודוס פוננס
  • מפת קרנו
  • משפטי אי השלמות של גדל

ע

  • עקביות

ע (המשך)

  • עקביות (לוגיקה)

ק

  • קשר לוגי

ש

  • שפה מסדר ראשון
  • שקילות (לוגיקה)

ת

  • תורה (לוגיקה מתמטית)
  • תורת ההוכחות
  • תורת הקבוצות האקסיומטית
  • תחשיב למבדא
  • תחשיב פסוקים
  • תקף

מקור: http://he.wikipedia.org../../../%D7%9C/%D7%95/%D7%92/%D7%A7%D7%98%D7%92%D7%95%D7%A8%D7%99%D7%94%7E%D7%9C%D7%95%D7%92%D7%99%D7%A7%D7%94_%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%AA.html

קטגוריות: מתמטיקה | לוגיקה

Views
  • קטגוריה
  • שיחה
  • גרסה נוכחית
ניווט
  • עמוד ראשי
  • ברוכים הבאים
  • ערכים מומלצים
  • פורטלים
  • ערך אקראי
  • תרומה לוויקיפדיה
קהילה
  • שער הקהילה
  • עזרה
  • דלפק ייעוץ
  • מזנון
  • יצירת קשר
  • ספר אורחים
שפות אחרות
  • English
  • Беларуская
  • Български
  • Česky
  • Esperanto
  • Español
  • Français
  • Magyar
  • Íslenska
  • Italiano
  • 日本語
  • Русский
  • Slovenčina
  • 中文
MediaWiki
Wikimedia Foundation
  • דף זה שונה לאחרונה בתאריך 17:20, 17 בנובמבר 2006 על־ידי משתמש ויקיפדיה JAnDbot. מבוסס על העבודה של משתמש(י) ויקיפדיה Escarbot, YurikBot, FlaBot, Jobnikon, רונן אלטמן קידר, Netan'el וגם דוד שי.
  • הטקסט מוגש בכפוף ל־GNU Free Documentation License.
    יוצרי הערך מפורטים בדף "גרסאות קודמות". בעלי זכויות היוצרים בתמונה מופיעים בדף התמונה.
  • אודות ויקיפדיה
  • הבהרה משפטית