Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Αποθετήριο «Κάλλιπος»
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



Συστήματα Tableaux (EL)
Tableaux systems (EN)

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

Ξύστρα, Αικατερίνη (EL)
Τουλάτου, Δήμητρα (EL)
Δημητρακόπουλος, Κωνσταντίνος (EL)
Κάλλιπος (EL)
Toulatou, Dimitra (EN)
Kallipos (EN)
Ksystra, Aikaterini (EN)
Dimitrakopoulos, Konstantinos (EN)

Η έννοια της μηχανική απόδειξης. Τα σχετικά θεωρήματα, κανονική μορφή Skolem, το θεώρημα Herbrand, ο χώρος αναζήτησης. Επίλυση (resolution), προτασιακή εκδοχή, ο αλγόριθμος ενοποίησης του Robinson, επίλυση για την κατηγορηματική λογική. Λογικός προγραμματισμός, γλώσσα Prolog. Εφαρμογές της resolution, του συστήματος των ακολουθιακών και των tableaux στο λογικό προγραμματισμό. (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



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.