ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Εισαγωγή στο λ-λογισμό. Η έννοια της συνάρτησης ως προς την ένταση και ως προς την έκταση. Αφαίρεση και εφαρμογή. Σύνδεση με τον συναρτησιακό προγραμματισμό και τη γλώσσα Lisp. β-αναγωγή και η-αναγωγή. Απλή και ισχυρή κανονικοποίηση. Το θεώρημα Church-Rosser και η μοναδικότητα της κανονικής μορφής....
| Κύριοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4528 |
| id |
kallipos-11419-4528 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-45282021-07-11T18:17:51Z ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ LOGIC AND FUNCTIONAL PROGRAMMING Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science Εισαγωγή στο λ-λογισμό. Η έννοια της συνάρτησης ως προς την ένταση και ως προς την έκταση. Αφαίρεση και εφαρμογή. Σύνδεση με τον συναρτησιακό προγραμματισμό και τη γλώσσα Lisp. β-αναγωγή και η-αναγωγή. Απλή και ισχυρή κανονικοποίηση. Το θεώρημα Church-Rosser και η μοναδικότητα της κανονικής μορφής. Στρατηγικές υπολογισμού. Call by value και call by name. Η στρατηγική της αναγωγής του αριστερότερου redex. Το θεώρημα των αναπτύξεων. Ο λ-λογισμός ως γενικό πλαίσιο προγραμματισμού. Προγραμματισμός στο λ-λογοσμό. Τα νούμερα του Church και τα προγράμματα για τις στοιχειώδεις συναρτήσεις. Αναπαραστασιμότητα όλων των αναδρομικών συναρτήσεων. Αποτελέσματα αναποκρισιμότητας. Συναρτησιακός προγραμματισμός και γενική θεωρία του λ-λογισμού χωρίς τύπους. 2016-02-27T14:42:40Z 2021-07-09T14:14:26Z 2016-02-27T14:42:40Z 2021-07-09T14:14:26Z 2016-02-27 7 http://localhost:8080/jspui/handle/11419/4528 el 1 23 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science |
| spellingShingle |
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Logic For Computer Science Stefaneas, Petros Koletsos, Georgios Στεφανέας, Πέτρος Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ |
| description |
Εισαγωγή στο λ-λογισμό. Η έννοια της συνάρτησης ως προς την ένταση και ως προς την έκταση. Αφαίρεση και εφαρμογή. Σύνδεση με τον συναρτησιακό προγραμματισμό και τη γλώσσα Lisp. β-αναγωγή και η-αναγωγή. Απλή και ισχυρή κανονικοποίηση. Το θεώρημα Church-Rosser και η μοναδικότητα της κανονικής μορφής. Στρατηγικές υπολογισμού. Call by value και call by name. Η στρατηγική της αναγωγής του αριστερότερου redex. Το θεώρημα των αναπτύξεων. Ο λ-λογισμός ως γενικό πλαίσιο προγραμματισμού. Προγραμματισμός στο λ-λογοσμό. Τα νούμερα του Church και τα προγράμματα για τις στοιχειώδεις συναρτήσεις. Αναπαραστασιμότητα όλων των αναδρομικών συναρτήσεων. Αποτελέσματα αναποκρισιμότητας. Συναρτησιακός προγραμματισμός και γενική θεωρία του λ-λογισμού χωρίς τύπους. |
| 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/4528 |
| work_keys_str_mv |
AT stefaneaspetros logikēkaisynartēsiakosprogrammatismos AT koletsosgeorgios logikēkaisynartēsiakosprogrammatismos AT stephaneaspetros logikēkaisynartēsiakosprogrammatismos AT koletsosgeōrgios logikēkaisynartēsiakosprogrammatismos AT stefaneaspetros logicandfunctionalprogramming AT koletsosgeorgios logicandfunctionalprogramming AT stephaneaspetros logicandfunctionalprogramming AT koletsosgeōrgios logicandfunctionalprogramming |
| _version_ |
1771301317978882048 |
