Forum Διδασκαλία Εξετάσεις Αποτελέσματα
Προσφερόμενο Μάθημα: Υπολογισιμότητα και Πολυπλοκότητα (Μοντέλα Υπολογισμού)
Τίτλος: Υπολογισιμότητα και Πολυπλοκότητα (Μοντέλα Υπολογισμού)
Κωδικός: 9141
Περιγραφή: Υπολογισιμότητα: Λογική θεμελίωση πληροφορικής. Ιστορική αναδρομή στο πρόβλημα αποκρισιμότητας μαθηματικών προτάσεων, επιλυσιμότητας ή υπολογισιμότητας προβλημάτων με μηχανιστικό, δηλαδή αλγοριθμικό, τρόπο. Απλά ισοδύναμα υπολογιστικά μοντέλα: μηχανές Turing, προγράμματα WHILE. Επαγωγή και αναδρομή, κωδικοποίηση και σημασιολογία. Θεωρία σταθερού σημείου. Αριθμητική ιεραρχία. Πολυπλοκότητα: Σχέσεις μεταξύ κλάσεων πολυπλοκότητας. Αναγωγές και Πληρότητα. Μαντεία. Πολυωνυμική ιεραρχία. Πιθανοτικές, διαλογικές και μετρητικές κλάσεις. Προχωρημένα θέματα από την θεωρία τυπικών γραμματικών. Εφαρμογές στο συντακτικό γλωσσών προγραμματισμού.
Εξάμηνο: Όγδοο
Κατεύθυνση: Μαθηματικό Εφαρμογών
Τύπος: Κατ' επιλογήν υποχρεωτικό
Ώρες Διδασκαλίας: 3
Διαθέσιμο υλικό:
folder Ιστοσελίδες
folder Ασκήσεις
folder Συζητήσεις στο forum
Στατιστικά: Δηλώθηκε από 21 χρήστες
Ποσοστό επιτυχίας: 61.9%
Μέση βαθμολογία: 8.3
Διδάσκοντες: [Εαρινή 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]
Ζάχος Ευστάθιος
Δημιουργία: Τετάρτη 9 Φεβρουαρίου 2005, 00:21 από Neo