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

כשהמתמטיקה עושה מתמטיקה למתמטיקה

פוסטים:

• Oct 20, 2017

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

• Feb 3, 2014

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

• Dec 11, 2013

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

• Nov 24, 2013

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

• Nov 14, 2013

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

• Nov 11, 2013

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

• Jun 30, 2013

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

• Jun 21, 2013

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

• Jun 15, 2013

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

• May 6, 2013

  מכסחי הכמתים

• Mar 21, 2013

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

• Feb 26, 2013

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

• Feb 25, 2013

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

• Feb 23, 2013

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

• Dec 16, 2012

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

• Sep 4, 2012

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

• Jun 17, 2012

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

• Apr 24, 2012

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

• Apr 8, 2012

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

• Apr 4, 2012

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

• Mar 28, 2012

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

• Mar 12, 2012

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

• May 6, 2010

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

• Nov 4, 2009

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

• Nov 2, 2009

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

• May 10, 2009

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

• May 3, 2009

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

• Apr 26, 2009

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

• Apr 17, 2008

  אז הנה הקשר בין קומפקטיות ומשפט הקומפקטיות

• Mar 3, 2008

  כמה קומפקטי יכול להיות הסבר על משפט הקומפקטיות?

• Sep 20, 2007

  על תורה העומדת על כריעות תרנגולת

• Jun 30, 2007

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