ΤύποςΌνομα ΚάτωΜέγεθοςΗμερομηνία
Ελαχιστικά Αναδρομικές Συναρτήσεις  
Από το βιβλίο του Thomas A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition)
4.35 MB14-12-2015
Λύσεις 1ου πακέτου ασκήσεων
Όπως αυτές παρουσιάστηκαν στην τάξη, αποτυπωμένες από τον φοιτητή Γεώργιο Δαμάσκο
5.36 MB28-12-2018
Πέρα από το RE  
Από το βιβλίο του Dexter C. Kozen, Automata and Computability
1.57 MB06-12-2018
Σημειώσεις Αναδρομή και Υπολογισιμότητα
Γιάννης Μοσχοβάκης
984.02 KB14-12-2015
Σημειώσεις διαλέξεων
Τελευταία ενημέρωση 18/6/2019, στις 18:37.
1.76 MB03-07-2019
Σχεδιάγραμμα της απόδειξη της μη-πληρότητας Τυπικών Συστημάτων  
Από το βιβλίο των Hopcroft και Ullman, Introduction to Automata Theory, Languages, and Computation (1st edition)
174.6 KB17-12-2015
Το Θεώρημα του Rice  
Από το βιβλίο των Hopcroft και Ullman, Introduction to Automata Theory, Languages, and Computation (1st edition)
6.05 MB01-12-2015