Θεωρία Υπολογισμού

Οι μαθησιακοί στόχοι του μαθήματος είναι:

• Να εισάγει τους φοιτητές στη μαθηματική υποδομή του υπολογισμού και συγκεκριμένα στη θεωρία αυτομάτων, τη θεωρία τυπικών γλωσσών και γραμματικών, τις έννοιες του αλγορίθμου, της διαγνωσιμότητας, της πολυπλοκότητας και της υπολογισιμότητας.
• Να αναπτύξει την ικανότητα των φοιτητών να κατανοούν και να κατασκευάζουν μαθηματικές αποδείξεις για υπολογισμούς και αλγορίθμους.

Με την ολοκλήρωση του μαθήματος ο φοιτητής θα πρέπει να μπορεί:

• να κατηγοριοποιεί τις αφηρημένες μηχανές και να κατασκευάζει αφηρημένες μηχανές κατάλληλες για συγκεκριμένα προβλήματα
• να επιδεικνύει κατανόηση των πλεονεκτημάτων και των περιορισμών των αναλυτικών τεχνικών στην ανάπτυξη λογισμικού
• να αναγνωρίζει τη σημασία των κλάσεων πολυπλοκότητας και να υπολογίζει την πολυπλοκότητα συγκεκριμένων τύπων αλγορίθμων
• να επιδεικνύει βαθύτερη και ευρύτερη κατανόηση κλάσεων πολυπλοκότητας
• να αποδεικνύει τα βασικά αποτελέσματα της Θεωρίας Υπολογισμού