ידיעון תשס"ט

קישוט
 

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

מבוא ללוגיקה פילוסופית

סילבוס
(קורס מספר 06181010)

שיעור

מר רן לנצט

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

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

Introduction to Philosophical Logic

The aim of this course is to enhance the students’ knowledge of the first order predicate calculus, as well as to survey a number of other topics that were not discussed in the general introductory course. Among the topics to be studied: elementary set theoretic notions; first order predicate calculus with identity, including a proof procedure and semantics; propositional modal logics; semantic and logical paradoxes.

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

הערות: הקורס אינו מומלץ לתלמידים שהתקשו בקורס המבוא

בחינות

  • מועד א' של סמסטר ב' יתקיים ביום 15/07/2009 בשעה 9:00
  • מועד ב' של סמסטר ב' יתקיים ביום 16/08/2009 בשעה 9:00

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