Logic

Type
Elective Required
Group
B
Course Description

Σύντομη ανασκόπηση Προτασιακής Λογικής. Πρωτοτάξια Λογική. Αλήθεια και μοντέλα. Τυπικές αποδείξεις (συναγωγές). Θεώρημα αξιοπιστίας και πληρότητας. Ερμηνείες (στοιχειώδης θεωρία μοντέλων). Μη συμβατική ανάλυση. Μη-διαγνωσιμότητα και μη πληρότητα. Αναδρομικές συναρτήσεις. Αριθμητικοποίηση σύνταξης. Θεωρία αριθμών. Πρώτο και δεύτερο θεώρημα μη πληρότητας.

Name Year Semester Taught by
Logic 2023-2024 Spring Costas D. Koutras
Logic 2022-2023 Spring Costas D. Koutras
Logic 2021-2022 Spring Costas D. Koutras
Logic 2020-2021 Fall Lefteris M. Kirousis, Dimitrios M. Thilikos
Logic 2019-2020 Fall Lefteris M. Kirousis, Dimitrios M. Thilikos
Logic 2018-2019 Spring Dimitris Zoros
Logic 2017-2018 Spring Lefteris M. Kirousis
Logic 2016-2017 Spring Lefteris M. Kirousis