To μάθημα “Ειδικά Θέματα Υπολογιστικής Λογικής” καλύπτει εξειδικευμένα αλγοριθμικά θέματα της Θεωρίας Αποδείξεων, και απευθύνεται σε φοιτητές/τριες που έχουν ήδη επαρκείς βασικές γνώσεις Μαθηματικής Λογικής — ισοδύναμες με το “Μαθηματική Λογική και Εφαρμογές της” του Εαρινού Εξαμήνου.
Μπορείτε να δείτε το εκπαιδευτικό υλικό του μαθήματος στο eclass, https://eclass.upatras.gr/courses/CEID1131/ , και να επικοινωνήσετε με τον διδάσκοντα στη διεύθυνση kosmadak@upatras.gr ή με μήνυμα στο eclass. Άν υπάρξει ενδιαφέρον, η πρώτη συνάντηση θα είναι την Τρίτη 19 Οκτωβρίου: βλέπε το ενημερωμένο ωρολόγιο πρόγραμμα.
Σ. Κοσμαδάκης
Related Lesson:
Ειδικά Θέματα Υπολογιστικής Λογικής