ΘΕΩΡΙΑ ΤΥΠΩΝ
Μια εισαγωγή στη θεωρία τύπων. Ιστορική αναδρομή στην ανάπτυξη της θεωρίας τύπων και τη σύνδεση με τη θεμελίωση των Μαθηματικών. Το σύστημα των απλών τύπων του Church. Τυποποίηση μορφής Church και μορφής Curry. Θεωρήματα ισχυρής κανονικοποίησης και εκφρασιμότητας. Επέκταση του συστήματος – το σύστημ...
| Κύριοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4529 |
| Περίληψη: | Μια εισαγωγή στη θεωρία τύπων. Ιστορική αναδρομή στην ανάπτυξη της θεωρίας τύπων και τη σύνδεση με τη θεμελίωση των Μαθηματικών. Το σύστημα των απλών τύπων του Church. Τυποποίηση μορφής Church και μορφής Curry. Θεωρήματα ισχυρής κανονικοποίησης και εκφρασιμότητας. Επέκταση του συστήματος – το σύστημα Τ του Godel. Σύνδεση με τη συναρτησιακή γλώσσα ML. Πολυμορφισμός και σύστημα F του Girard και Reynolds. Εκφρασιμότητα και προγράμματα στους πολυμορφικούς τύπους. Το θεώρημα της ισχυρής κανονικοποίησης και η μέθοδος της αναγωγιμότητας. Κατασκευαστική λογική και συστήματα φυσικής απαγωγής. Ισομορφισμός Curry-Howard μεταξύ αποδείξεων στην κατασκευαστική λογική και στο λ-λογισμό με τύπους. Το πρωτόκολλο Curry-Howard. Η επέκταση του πρωτοκόλλου και στην κλασική λογική. Προγραμματισμός με τη χρήση κλασικών αποδείξεων. Εφαρμογές της θεωρίας τύπων στην πληροφορική. |
|---|
