Student's Portal

Mathematical Logic As a Formal Description of Mathematical Reasoning And Proof. The Propositional Calculus# The Logical Connectives, Truth Tables and Propositions. Proof System and The Completeness Of This System. The Predicate Calucles# Formulas, Structures, Assignments and Models. a Proof System. Godel's Completeness Theorem. Categoricity and Completeness of Theories. Formal Number Theory# Axiom System For Number Theory. Nonstandard Models of Number Theory. Godel's Incompleteness Theorem. Recursivity, Decidability, Church's Thesis.

Faculty: Mathematics
|Undergraduate Studies |Graduate Studies

Pre-required courses

(104002 - Basic Concepts in Mathematics and 104293 - Set Theory) or 104290 - Set Theory

Course with no extra credit

234292 - Logic For Cs 234293 - Logic and Set Theory For Cs

• A mathematical introduction to logic - Enderton, Herbert B.
• A mathematical introduction to logic - Enderton, Herbert B.
• Logic for mathematicians - Hamilton, A. G.
• Logic for mathematicians. - Hamilton, A. G.
• לוגיקה מתימטית - לוי, עזריאל
• מתמטיקה דיסקרטית - גינזבורג, אברהם