Adobe PDF
(524.69 kB)
| Title Details: | |
|
LOGIC AND FUNCTIONAL PROGRAMMING |
|
| 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: |
Εισαγωγή στο λ-λογισμό. Η έννοια της συνάρτησης ως προς την ένταση και ως προς την έκταση. Αφαίρεση και εφαρμογή. Σύνδεση με τον συναρτησιακό προγραμματισμό και τη γλώσσα Lisp. β-αναγωγή και η-αναγωγή. Απλή και ισχυρή κανονικοποίηση. Το θεώρημα Church-Rosser και η μοναδικότητα της κανονικής μορφής. Στρατηγικές υπολογισμού. Call by value και call by name. Η στρατηγική της αναγωγής του αριστερότερου redex. Το θεώρημα των αναπτύξεων. Ο λ-λογισμός ως γενικό πλαίσιο προγραμματισμού. Προγραμματισμός στο λ-λογοσμό. Τα νούμερα του Church και τα προγράμματα για τις στοιχειώδεις συναρτήσεις. Αναπαραστασιμότητα όλων των αναδρομικών συναρτήσεων. Αποτελέσματα αναποκρισιμότητας. Συναρτησιακός προγραμματισμός και γενική θεωρία του λ-λογισμού χωρίς τύπους.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/4528 |
| Bibliographic Reference: | Stefaneas, P., & Koletsos, G. (2015). LOGIC AND FUNCTIONAL PROGRAMMING [Chapter]. In Stefaneas, P., & Koletsos, G. 2015. Εφαρμογές της λογικής στην πληροφορική [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4528 |
| Language: |
Greek |
| Is Part of: |
Εφαρμογές της λογικής στην πληροφορική |
| Number of pages |
23 |
| Publication Origin: |
Kallipos, Open Academic Editions |