ΘΕΩΡΙΑ ΤΥΠΩΝ
Μια εισαγωγή στη θεωρία τύπων. Ιστορική αναδρομή στην ανάπτυξη της θεωρίας τύπων και τη σύνδεση με τη θεμελίωση των Μαθηματικών. Το σύστημα των απλών τύπων του Church. Τυποποίηση μορφής Church και μορφής Curry. Θεωρήματα ισχυρής κανονικοποίησης και εκφρασιμότητας. Επέκταση του συστήματος – το σύστημ...
| Κύριοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4529 |
| id |
kallipos-11419-4529 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-45292021-07-11T20:19:11Z ΘΕΩΡΙΑ ΤΥΠΩΝ Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science Μια εισαγωγή στη θεωρία τύπων. Ιστορική αναδρομή στην ανάπτυξη της θεωρίας τύπων και τη σύνδεση με τη θεμελίωση των Μαθηματικών. Το σύστημα των απλών τύπων του Church. Τυποποίηση μορφής Church και μορφής Curry. Θεωρήματα ισχυρής κανονικοποίησης και εκφρασιμότητας. Επέκταση του συστήματος – το σύστημα Τ του Godel. Σύνδεση με τη συναρτησιακή γλώσσα ML. Πολυμορφισμός και σύστημα F του Girard και Reynolds. Εκφρασιμότητα και προγράμματα στους πολυμορφικούς τύπους. Το θεώρημα της ισχυρής κανονικοποίησης και η μέθοδος της αναγωγιμότητας. Κατασκευαστική λογική και συστήματα φυσικής απαγωγής. Ισομορφισμός Curry-Howard μεταξύ αποδείξεων στην κατασκευαστική λογική και στο λ-λογισμό με τύπους. Το πρωτόκολλο Curry-Howard. Η επέκταση του πρωτοκόλλου και στην κλασική λογική. Προγραμματισμός με τη χρήση κλασικών αποδείξεων. Εφαρμογές της θεωρίας τύπων στην πληροφορική. 2016-02-27T14:42:42Z 2021-07-09T14:15:32Z 2016-02-27T14:42:42Z 2021-07-09T14:15:32Z 2016-02-27 7 http://localhost:8080/jspui/handle/11419/4529 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science |
| spellingShingle |
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος ΘΕΩΡΙΑ ΤΥΠΩΝ |
| description |
Μια εισαγωγή στη θεωρία τύπων. Ιστορική αναδρομή στην ανάπτυξη της θεωρίας τύπων και τη σύνδεση με τη θεμελίωση των Μαθηματικών. Το σύστημα των απλών τύπων του Church. Τυποποίηση μορφής Church και μορφής Curry. Θεωρήματα ισχυρής κανονικοποίησης και εκφρασιμότητας. Επέκταση του συστήματος – το σύστημα Τ του Godel. Σύνδεση με τη συναρτησιακή γλώσσα ML. Πολυμορφισμός και σύστημα F του Girard και Reynolds. Εκφρασιμότητα και προγράμματα στους πολυμορφικούς τύπους. Το θεώρημα της ισχυρής κανονικοποίησης και η μέθοδος της αναγωγιμότητας. Κατασκευαστική λογική και συστήματα φυσικής απαγωγής. Ισομορφισμός Curry-Howard μεταξύ αποδείξεων στην κατασκευαστική λογική και στο λ-λογισμό με τύπους. Το πρωτόκολλο Curry-Howard. Η επέκταση του πρωτοκόλλου και στην κλασική λογική. Προγραμματισμός με τη χρήση κλασικών αποδείξεων. Εφαρμογές της θεωρίας τύπων στην πληροφορική. |
| format |
7 |
| author |
Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος |
| author_facet |
Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος |
| author_sort |
Stefaneas, Petros |
| title |
ΘΕΩΡΙΑ ΤΥΠΩΝ |
| title_short |
ΘΕΩΡΙΑ ΤΥΠΩΝ |
| title_full |
ΘΕΩΡΙΑ ΤΥΠΩΝ |
| title_fullStr |
ΘΕΩΡΙΑ ΤΥΠΩΝ |
| title_full_unstemmed |
ΘΕΩΡΙΑ ΤΥΠΩΝ |
| title_sort |
θεωρια τυπων |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/4529 |
| work_keys_str_mv |
AT stefaneaspetros theōriatypōn AT koletsosgeorgios theōriatypōn AT stephaneaspetros theōriatypōn AT koletsosgeōrgios theōriatypōn |
| _version_ |
1771301281017626624 |
