ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
Εισαγωγή στο λ-λογισμό. Η έννοια της συνάρτησης ως προς την ένταση και ως προς την έκταση. Αφαίρεση και εφαρμογή. Σύνδεση με τον συναρτησιακό προγραμματισμό και τη γλώσσα Lisp. β-αναγωγή και η-αναγωγή. Απλή και ισχυρή κανονικοποίηση. Το θεώρημα Church-Rosser και η μοναδικότητα της κανονικής μορφής....
| Κύριοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4528 |
