Παρουσιάζεται το Θεώρημα Κανονικής Μορφής του Kleene, με το μαθηματικό του υπόβαθρο και το Πρόβλημα Τερματισμού του Turing ως εφαρμογή του.

Κύριοι συγγραφείς:	Βέργου, Θεοδώρα, Vergou, Theodora
Άλλοι συγγραφείς:	Αρβανιτάκης, Αλέξανδρος
Μορφή:	bachelorThesis
Γλώσσα:	Greek
Έκδοση:	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών 2017
Θέματα:	Πρόβλημα τερματισμού Kανονικές μορφές Θεώρημα Κανονικής Μορφής (Kleene) Halting problem Normal form Recursion Kleene's Normal Form Theorem
Διαθέσιμο Online:	http://dspace.lib.ntua.gr/handle/123456789/45971