Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard

• Κύριοι συγγραφείς: Koletsos, Georgios, Κολέτσος, Γεώργιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ; Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism

Εισαγωγή στο λ-λογισμό. Η έννοια της αναγωγής και της κανονικοποίησης. Τα προγράμματα ως λ-όροι. Αναπαραστασιμότητα των συναρτήσεων. Στοιχειώδης προγραμματισμός. Ο λ-λογισμός ως πλαίσιο υπολογισμού ανάλογο των μηχανών Turing.<br/>Προγραμματισμός με τύπους, ο λ-λογισμός με τύπους. Το σύστημα τω...