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