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

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

Πρόγραμμα Σπουδών: Μερικής Φοίτησης ΠΠΣ (2002-2011)

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

Πρόγραμμα Σπουδών: Μερικής Φοίτησης ΠΠΣ (2012-2013)

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

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

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

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

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

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

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

Πρόγραμμα Σπουδών: ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ 2002-2003

Εγγεγραμμένοι φοιτητές: 101
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΚΟΡΜΟΣΥποχρεωτικό Κατ' ΕπιλογήνΕαρινό-5,5
Πληροφορίες Τάξης
ΤίτλοςΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ
Ακαδημαϊκό Έτος2016 – 2017
Περίοδος ΤάξηςΕαρινή
Διδάσκοντες άλλων Κατηγοριών
Ώρες Εβδομαδιαία3
Ώρες Συνολικά39
Class ID
600038342
Τύπος Μαθήματος 2016-2020
  • Υποβάθρου
  • Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Γλώσσα Διδασκαλίας
  • Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Προαπαιτούμενα Μαθήματα
  • 0401 ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
Μαθησιακά Αποτελέσματα
Το μάθημα Θεωρητικη Πληροφορική ΙΙ είναι η συνέχεια του υποχρεωτικού μαθήματος του Β' εξαμήνου Θεωρητική Πληροφορική Ι. Οι φοιτήτριες και φοιτητές διδάσκονται καταρχήν περαιτέρω αλγορίθμους ελαχιστοποίσης αυτομάτων. Στην συνέχεια μελετούν την (δεύτερη στην ιεραρχία του Chomsky) κλάση των αλγεβρικών (ή context-free) γλωσσών το μαθηματικό δηλαδή μοντέλο των γλωσσών προγραμματισμού με την βοήθεια των γραμματικών και των αυτομάτων στοίβας και κατανοούν τη σημασία των μοντέλων αυτών στην συνακτική ανάλυση και τις επιθυμητές ιδότητες των compilers'.
Γενικές Ικανότητες
  • Εφαρμογή της γνώσης στην πράξη
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Προσαρμογή σε νέες καταστάσεις
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Ομαδική εργασία
  • Εργασία σε διεθνές περιβάλλον
  • Εργασία σε διεπιστημονικό περιβάλλον
  • Παραγωγή νέων ερευνητικών ιδεών
  • Άσκηση κριτικής και αυτοκριτικής
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
Πλήρης ελαχιστοποίηση πεπερασμένων αυτομάτων. Αλγεβρικές γραμματικές. Συντακτικά δένδρα. Αλγεβρικές γλώσσες. Ιδιότητες αλγεβρικών γλωσσών. Σχέση αλγεβρικών και αναγνωρίσιμων γλωσσών. Αυτόματα στοίβας.
Λέξεις Κλειδιά
Γραμματικές, Αλγεβρικές γλώσσες
Τύποι Εκπαιδευτικού Υλικού
  • Σημειώσεις
  • Βιβλίο
Οργάνωση Μαθήματος
ΔραστηριότητεςΦόρτος ΕργασίαςECTSΑτομικάΟμαδικάErasmus
Διαλέξεις39✓✓
Μελέτη και ανάλυση βιβλίων και άρθρων123
Εξετάσεις3
Σύνολο165
Αξιολόγηση Φοιτητών
Μέθοδοι Αξιολόγησης Φοιτητών
  • Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Διαμορφωτική)
  • Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
- Στοιχεία Θεωρίας Υπολογισμού των Η. 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.
Τελευταία Επικαιροποίηση
05-05-2017