Propositional logic and predicate logic, axioms and completeness,distinction between semantics and syntax, normal forms, Herbrand universe, compactness and applications such as non-standard models, definability theory, preservation theorems. Applications to arithmetic and computability (incompleteness), relational data bases,abstract data types, program verification.
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת 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
אביב 2019-2020Spring 2019-2020Весна 2019-2020ربيع 2019-2020
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل