ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

• Κύριοι συγγραφείς: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

Εισαγωγή στο λ-λογισμό. Η έννοια της συνάρτησης ως προς την ένταση και ως προς την έκταση. Αφαίρεση και εφαρμογή. Σύνδεση με τον συναρτησιακό προγραμματισμό και τη γλώσσα Lisp. β-αναγωγή και η-αναγωγή. Απλή και ισχυρή κανονικοποίηση. Το θεώρημα Church-Rosser και η μοναδικότητα της κανονικής μορφής. Στρατηγικές υπολογισμού. Call by value και call by name. Η στρατηγική της αναγωγής του αριστερότερου redex. Το θεώρημα των αναπτύξεων. Ο λ-λογισμός ως γενικό πλαίσιο προγραμματισμού. Προγραμματισμός στο λ-λογοσμό. Τα νούμερα του Church και τα προγράμματα για τις στοιχειώδεις συναρτήσεις. Αναπαραστασιμότητα όλων των αναδρομικών συναρτήσεων. Αποτελέσματα αναποκρισιμότητας. Συναρτησιακός προγραμματισμός και γενική θεωρία του λ-λογισμού χωρίς τύπους.