ΗΥ 280: Θεωρία Υπολογισμού |

Info

Διδάσκων

Πότε: Δευτέρα, Τετάρτη 13.00-15.00
Τοποθεσία: Αμφιθέατρο Στέλιος Ορφανουδάκης (ΣΟ)
Διδάσκων: Χαράλαμπος Ε. Τσουρακάκης
Email: tsourakakis@csd.uoc.gr

Βοηθοί

ΤΒΑ

Ώρες γραφείου

	Πότε;	Πού;
Χαράλαμπος Ε. Τσουρακάκης	Τρίτη 9.00-10.30μμ	Β303

Περίγραμμα μαθήματος (Syllabus)

Github

Βιβλία

Οποιοδήποτε από τα παρακάτω συγγράμματα μπορεί να χρησιμοποιηθεί ως βασικό βοήθημα. Ωστόσο, στο μάθημα θα καλύψουμε και ύλη (π.χ., Lean) πέρα από αυτή που περιλαμβάνεται στα συγγράμματα.

Εισαγωγή στη Θεωρία Υπολογισμού του M. Sipser
Αυτό είναι το προτεινόμενο, εκδόσεις ΠΕΚ, με άφθονα αντίγραφα διαθέσιμα στη βιβλιοθήκη.
Στοιχεία Θεωρίας Υπολογισμού των Lewis και Παπαδημητρίου
Introduction to Automata Theory, Languages, and Computation των Hopcroft, Motwani, Ullman

LEAN

Θα χρησιμοποιήσουμε τη γλώσσα Lean σε επιλεγμένα σημεία του μαθήματος, με στόχο να εξοικειωθούμε με τη διατύπωση και την αυστηρή απόδειξη μαθηματικών προτάσεων. Η Lean θα λειτουργήσει ως συμπληρωματικό εργαλείο για την κατανόηση βασικών εννοιών της λογικής, των αποδείξεων και της Θεωρίας Υπολογισμού. Δεν απαιτείται προηγούμενη εμπειρία με τη Lean.

Στην εποχή της Τεχνητής Νοημοσύνης, εργαλεία όπως η Lean αποκτούν ιδιαίτερη σημασία, καθώς επιτρέπουν να ελέγχουμε μηχανικά την ορθότητα μαθηματικών συλλογισμών και αποδείξεων, συμπεριλαμβανομένων εκείνων που παράγονται με τη βοήθεια συστημάτων ΤΝ.

Αξιολόγηση Φοιτητών

Διαλέξεις

Ημερομηνία	Υλικό	Σχόλια