Φοιτητές Σχολής Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών ΕΜΠ :: Οδηγός Σπουδών

Προσφερόμενο Μάθημα: Υπολογισιμότητα και Πολυπλοκότητα (Μοντέλα Υπολογισμού)
Τίτλος:	Υπολογισιμότητα και Πολυπλοκότητα (Μοντέλα Υπολογισμού)
Κωδικός:	9141
Περιγραφή:	Υπολογισιμότητα: Λογική θεμελίωση πληροφορικής. Ιστορική αναδρομή στο πρόβλημα αποκρισιμότητας μαθηματικών προτάσεων, επιλυσιμότητας ή υπολογισιμότητας προβλημάτων με μηχανιστικό, δηλαδή αλγοριθμικό, τρόπο. Απλά ισοδύναμα υπολογιστικά μοντέλα: μηχανές Turing, προγράμματα WHILE. Επαγωγή και αναδρομή, κωδικοποίηση και σημασιολογία. Θεωρία σταθερού σημείου. Αριθμητική ιεραρχία. Πολυπλοκότητα: Σχέσεις μεταξύ κλάσεων πολυπλοκότητας. Αναγωγές και Πληρότητα. Μαντεία. Πολυωνυμική ιεραρχία. Πιθανοτικές, διαλογικές και μετρητικές κλάσεις. Προχωρημένα θέματα από την θεωρία τυπικών γραμματικών. Εφαρμογές στο συντακτικό γλωσσών προγραμματισμού.
Εξάμηνο:	Όγδοο
Κατεύθυνση:	Μαθηματικό Εφαρμογών
Τύπος:	Κατ' επιλογήν υποχρεωτικό
Ώρες Διδασκαλίας:	3
Διαθέσιμο υλικό:	Ιστοσελίδες Ιστοσελίδα μαθήματος Ασκήσεις Ασκήσεις κεφάλαιου 2 (εκφωνήσεις και λύσεις) Ασκήσεις κεφαλαίου 3 (εκφωνήσεις και λύσεις) Συζητήσεις στο forum Topic μαθήματος στο forum
Στατιστικά:	Δηλώθηκε από 21 χρήστες Ποσοστό επιτυχίας: 61.9
Διδάσκοντες:	[Εαρινή 2018-19] Ζάχος Ευστάθιος (Α-Ω) Ποτίκας Πέτρος (Α-Ω) [Εαρινή 2017-18] Ζάχος Ευστάθιος (Α-Ω) Ποτίκας Πέτρος (Α-Ω) [Εαρινή 2016-17] Παγουρτζής Αριστείδης (Α-Ω) Ποτίκας Πέτρος (Α-Ω) [Εαρινή 2014-15] Ζάχος Ευστάθιος Παγουρτζής Αριστείδης [Εαρινή 2013-14] Ζάχος Ευστάθιος [Εαρινή 2012-13] Ζάχος Ευστάθιος (Α-Ω) [Εαρινή 2011-12] Ζάχος Ευστάθιος [Εαρινή 2010-11] Ζάχος Ευστάθιος [Εαρινή 2009-10] Ζάχος Ευστάθιος [Εαρινή 2008-09] Ζάχος Ευστάθιος [Εαρινή 2007-08] Ζάχος Ευστάθιος [Εαρινή 2006-07] Ζάχος Ευστάθιος [Εαρινή 2005-06] Ζάχος Ευστάθιος [Εαρινή 2004-05] Ζάχος Ευστάθιος
Δημιουργία: Πέμπτη 4 Μαΐου 2006, 21:21 από Neo