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

29 פוסטים

• 2017-10-20

  אינדוקציה שלמה ואינדוקציה רגילה

• 2014-02-03

  פותרים את SAT - אלגוריתם CDCL

• 2013-12-11

  פותרים את SAT - אלגוריתם DPLL

• 2013-11-24

  פותרים את SAT: המקרים של HORNSAT ו-2SAT

• 2013-11-14

  רזולוציה - איך אפשר להוכיח שאי אפשר?

• 2013-11-11

  מה זו בעיית SAT ולמה חשוב לפתור אותה?

• 2013-06-30

  על P=NP מעל חבורות אבליות - סוף דבר

• 2013-06-21

  על על-מסננים ועל-מכפלות

• 2013-06-15

  על P=NP מעל חבורות אבליות - מבוא שלם

• 2013-05-06

  מכסחי הכמתים

• 2013-03-21

  לוגיקה מסדר ראשון - כמה תוצאות של משפט השלמות

• 2013-02-26

  משפט השלמות של גדל, ההוכחה (חלק ב')

• 2013-02-25

  משפט השלמות של גדל, ההוכחה (חלק א')

• 2013-02-23

  מערכת הוכחה ללוגיקה מסדר ראשון

• 2012-12-16

  פרדוקס בוחן הפתע

• 2012-09-04

  הבעיה העשירית של הילברט - פונקציות דיופנטיות וחיות אחרות (רקורסיביות)

• 2012-06-17

  לוגיקה מסדר ראשון

• 2012-04-24

  תחשיב הפסוקים - משפט הקומפקטיות ואיך משפט השלמות דומה למשפט טיכונוף

• 2012-04-08

  משפט השלמות לתחשיב הפסוקים

• 2012-04-04

  תחשיב הפסוקים - על נביעה לוגית והוכחות

• 2012-03-28

  תחשיב הפסוקים

• 2012-03-12

  אז מה זו לוגיקה מתמטית?

• 2010-05-06

  משפט אי השלמות של גדל - מה הוא ממש, ממש לא

• 2009-11-04

  כלל ה-0-1 של גרפים - ההוכחה

• 2009-11-02

  כלל ה-0-1 של גרפים - הקדמה

• 2009-05-10

  משפט אי השלמות הראשון של גדל - איך (בערך) מוכיחים אותו?

• 2009-05-03

  משפטי אי השלמות של גדל - מה הם כן אומרים?

• 2009-04-26

  מה זאת אומרת, כל אחד אחרת? (או: איך ייתכן שהשערת הרצף לא ניתנת להוכחה ולהפרכה, וקצת על גאומטריות לא אוקלידיות)

• 2007-06-30

  הקיים הנעלם - הדוגמה ההסתברותית - מבוא לוגי

← חזרה לכל הקטגוריות