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

• Main Authors: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

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