ΘΕΩΡΙΑ ΤΥΠΩΝ

• Κύριοι συγγραφείς: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

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