This item is provided by the institution :

Repository :
Kallipos Repository
see the original item page
in the repository's web site and access all digital files if the item*
share




2015 (EN)
Πρωτοβάθμια κατηγορηματική Λογική (EL)
First-order predicate calculus (EN)

Κολέτσος, Γεώργιος (EL)
Koletsos, Georgios (EN)

Τουλάτου, Δήμητρα (EL)
Δημητρακόπουλος, Κωνσταντίνος (EL)
Σταυρινός, Γιώργος (EL)
Κάλλιπος (EL)
Toulatou, Dimitra (EN)
Stavrinos, Giorgos (EN)
Kallipos (EN)
Dimitrakopoulos, Konstantinos (EN)

Η γλώσσα του πρωτοβάθμιου κατηγορηματικού λογισμού. Ποσοδείκτηση. Ελεύθερες και δεσμευμένες μεταβλητές. Η έννοια της πρότασης. Αντικατάσταση ελεύθερων μεταβλητών από όρους. Ερμηνεία της γλώσσας. Ο ορισμός της αλήθειας του Tarski. Μοντέλα συνόλου προτάσεων. Αξιωματικά συστήματα τύπου Hilbert. Θεωρίες με ισότητα. Θεωρήματα απαγωγής, σταθεράς, τυπικές αποδείξεις βασικών προτάσεων. Πλήρεις θεωρίες, λήμμα Lindenbaum, θεωρίες Henkin, απόδειξη του θεωρήματος της πληρότητας του Gödel. Επέκταση του θεωρήματος στις θεωρίες με ισότητα. Επέκταση του θεωρήματος σε αναπαρίθμητες γλώσσες. Εφαρμογές του θεωρήματος της πληρότητας, θεώρημα της συμπάγειας, θεωρήματα Löwenheim-Skolem. Μικρή εισαγωγή στη θεωρία Μοντέλων. (EL)

learningMaterial
bookChapter

ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ (EL)
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)