Forum Διδασκαλία Εξετάσεις Αποτελέσματα
Προσφερόμενο Μάθημα: Εφαρμογές της Λογικής στην Πληροφορική
Τίτλος: Εφαρμογές της Λογικής στην Πληροφορική
Κωδικός: 9143
Περιγραφή: Απόδειξη θεωρημάτων. Πρωτοβάθμιος κατηγορηματικός λογισμός, μοντέλα, μοντέλα Herbrand, clauses, κανονική μορφή, prenex, κανονική μορφή Skolen, resolution, ορθότητα και πληρότητα του resolution του Robinson. Θεωρία Λογικού προγραμματισμού, Horn clauses, μέθοδοι έρευνας, η άρνηση ως αποτυχία και η σημασιολογίατης, μη-μονότονη συλλογιστική, μοντέλα τριών τιμών αλήθειας. Συναρτησιακός προγραμματισμός, χωρίς τύπους, με τύπους, οι αποδείξεις ως προγράμματα, ισομορφισμός του Curry-Howard, δευτεροβάθμια λογικά συστήματα, συστήματα πολυμορφισμού. Σημασιολογία προγραμματιστικών γλωσσών, θεωρία του σταθερού σημείου.
Εξάμηνο: Όγδοο
Κατεύθυνση: Μαθηματικό Εφαρμογών
Τύπος: Κατ' επιλογήν υποχρεωτικό
Ώρες Διδασκαλίας: 4
Διαθέσιμο υλικό:
folder Θέματα Εξετάσεων
folder Σημειώσεις
folder Ιστοσελίδες
Στατιστικά: Δηλώθηκε από 33 χρήστες
Ποσοστό επιτυχίας: 63.6%
Μέση βαθμολογία: 9.1
Διδάσκοντες: [Εαρινή 2016-17]
Στεφανέας Πέτρος
[Χειμερινή 2014-15]
Κολέτσος Γεώργιος
Στεφανέας Πέτρος
[Χειμερινή 2013-14]
Κολέτσος Γεώργιος (Α-Ω)
Στεφανέας Πέτρος (Α-Ω)
[Χειμερινή 2012-13]
Κολέτσος Γεώργιος (Α-Ω)
Στεφανέας Πέτρος (Α-Ω)
[Χειμερινή 2011-12]
Κολέτσος Γεώργιος
Στεφανέας Πέτρος
[Χειμερινή 2010-11]
Κολέτσος Γεώργιος
Στεφανέας Πέτρος
[Χειμερινή 2009-10]
Κολέτσος Γεώργιος
Στεφανέας Πέτρος
[Χειμερινή 2008-09]
Κολέτσος Γεώργιος
[Χειμερινή 2007-08]
Κολέτσος Γεώργιος
[Χειμερινή 2006-07]
Κολέτσος Γεώργιος
[Χειμερινή 2005-06]
Κολέτσος Γεώργιος
[Χειμερινή 2004-05]
Κολέτσος Γεώργιος
Δημιουργία: Παρασκευή 8 Οκτωβρίου 2004, 10:28 από Neo