ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
| Τίτλος | ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I / Theoretical Informatics I |
| Κωδικός | 0401 |
| Σχολή | Θετικών Επιστημών |
| Τμήμα | Μαθηματικών |
| Κύκλος / Επίπεδο | 1ος / Προπτυχιακό |
| Περίοδος Διδασκαλίας | Εαρινή |
| Υπεύθυνος/η | Γεώργιος Ραχώνης |
| Κοινό | Όχι |
| Κατάσταση | Ενεργό |
| Course ID | 40000480 |
Πρόγραμμα Σπουδών: Μερικής Φοίτησης (2014-σημερα)
Εγγεγραμμένοι φοιτητές: 0
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| ΚΟΡΜΟΣ | Υποχρεωτικό | 2 | 1 | 5,5 |
Πρόγραμμα Σπουδών: ΠΠΣ Τμήμα Μαθηματικών (2014-σήμερα)
Εγγεγραμμένοι φοιτητές: 0
| Κατεύθυνση | Τύπος Παρακολούθησης | Εξάμηνο | Έτος | ECTS |
|---|---|---|---|---|
| Κορμός | Υποχρεωτικό | 2 | 1 | 5,5 |
| Τίτλος | ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I |
| Ακαδημαϊκό Έτος | 2013 – 2014 |
| Περίοδος Τάξης | Εαρινή |
| Διδάσκοντες μέλη ΔΕΠ | |
| Ώρες Εβδομαδιαία | 3 |
| Class ID | 40050034
|
Τύπος Μαθήματος 2016-2020
- Υποβάθρου
- Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
- Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
- e-Οδηγός Σπουδών https://qa.auth.gr/el/class/1/40050034
- Άλλη: http://users.auth.gr/grahonis/TCS.html
Γλώσσα Διδασκαλίας
- Ελληνικά (Διδασκαλία, Εξέταση)
Μαθησιακά Αποτελέσματα
Η Θεωρητική Πληροφορική αποτελεί ένα σύγχρονο κλάδο της Μαθηματικής επιστήμης που ασχολείεται με την αυστηρή μαθηματική θεμελίωση της επιστήμης της Πληροφορικής.
Σκοπός του μαθήματος είναι να κατανοήσουν οι φοιτήτριες και φοιτητές την αυστηρή μαθηματική μοντελοποίηση των αλγορίθμων, με την βοήθεια των πεπερασμένων αυτομάτων, και τα σημαντικά αποτελέσματα που προκύπτουν από τη διαδικασία αυτή.
Γενικές Ικανότητες
- Εφαρμογή της γνώσης στην πράξη
- Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
- Προσαρμογή σε νέες καταστάσεις
- Λήψη αποφάσεων
- Αυτόνομη εργασία
- Εργασία σε διεθνές περιβάλλον
- Εργασία σε διεπιστημονικό περιβάλλον
- Παραγωγή νέων ερευνητικών ιδεών
- Άσκηση κριτικής και αυτοκριτικής
Περιεχόμενο Μαθήματος
Προκαταρκτικά: Σύνολα, σχέσεις, αλγόριθμοι. Ρυθμός αύξησης συνάρτησης. Αλφάβητα και τυπικές γλώσσες. Πεπερασμένα αυτόματα: Πλήρη, προσδιοριστά, μη-προσδιοριστά, ισοδυναμία. Αναγνωρίσιμες γλώσσες. Κριτήριο για τη μη-αναγνωρισιμότητα γλωσσών. Ρητές γλώσσες. Αλγόριθμοι για την ελαχιστοποίηση αυτομάτων. Αποτελέσματα αποφασιμότητας.
Τύποι Εκπαιδευτικού Υλικού
- Σημειώσεις
- Βιβλίο
Οργάνωση Μαθήματος
| Δραστηριότητες | Φόρτος Εργασίας | ECTS | Ατομικά | Ομαδικά | Erasmus |
|---|---|---|---|---|---|
| Διαλέξεις | 39 | ✓ | |||
| Σύνολο | 39 |
Αξιολόγηση Φοιτητών
Μέθοδοι Αξιολόγησης Φοιτητών
- Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Διαμορφωτική)
- Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
- Στοιχεία Θεωρίας Υπολογισμού των Η. 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.
Τελευταία Επικαιροποίηση
15-09-2013
