Μηχανές Turing και Αποφασισιμότητα – Παρουσιάση Διπλωματικής Ημέρα και ώρα: Παρασκευή 16/12 στις 19.00 Τίτλος: Μηχανές Turing και Αποφασισιμότητα Ομιλιτής: Μεταπτυχιακός Φοιτητής Μανώλης Νταουντάκης Περίληψη: Στην παρουσίαση αυτή αρχικά θα ορίσουμε τις μηχανές Turing ως μοντέλο υπολογισμού. Στην συνέχεια θα μελετήσουμε το Πρόβλημα Τερματισμού (Halting Problem) και θα δείξουμε ότι είναι είναι μη αποφασίσιμο πρόβλημα, […]…
Δημοσιεύτηκε:
15 Δεκεμβρίου, 2022