Απρίλιος 2013 | |
Μάθημα 10ο (Διάρκεια: 2:00 ώρες) Πέμπτη, 4 Απριλίου 2013 - 11:00 π.μ. Νέος Αλγόριθμος Ελέγχου αν t Όρος Θεώρημα Lowenheim-Skolem Φαινομενικό Παράδοξο του Skolem Βασικά Πράγματα για Άπειρους Πληθαρίθμους Θεώρημα LST (Lowenheim, Skolem & Tarski) Θεωρία Πλήρης Θεωρία Μερικά Αποτελέσματα για Θεωρίες Κλειστότητα ως προς τη Στοιχειώδη Ισοδυναμία Ασκήσεις
(Enderton: Κεφάλαιο 2, σελ.151-156) |