Η λογική των προτάσεων, προτασιακός λογισμός

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

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



Η λογική των προτάσεων, προτασιακός λογισμός (EL)
The logic of propositions, propositional calculus (EN)

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

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

Εισαγωγή στον προτασιακό λογισμό. Η γλώσσα του προτασιακού λογισμού. Διάφορες απλές περιπτώσεις και εξοικείωση με τους γενικευμένους επαγωγικούς ορισμούς. Σημασιολογία και ορισμός της έννοιας της λογικής συνεπαγωγής. Το θεώρημα της συμπάγειας του προτασιακού λογισμού. Η έννοια του τυπικού αποδεικτικού συστήματος. Σύστημα τύπου Hilbert για την προτασιακή λογική. Το θεώρημα της απαγωγής και σχετικά θεωρήματα. Το θεώρημα ορθότητας και πληρότητας για τον προτασιακό λογισμό. (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



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