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. Applications of logic in computer science [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4529 |
Language: |
Greek |
Is Part of: |
Applications of logic in computer science |
Publication Origin: |
Kallipos, Open Academic Editions |