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: 114
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| Core | Elective Courses belonging to the selected specialization | Winter | - | 5.5 |
| Academic Year | 2021 – 2022 |
| Class Period | Winter |
| Faculty Instructors |
|
| Weekly Hours | 3 |
| Class ID | 600186951
|
Course Type 2011-2015
Knowledge Deepening / Consolidation
Mode of Delivery
- Face to face
Digital Course Content
- e-Study Guide https://qa.auth.gr/en/class/1/600186951
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
- Greek (Instruction, Examination)
General Competences
- Make decisions
- Work autonomously
Course Content (Syllabus)
Propositional and predicate calculus - Soundness and Completeness
theorems.
Course Organization
| Activities | Workload | ECTS | Individual | Teamwork | Erasmus |
|---|---|---|---|---|---|
| Lectures | 39 | 1.3 | |||
| Reading Assigment | 123 | 4.1 | |||
| Exams | 3 | 0.1 | |||
| Total | 165 | 5.5 |
Student Assessment
Student Assessment methods
- Written Exam with Short Answer Questions (Formative, Summative)
- Written Exam with Extended Answer Questions (Formative, Summative)
- Written Exam with Problem Solving (Formative, Summative)
Bibliography
Course Bibliography (Eudoxus)
- Στοιχεία Μαθηματικής Λογικής, Α. Τζουβάρας, Ζήτη, 1998.
- Μαθηματική Εισαγωγή στην Λογική, H. Enderton, Πανεπιστημιακές Εκδόσεις Κρήτης, 2013
Last Update
15-03-2020
