Πληροφορίες Μαθήματος
ΤίτλοςΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I / Theoretical Informatics I
Κωδικός0401
ΣχολήΘετικών Επιστημών
ΤμήμαΜαθηματικών
Κύκλος / Επίπεδο1ος / Προπτυχιακό
Περίοδος ΔιδασκαλίαςΕαρινή
Γνωστικό ΑντικείμενοΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΑΡΙΘΜ. ΑΝΑΛΥΣΗΣ
Χαρακτηρισμός ΜαθήματοςΠληροφορικής ή Χειρισμού Η/Υ
ΚοινόΌχι
ΚατάστασηΕνεργό
Course ID40000480

Πρόγραμμα Σπουδών: ΠΠΣ Τμήμα Μαθηματικών (2014-σήμερα)

Εγγεγραμμένοι φοιτητές: 573
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΚορμόςΥποχρεωτικό215,5

Πληροφορίες Τάξης
ΤίτλοςΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
Ακαδημαϊκό Έτος2019 – 2020
Περίοδος ΤάξηςΕαρινή
Διδάσκοντες άλλων Κατηγοριών
Ώρες Εβδομαδιαία3
Class ID
600147690
Τύπος Μαθήματος 2016-2020
  • Υποβάθρου
  • Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Γλώσσα Διδασκαλίας
  • Ελληνικά (Διδασκαλία, Εξέταση)
Μαθησιακά Αποτελέσματα
- Kατανόηση της αυστηρής μαθηματικής μοντελοποίησης των αλγορίθμων, με την βοήθεια των πεπερασμένων αυτομάτων. - Eμβάθυνση στις έννοιες των πεπερασμένων αυτομάτων, τις αναγνωρίσιμες γλώσσες, τις ρητές γλώσσες. - Ελαχιστοποίηση αλγορίθμων που περιγράφονται από αυτόματα. - Δυνατότητα διάκρισης μεταξύ αναγνωρίσιμης και μη αναγνωρίσιμης γλώσσας.
Γενικές Ικανότητες
  • Εφαρμογή της γνώσης στην πράξη
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Προσαρμογή σε νέες καταστάσεις
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Εργασία σε διεθνές περιβάλλον
  • Εργασία σε διεπιστημονικό περιβάλλον
  • Παραγωγή νέων ερευνητικών ιδεών
  • Άσκηση κριτικής και αυτοκριτικής
Περιεχόμενο Μαθήματος
Προκαταρκτικά: Σύνολα, σχέσεις, αλγόριθμοι. Ρυθμός αύξησης συνάρτησης. Αλφάβητα και τυπικές γλώσσες. Πεπερασμένα αυτόματα: Πλήρη, προσδιοριστά, μη-προσδιοριστά, ισοδυναμία. Αναγνωρίσιμες γλώσσες. Κριτήριο για τη μη-αναγνωρισιμότητα γλωσσών. Ρητές γλώσσες. Αλγόριθμοι για την ελαχιστοποίηση αυτομάτων. Αποτελέσματα αποφασιμότητας.
Τύποι Εκπαιδευτικού Υλικού
  • Σημειώσεις
  • Βιβλίο
Οργάνωση Μαθήματος
ΔραστηριότητεςΦόρτος ΕργασίαςECTSΑτομικάΟμαδικάErasmus
Διαλέξεις391,3
Μελέτη και ανάλυση βιβλίων και άρθρων1234,1
Εξετάσεις30,1
Σύνολο1655,5
Αξιολόγηση Φοιτητών
Μέθοδοι Αξιολόγησης Φοιτητών
  • Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Συμπερασματική)
  • Γραπτή Εξέταση με Επίλυση Προβλημάτων (Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
- Στοιχεία Θεωρίας Υπολογισμού των Η. Lewis και Χ. Παπαδημητρίου. - Εισαγωγή στη Θεωρία Υπολογισμού του M. Sipser.
Επιπρόσθετη βιβλιογραφία για μελέτη
- John Hopcroft, Rajeev Motwani, Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 3rd edition 2007. - Juraj Hromkovic, Theoretical Computer Science, Texts in Theoretical Computer Science, EATCS Series, Springer, 2004. - Harry Lewis, Christos Papadimitriou, Elements of the Theory of Computation, Prentice-Hall Inc., 2nd edition 1998. - Grzegorz Rozenberg, Arto Salomaa eds., Handbook of Formal Languages, volumes 1-3, Springer-Verlag, Berlin, 1997.
Τελευταία Επικαιροποίηση
21-04-2020