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

Semestrial Information

Weekly Hours

3 Academic Credit • 3 Lecture Hours

Responsible(s)

Shay Moran

Notes
  • קבוצה 77 סגורה לסיניים בלבד.

Exams
Session A: 15-09-2024 Session B: 01-11-2024
Registration Groups
10
Lecture Thursday 09:30 - 12:30 אולמן 701 | Shay Moran
77
Enrollment Group No information regarding course hours
Weekly Hours

3 Academic Credit • 3 Lecture Hours


Registration Groups
77
Enrollment Group No information regarding course hours
Weekly Hours

3 Academic Credit • 3 Lecture Hours

Responsible(s)

Shay Moran

Notes
  • קבוצה 77 סגורה לסיניים בלבד

Exams
Session A: 23-07-2023 13:00 - 16:00
  • אולמן 600. 601. 602.
Session B: 12-10-2023 09:00 - 12:00
  • אולמן 300. 303.

Quizzes
Session A: 02-06-2023 09:00 - 11:00
  • אולמן 701, 705, 707,

Registration Groups
10
Lecture Monday 09:30 - 12:30 אולמן 201 | Shay Moran
77
Enrollment Group No information regarding course hours