Adobe PDF
(420.13 kB)
| Title Details: | |
|
ΘΕΩΡΙΑ ΤΥΠΩΝ |
|
| Authors: |
Stefaneas, Petros Koletsos, Georgios |
| Reviewer: |
Dimitrakopoulos, Konstantinos |
| Subject: | HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING |
| Keywords: |
Logic For Computer Science
|
| Description: | |
| Abstract: |
Μια εισαγωγή στη θεωρία τύπων. Ιστορική αναδρομή στην ανάπτυξη της θεωρίας τύπων και τη σύνδεση με τη θεμελίωση των Μαθηματικών. Το σύστημα των απλών τύπων του Church. Τυποποίηση μορφής Church και μορφής Curry. Θεωρήματα ισχυρής κανονικοποίησης και εκφρασιμότητας. Επέκταση του συστήματος – το σύστημα Τ του Godel. Σύνδεση με τη συναρτησιακή γλώσσα ML. Πολυμορφισμός και σύστημα F του Girard και Reynolds. Εκφρασιμότητα και προγράμματα στους πολυμορφικούς τύπους. Το θεώρημα της ισχυρής κανονικοποίησης και η μέθοδος της αναγωγιμότητας. Κατασκευαστική λογική και συστήματα φυσικής απαγωγής. Ισομορφισμός Curry-Howard μεταξύ αποδείξεων στην κατασκευαστική λογική και στο λ-λογισμό με τύπους. Το πρωτόκολλο Curry-Howard. Η επέκταση του πρωτοκόλλου και στην κλασική λογική. Προγραμματισμός με τη χρήση κλασικών αποδείξεων. Εφαρμογές της θεωρίας τύπων στην πληροφορική.
|
| Technical Editors: |
Stavrinos, Giorgos |
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/4529 |
| Bibliographic Reference: | Stefaneas, P., & Koletsos, G. (2015). ΘΕΩΡΙΑ ΤΥΠΩΝ [Chapter]. In Stefaneas, P., & Koletsos, G. 2015. Εφαρμογές της λογικής στην πληροφορική [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4529 |
| Language: |
Greek |
| Is Part of: |
Εφαρμογές της λογικής στην πληροφορική |
| Publication Origin: |
Kallipos, Open Academic Editions |