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: 2
| 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: 91
| Orientation | Attendance Type | Semester | Year | ECTS |
|---|---|---|---|---|
| Core | Elective Courses belonging to the selected specialization | 7 | 4 | 5.5 |
| Academic Year | 2022 – 2023 |
| Class Period | Winter |
| Faculty Instructors |
|
| Weekly Hours | 3 |
| Class ID | 600211782
|
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/600211782
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.
Educational Material Types
- Notes
- Video lectures
- Book
Course Organization
| Activities | Workload | ECTS | Individual | Teamwork | Erasmus |
|---|---|---|---|---|---|
| Lectures | 39 | ||||
| Reading Assigment | 123 | ||||
| Exams | 3 | ||||
| Total | 165 |
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)
- Μαθηματική Εισαγωγή στην Λογική, H. Enderton, Πανεπιστημιακές Εκδόσεις Κρήτης, 2013
Κωδικός Βιβλίου στον Εύδοξο: 32998373
ISBN: 9789605243999
- Μαθηματική λογική, Γ. Κολέτσος, Κάλλιπος, 2015
Διαθέσιμο δωρεάν: http://hdl.handle.net/11419/2299
Κωδικός Βιβλίου στον Εύδοξο: 320172
ISBN: 978-960-603-311-7
-Εισαγωγή στη Μαθηματική Λογική, Μάργαρης Αθανάσιος, Εκδόσεις Τζιόλα, 2017
Κωδικός Βιβλίου στον Εύδοξο: 50657752
ISBN: 9789604185290
Last Update
04-11-2022
