Μάθημα : Αναδρομικές Συναρτήσεις

Καλημέρα σε όλα,

Στς 5/3 πραγματοποιήσαμε μία γενική εισαγωγή στο πως προέκυψε το παρόν επιστημονικό πεδίο. Μιλήσαμε για γλώσσες και μηχανές Turing και συζητήσαμε τι σημαίνει υπολογίσιμη συνάρτηση, καθώς και τις κλάσεις γλωσσών REC και RE.

Όσα συζητήσαμε μπορούν να βρεθούν (σε μεγαλύτερη ανάλυση) στις σημειώσεις του κ. Ζώρου στα Έγγραφα, στο Κ0, την παράγραφο 0.2, και τις παραγράφους 1.1, 1.2 και 1.2.1, 1.2.2. Συνεχίζουμε την επόμενη πέμπτη με έννοιες και ασκήσεις από το Κ.1.

Για όποιο προτιμάει να διαβάζει από το βιβλίο του Sipser, θα πρέπει να δει πράγματα από τις παραγράφους 0.2, 3.1, 3.3, 4.1.

Γ. Λ.