ΘΠ15 Συναρτησιακός Προγραμματισμός

• Κ08 - Δομές Δεδομένων

Στοιχεία από το λ-λογισμό: λ-μεταβλητές και συναρτησιακές εκφράσεις (ΣΕ), η έννοια της εφαρμογής, κανόνες α-μετατροπής (alpha-conversion), β-αναγωγής (beta-reduction), η-αναγωγής (eta-reduction), ορισμός λογικού και αριθμητικού συστήματος μέσω ΣΕ, έκφραση επιλογής, οι αλγόριθμοι ως ΣΕ, θεμελιακές δομές (τύπος, λίστα, κλάση, σφάλμα). Υπολογιστική υλοποίηση ΣΕ σε Lisp: ορισμοί και εφαρμογές ΣΕ, συναρτησιακή δόμηση προγράμματος (δάσος), τύποι και κλάσεις, λίστες, οριοθέτηση λ-μεταβλητής και ΣΕ, ΣΕ ανώτερης τάξης, μοντελοποίηση (modeling) μέσω λ-εκφράσεων, εξελικτικός προγραμματισμός (evolutionary programming), αναπαράσταση γνώσης μέσω ΣΕ.