---------- Προωθημένο μήνυμα ---------- Από: "Petros Stefaneas" <petrosstefaneas [ at ] gmail [ dot ] com> Ημερομηνία: 24 Μαΐ 2015 7:56 μ.μ. Θέμα: Ομιλία "Ζητήματα στη Φιλοσοφία της Επιστήμης των Υπολογιστών " Προς: Κοιν.: Πρόσκληση Ομιλίας στο Σεμινάριο APRePoSMa την Τρίτη 26/5, 18:00-20:00, στην αίθουσα Γκουνταρούλη, κτίριο ΜΙΘΕ (δίπλα στην είσοδο της Πανεπιστημιούπολης Ιλίσια) *Πέτρος Στεφανέας:* *"Ζητήματα στη Φιλοσοφία της Επιστήμης των Υπολογιστών "* *Περίληψη ομιλίας: *Έννοιες όπως σημασιολογία (semantics), συντακτικό (syntax), ορθότητα (correctness), αφαίρεση (abstraction), ορισμοί (definitions) διατρέχουν το σύνολο των γλωσσών που χρησιμοποιούνται στην πληροφορική. Ένα από τα βασικά ερωτήματα που απασχολεί την επιστήμη των υπολογιστών (computer science) συνοψίζεται στο «τι είναι πρόγραμμα (program);». Κάθε πρόγραμμα έχει λειτουργική (functional) και δομική (structural) πλευρά. Ισχυρισμοί όπως οι πιο πάνω – στην τυπική τους εκδοχή – μπορεί να αναδείξουν μια χρήσιμη μεθοδολογική προσέγγιση ανάμεσα στην μαθηματική λογική και την πληροφορική. Στην ομιλία αυτή θα δώσουμε ιδιαίτερη έμφαση σε φιλοσοφικά ζητήματα που ανακύπτουν από την αξιοποίηση της αφηρημένης θεωρίας μοντέλων και της θεωρίας κατηγοριών στην επιστήμη των υπολογιστών.