| Title | ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ Ι / Mathematical Logic I |
| Code | 0133 |
| Faculty | Sciences |
| School | Mathematics |
| Cycle / Level | 1st / Undergraduate, 2nd / Postgraduate |
| Teaching Period | Winter |
| Common | Yes |
| Status | Active |
| Course ID | 40000302 |
Programme of Study: UPS of School of Mathematics (2014-today)
Registered students: 22
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| Core | Elective Courses belonging to the selected specialization | 7 | 4 | 5.5 |
| Academic Year | 2017 – 2018 |
| Class Period | Winter |
| Faculty Instructors |
|
| Weekly Hours | 3 |
| Class ID | 600099095
|
Class Schedule
| Building | Φυσικομαθηματική (Δ) |
| Floor | Όροφος 3 |
| Hall | ΑΙΘΟΥΣΑ Μ0 (199) |
| Calendar | Πέμπτη 16:00 έως 18:00 |
| Building | Φυσικομαθηματική (Δ) |
| Floor | Όροφος 3 |
| Hall | ΑΙΘΟΥΣΑ Μ0 (199) |
| Calendar | Παρασκευή 16:00 έως 17:00 |
Mode of Delivery
- Face to face
Digital Course Content
- e-Study Guide https://qa.auth.gr/en/class/1/600099095
Course Content (Syllabus)
Propositional and predicate calculus - Soundness and Completeness
theorems.
Last Update
19-09-2013