ΘΕΩΡΙΑ ΤΥΠΩΝ

• Main Authors: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

Μια εισαγωγή στη θεωρία τύπων. Ιστορική αναδρομή στην ανάπτυξη της θεωρίας τύπων και τη σύνδεση με τη θεμελίωση των Μαθηματικών. Το σύστημα των απλών τύπων του Church. Τυποποίηση μορφής Church και μορφής Curry. Θεωρήματα ισχυρής κανονικοποίησης και εκφρασιμότητας. Επέκταση του συστήματος – το σύστημ...