ΤύποςΌνομα ΚάτωΜέγεθοςΗμερομηνία
1ο Πακέτο Ασκήσεων 35.98 KB21-11-2019
2ο Πακέτο Ασκήσεων 29.63 KB21-11-2019
3ο Πακέτο Ασκήσεων 31.95 KB18-12-2019
4ο Πακέτο Ασκήσεων 31.21 KB23-01-2020
4ο Πακέτο Ασκήσεων
Αρχείο tex
3.66 KB23-01-2020
Ελαχιστικά Αναδρομικές Συναρτήσεις  
Από το βιβλίο του Thomas A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition)
4.35 MB14-12-2015
Πέρα από το RE  
Από το βιβλίο του Dexter C. Kozen, Automata and Computability
1.57 MB06-12-2018
Σημειώσεις Αναδρομή και Υπολογισιμότητα  
Γιάννης Μοσχοβάκης
984.02 KB26-10-2019
Σημειώσεις διαλέξεων  
Τελευταία ενημέρωση 29/1/2020, στις 15:23.
1.73 MB29-01-2020
Σχεδιάγραμμα της απόδειξη της μη-πληρότητας Τυπικών Συστημάτων  
Από το βιβλίο των 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