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