| Προσφερόμενο Μάθημα: Εφαρμογές της Λογικής στην Πληροφορική | |
| Τίτλος: | Εφαρμογές της Λογικής στην Πληροφορική |
| Κωδικός: | 9143 |
| Περιγραφή: | Απόδειξη θεωρημάτων. Πρωτοβάθμιος κατηγορηματικός λογισμός, μοντέλα, μοντέλα Herbrand, clauses, κανονική μορφή, prenex, κανονική μορφή Skolen, resolution, ορθότητα και πληρότητα του resolution του Robinson. Θεωρία Λογικού προγραμματισμού, Horn clauses, μέθοδοι έρευνας, η άρνηση ως αποτυχία και η σημασιολογίατης, μη-μονότονη συλλογιστική, μοντέλα τριών τιμών αλήθειας. Συναρτησιακός προγραμματισμός, χωρίς τύπους, με τύπους, οι αποδείξεις ως προγράμματα, ισομορφισμός του Curry-Howard, δευτεροβάθμια λογικά συστήματα, συστήματα πολυμορφισμού. Σημασιολογία προγραμματιστικών γλωσσών, θεωρία του σταθερού σημείου. |
| Εξάμηνο: | Όγδοο |
| Κατεύθυνση: | Μαθηματικό Εφαρμογών |
| Τύπος: | Κατ' επιλογήν υποχρεωτικό |
| Ώρες Διδασκαλίας: | 4 |
| Διαθέσιμο υλικό: |  Θέματα Εξετάσεων Σημειώσεις Ιστοσελίδες |
| Στατιστικά: | Δηλώθηκε από 36 χρήστες Ποσοστό επιτυχίας: 61.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] Κολέτσος Γεώργιος |
|
Δημιουργία:
Κυριακή 1 Ιανουαρίου 2006, 07:28 από Neo
|
|
2003 Επαναληπτική
Σύγγραμμα μαθήματος
Online
Σύνδεσμοι / Apps
Μέλη
Στατιστικά Portal
Τελευταίο: NachoScocco
Τελευτ. 7 μέρες: 3
Σύνολο Μελών: 3076