- Predicate calculus
- Completeness theorem
- Equality theory
- Formal arithmetic
- Goedel incompleteness theorem
- Set theory
- Transfinite recurtion and induction
- Modal logic
- Kripke interpretations and their completeness
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360304 - לוגיקה למדעי המחשב 2 02360304 - Logic for Computer Science 2 02360304 - Logic for Computer Science 2 02360304 - Logic for Computer Science 2
אביב 2005-2006Spring 2005-2006Весна 2005-2006ربيع 2005-2006
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل