Mathematical Logic I
| Title | ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι / Mathematical Logic I |
| Code | 0133 |
| Faculty | Sciences |
| School | Mathematics |
| Cycle / Level | 1st / Undergraduate |
| Teaching Period | Winter |
| Common | Yes |
| Status | Active |
| Course ID | 40000302 |
Programme of Study: UPS of School of Mathematics (2014-today)
Registered students: 38
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| Core | Elective Courses belonging to the selected specialization | Winter | - | 5.5 |
| Academic Year | 2018 – 2019 |
| Class Period | Winter |
| Faculty Instructors |
|
| Weekly Hours | 3 |
| Class ID | 600121387
|
Mode of Delivery
- Face to face
Digital Course Content
- e-Study Guide https://qa.auth.gr/en/class/1/600121387
Course Content (Syllabus)
Propositional and predicate calculus - Soundness and Completeness
theorems.
Bibliography
Course Bibliography (Eudoxus)
- Στοιχεία Μαθηματικής Λογικής, Α. Τζουβάρας, Ζήτη, 1998.
- Μαθηματική Εισαγωγή στην Λογική, H. Enderton, Πανεπιστημιακές Εκδόσεις Κρήτης, 2013
Last Update
18-09-2018
