Μάθημα Λογικής Χειμερινού Εξαμήνου

scosmada's picture
Category: 

To μάθημα "Ειδικά Θέματα Υπολογιστικής Λογικής" καλύπτει εξειδικευμένα αλγοριθμικά θέματα της Θεωρίας Αποδείξεων, και απευθύνεται σε φοιτητές/τριες που έχουν ήδη επαρκείς βασικές γνώσεις Μαθηματικής Λογικής  -- ισοδύναμες με το "Μαθηματική Λογική και Εφαρμογές της" του Εαρινού Εξαμήνου. 

Μπορείτε να δείτε το εκπαιδευτικό υλικό του μαθήματος στο eclass, https://eclass.upatras.gr/courses/CEID1131/ , και να επικοινωνήσετε με τον διδάσκοντα στη διεύθυνση ή με μήνυμα στο eclass. Άν υπάρξει ενδιαφέρον, η πρώτη συνάντηση θα είναι την Τρίτη 19 Οκτωβρίου: βλέπε το ενημερωμένο ωρολόγιο πρόγραμμα.

Σ. Κοσμαδάκης

Related Lesson: 
Special Topics in Computational Logic

Startup Growth Lite is a free theme, contributed to the Drupal Community by More than Themes.