Logic

• An axiom system for predicate calculus and the completeness theorem.
• Introduction to model theory: The compactness Theorem, Skolem–Löwenheim Theorems, elementary substructures.
• Decidability and undecidability of theories, Gödel first Incompleteness Theorem.

הרכב הציון בקורס

• על מנת לעבור את הקורס צריך לעבור את הבחינה המסכמת בציון של 56 ומעלה. החומר לבחינה כולל את כל החומר שכוסה בפועל בקורס, לרבות ההרצאה ותרגילי הבית.

• אם הציון בבחינה המסכמת הוא 56 או יותר, אז הרכב הציון הוא:
  • עבודות בית: 4 נקודות כל מטלה. תהיה מטלה אחת בשבוע, בקירוב
  • בחינה מסכמת: 70 נקודות

• אם הציון בבחינה המסכמת נמוך מ-56 אז הוא הציון הסופי.

• לא ניתן לקבל יותר מ-100

היעדרויות ואיחורים

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

בכל מקרה של שינוי בהרכבי הציונים מסיבות אלה, עדיין הציון של מבחן הסופי יהווה 100% של הציון במקרה של ציון נמוך ממש מ-56 במבחן הסופי.