ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ

Πληροφορίες Μαθήματος
ΤίτλοςΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ / Theoritical Informatics II
Κωδικός0432
ΣχολήΘετικών Επιστημών
ΤμήμαΜαθηματικών
Κύκλος / Επίπεδο1ος / Προπτυχιακό
Περίοδος ΔιδασκαλίαςΕαρινή
ΚοινόΝαι
ΚατάστασηΕνεργό
Course ID40000484

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

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

Πληροφορίες Τάξης
ΤίτλοςΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ
Ακαδημαϊκό Έτος2018 – 2019
Περίοδος ΤάξηςΕαρινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία3
Class ID
600121496
Τύπος Μαθήματος 2016-2020
  • Υποβάθρου
  • Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Γλώσσα Διδασκαλίας
  • Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Προαπαιτούμενα Μαθήματα
  • 0401 ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
Μαθησιακά Αποτελέσματα
Το μάθημα Θεωρητικη Πληροφορική ΙΙ είναι η συνέχεια του υποχρεωτικού μαθήματος του Β' εξαμήνου Θεωρητική Πληροφορική Ι. Οι φοιτήτριες και φοιτητές διδάσκονται καταρχήν περαιτέρω αλγορίθμους ελαχιστοποίσης αυτομάτων. Στην συνέχεια μελετούν την (δεύτερη στην ιεραρχία του Chomsky) κλάση των αλγεβρικών (ή context-free) γλωσσών το μαθηματικό δηλαδή μοντέλο των γλωσσών προγραμματισμού με την βοήθεια των γραμματικών και των αυτομάτων στοίβας και κατανοούν τη σημασία των μοντέλων αυτών στην συνακτική ανάλυση και τις επιθυμητές ιδότητες των compilers'.
Γενικές Ικανότητες
  • Εφαρμογή της γνώσης στην πράξη
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Προσαρμογή σε νέες καταστάσεις
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Ομαδική εργασία
  • Εργασία σε διεθνές περιβάλλον
  • Εργασία σε διεπιστημονικό περιβάλλον
  • Παραγωγή νέων ερευνητικών ιδεών
  • Άσκηση κριτικής και αυτοκριτικής
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
Πλήρης ελαχιστοποίηση πεπερασμένων αυτομάτων. Αλγεβρικές γραμματικές. Συντακτικά δένδρα. Αλγεβρικές γλώσσες. Ιδιότητες αλγεβρικών γλωσσών. Σχέση αλγεβρικών και αναγνωρίσιμων γλωσσών. Αυτόματα στοίβας.
Λέξεις Κλειδιά
Γραμματικές, Αλγεβρικές γλώσσες
Τύποι Εκπαιδευτικού Υλικού
  • Σημειώσεις
  • Βιβλίο
Οργάνωση Μαθήματος
ΔραστηριότητεςΦόρτος ΕργασίαςECTSΑτομικάΟμαδικάErasmus
Διαλέξεις391,3
Μελέτη και ανάλυση βιβλίων και άρθρων1234,1
Εξετάσεις30,1
Σύνολο1655,5
Αξιολόγηση Φοιτητών
Μέθοδοι Αξιολόγησης Φοιτητών
  • Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Διαμορφωτική)
  • Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
- Στοιχεία Θεωρίας Υπολογισμού, H.Lewis, Χ.Παπαδημητρίου, Κριτική, 2005, Αθήνα. - Εισαγωγή στη Θεωρία Υπολογισμού, M. Sipser, Παν/κές Εκδόσεις Κρήτης, 2007 έδοση 2009.
Επιπρόσθετη βιβλιογραφία για μελέτη
- 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.
Τελευταία Επικαιροποίηση
25-09-2018