Mathematical Logic I
| 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: Merikīs Foítīsīs (2014-sīmera)
Registered students: 0
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| KORMOS | Elective Courses belonging to the selected specialization | Winter | - | 5.5 |
Programme of Study: UPS of School of Mathematics (2014-today)
Registered students: 0
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| Core | Elective Courses belonging to the selected specialization | 7 | 4 | 5.5 |
| Academic Year | 2013 – 2014 |
| Class Period | Winter |
| Faculty Instructors | |
| Weekly Hours | 3 |
| Class ID | 40049388
|
Mode of Delivery
- Face to face
Digital Course Content
- e-Study Guide https://qa.auth.gr/en/class/1/40049388
Course Content (Syllabus)
Propositional and predicate calculus - Soundness and Completeness
theorems.
Last Update
19-09-2013
