Section outline

    • Διάλεξη 10/2/2025. Διαδικαστικά θέματα, εισαγωγή, Gradiance. Σύνολα και πράξεις συνόλων.
    • Διάλεξη 14/2/2025. Αριθμήσιμα και μη αριθμήσιμα σύνολα.
    • Διάλεξη 17/2/2025. Τεχνικές απαρίθμησης αριθμήσιμων συνόλων. Αρχή Διαγωνιοποίησης. Μη υπολογισιμότητα.
    • Διάλεξη 21/2/2025. Μη υπολογισιμότητα, παράδοξο Russel. Στοιχεία Κατηγορηματικής Λογικής: συντακτικό.
    • Διάλεξη 24/2/2025. Στοιχεία Κατηγορηματικής Λογικής: συντακτικό, ελεύθερες και δεσμευμένες μεταβλητές, εναλλαγή ποσοδεικτών, ερμηνεία, διατύπωση προτάσεων στην Πρωτοβάθμια γλώσσα.
    • Διάλεξη 4/3/2025. Στοιχεία Κατηγορηματικής Λογικής: ερμηνεία, διατύπωση προτάσεων στην Πρωτοβάθμια γλώσσα, παραδείγματα. 
    • Διάλεξη 7/3/2025. Στοιχεία Κατηγορηματικής Λογικής: ερμηνεία, ορισμός αλήθειας Tarski, σημασιολογική προσέγγιση, λογική εγκυρότητα.