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

Περίγραμμα

Διδάσκοντες

Διδάσκοντες

Διδάσκων: Παναγιώτης Κατσαρός, Επίκουρος Καθηγητής

 

Συνεργάτης ανάπτυξης περιεχομένου: Εμμανουέλα Στάχτιαρη

Περιεχόμενο μαθήματος

Περιεχόμενο μαθήματος

  • Εισαγωγή (σύνολα, σχέσεις και γλώσσες)
  • Κανονικές Γλώσσες:
    • Κανονικές εκφράσεις και κανονικές γλώσσες,
    • Ντετερμινιστικά και μη ντετερμινιστικά πεπερασμένα αυτόματα
    • Ιδιότητες κλειστότητας κανονικών γλωσσών
    • Το λήμμα της άντλησης
  • Γλώσσες Χωρίς Συμφραζόμενα:
    • Γραμματικές γλωσσών χωρίς συμφραζόμενα
    • Αυτόματα στοίβας
    • Ιδιότητες γλωσσών χωρίς συμφραζόμενα
    • Ντετερμινιστικές γλώσσες χωρίς συμφραζόμενα και καθοδική συντακτική ανάλυση
    • Μηχανές Turing
    • Μη επιλυσιμότητα

Μαθησιακοί στόχοι

Μαθησιακοί στόχοι

Mαθησιακοί στόχοι

Οι φοιτητές αναμένεται στα πλαίσια του μαθήματος να

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

 

Δεξιότητες-γενικοί μαθησιακοί στόχοι

Γενικότερα, οι φοιτητές αναμένεται μετά το πέρας του μαθήματος      

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

Προαπαιτούμενα

Προαπαιτούμενα

Επιθυμητή βασική γνώση Διακριτών Μαθηματικών (θεωρία συνόλων, σχέσεις, συναρτήσεις, τεχνικές απόδειξης). Γίνεται προσπάθεια να καλυφθεί εν συντομία η συγκεκριμένη ύλη στην εισαγωγή του μαθήματος.

Βιβλιογραφία

Βιβλιογραφία

H.R. Lewis, Χ. Παπαδημητρίου, "Στοιχεία θεωρίας υπολογισμού", 1η έκδοση/2005, Εκδόσεις Κριτική, ISBN: 978-960-
218-397-7 Κωδικός Βιβλίου στον Εύδοξο: 11776 2. M. Sipser, "Εισαγωγή στη Θεωρία Υπολογισμού", 1η έκδοση/2009,
Εκδόσεις ΙΤΕ-Πανεπιστημιακές Εκδόσεις Κρήτης, ISBN: 978-960-524-243-5 Κωδικός Βιβλίου στον Εύδοξο: 257

 

Επιπλέον συνιστώμενη βιβλιογραφία

  • Βιβλία- κείμενα (Text/books)
    • Συγγράμματα
      • H.R. Lewis, Χ. Παπαδημητρίου, "Στοιχεία θεωρίας υπολογισμού", 1η έκδοση/2005, Εκδόσεις
        Κριτική, ISBN: 978-960-218-397-7 Κωδικός Βιβλίου στον Εύδοξο: 11776 2. M. Sipser,
        "Εισαγωγή στη Θεωρία Υπολογισμού", 1η έκδοση/2009, Εκδόσεις ΙΤΕ-Πανεπιστημιακές Εκδόσεις
        Κρήτης, ISBN: 978-960-524-243-5 Κωδικός Βιβλίου στον Εύδοξο: 257
    • Βιβλιογραφία
    • Ανοικτά μαθήματα