Θεωρία Αναδρομής (Μ.Π. Α.Λ.ΜΑ.)

Έγγραφα

ΤύποςAρχείο ΚάτωΜέγεθοςΗμερομηνία
1ο πακέτο ασκήσεων 30.59 KB27/10/23
2ο πακέτο ασκήσεων 31.19 KB1/12/23
3ο πακέτο ασκήσεων 26.96 KB23/12/23
4ο πακέτο ασκήσεων 36.2 KB1/2/24
Αναδρομή και Υπολογισιμότητα  
Γιάννης Μοσχοβάκης
984.02 KB18/10/21
Ελαχιστικά Αναδρομικές Συναρτήσεις  
Από το βιβλίο του Thomas A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition)
4.35 MB14/12/15
Πέρα από το RE  
Από το βιβλίο του Dexter C. Kozen, Automata and Computability
1.57 MB6/12/18
Σημειώσεις διαλέξεων  
Τελευταία ενημέρωση 31/3/2024, στις 13:33.
1.92 MB31/3/24
Σχεδιάγραμμα της απόδειξη της μη-πληρότητας Τυπικών Συστημάτων  
Από το βιβλίο των Hopcroft και Ullman, Introduction to Automata Theory, Languages, and Computation (1st edition)
174.6 KB17/12/15
Το Θεώρημα του Rice  
Από το βιβλίο των Hopcroft και Ullman, Introduction to Automata Theory, Languages, and Computation (1st edition)
6.05 MB1/12/15