11 Οκτωβρίου, 2021

Day

To μάθημα “Ειδικά Θέματα Υπολογιστικής Λογικής” καλύπτει εξειδικευμένα αλγοριθμικά θέματα της Θεωρίας Αποδείξεων, και απευθύνεται σε φοιτητές/τριες που έχουν ήδη επαρκείς βασικές γνώσεις Μαθηματικής Λογικής  — ισοδύναμες με το “Μαθηματική Λογική και Εφαρμογές της” του Εαρινού Εξαμήνου. Μπορείτε να δείτε το εκπαιδευτικό υλικό του μαθήματος στο eclass, https://eclass.upatras.gr/courses/CEID1131/ , και να επικοινωνήσετε με τον διδάσκοντα στη διεύθυνση kosmadak@upatras.gr ή με...
Read More
Αγαπητές φοιτήτριες και αγαπητοί και φοιτητές του Α΄ έτους, Σας συγχαίρω για την επιτυχία σας στις Πανελλήνιες εξετάσεις και σας καλωσορίζω στο Τμήμα. Σας εύχομαι τα χρόνια των σπουδών σας να είναι ενδιαφέροντα και δημιουργικά. Στα επόμενα bullets σας γνωστοποιώ ορισμένα σημεία σχετικά με το μάθημα της Λογικής Σχεδίασης Ι, το οποίο θα διεξάγεται δια...
Read More
Με πολύ μεγάλη χαρά ανακοινώνουμε ότι μετά από μια εξαιρετικά ανταγωνιστική διαδικασία η ερευνητική πρόταση “Management and Processing of Temporal Networks (TEMPO)” του Επίκουρου Καθηγητή  του Τμήματος κ. Κώστα Τσίχλα επελέγη από το Ελληνικό Ίδρυμα Έρευνας και Καινοτομίας (ΕΛ.ΙΔ.Ε.Κ.) για τριετή χρηματοδότηση. Αξίζει ιδιαίτερης αναφοράς το ότι μεταξύ των προτάσεων που υποβλήθηκαν στην 2η Προκήρυξη Ερευνητικών Έργων ΕΛ.ΙΔ.Ε.Κ. για την...
Read More

Ιστορικό

Text Widget

Nullam quis risus eget urna mollis ornare vel eu leo. Nullam id dolor id nibh ultricies vehicula ut id elit. Donec ullamcorper nulla non metus auctor fringilla. Maecenas sed diam eget.

Our Works

Μετάβαση στο περιεχόμενο