ידיעון תשע"א

קישוט
 

שימו לב: לוח הבחינות יפורסם בתחילת חודש ספטמבר.

סילבוס לוגיקה - שיעור המשך

(קורס מספר 06187458)

שיעור

ד"ר עפרה רכטר

מטרת הקורס להעמיק את הכרות הסטודנטים עם מושגי יסוד של הלוגיקה, ולהרחיבה למטה תיאוריה בתחשיב פסוקים ופרדיקטים. הקורס יעניק יסודות להבנת התכונות היסודיות של שפות ומערכות פורמאליות, הכנה ללימוד מפורט וריגורוזי יותר של התכונות המודל-תיאורטיות והתורת הוכחתיות של מערכות פורמאליות, ואת הכלים ללימוד ההסטוריה של הלוגיקה או הפילוסופיה והיסודות של הלוגיקה והמתמטיקה.
יילמדו משפטי הנאותות והשלמות לתחשיב הפסוקים והפרדיקטים, ומשפטי הדדוקציה, בהקשריהם ההסטוריים והפילוסופיים. נושאים נוספים כוללים אי כריעות תחשיב הפרדיקטים, ומשפטי אי השלמות של גדל.

ציון: בחינה 85%, תרגילים 15%

דרישות קדם: מבוא ללוגיקה פילוסופית

הערות:

בחינות

  • מועד א' של סמסטר א' יתקיים ביום 10/02/2011 בשעה 9:00
  • מועד ב' של סמסטר א' יתקיים ביום 03/04/2011 בשעה 16:00

עמוד זה מתוחזק על ידי צוות המחשוב This page is maintained by Humanities WebMaster הצהרה Disclaimer