|
ΕΝΟΤΗΤΑ_01. Εισαγωγή στην Λογική και στον Λογικό Προγραμματισμό. | 955.42 KB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_02. Λογική: Εισαγωγή, Προτασιακή Λογική. | 1.41 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_03. Λογική: Κατηγορηματική Λογική, Σχέση Λογικής και Λογικού Προγραμματισμού. | 1.25 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_04. Λογικός Προγραμματισμός: η γλώσσα Prolog: Εισαγωγή, Ιστορική Αναδρομή, Σύνταξη, Εκτέλεση Προγραμμάτων, Αναδρομή. | 2.69 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_05. Λογικός Προγραμματισμός: Σύνθετοι Όροι, Αναδρομικοί Όροι, Λίστες | 2.49 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_06. Γλώσσα Prolog: Ενσωματωμένα Κατηγορήματα, Αριθμητικές Διαδικασίες, Διαδικασίες Εισόδου-Εξόδου, Χειρισμός Συμβολοσειρών | 1.85 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_07. Γλώσσα Prolog: Διαχείριση δεδομένων, προγράμματος και λύσεων στην Prolog | 1.65 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_08. Γλώσσα Prolog: Έλεγχος εκτέλεσης προγράμματος, Αποκοπή, Άρνηση | 1.73 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_09. Εφαρμογές Λογικού Προγραμματισμού: Ταξινόμηση, Δένδρα, Επίλυση Quiz | 1.15 MB | 12/3/15 | |
|
ΕΝΟΤΗΤΑ_10. Εφαρμογές Λογικού Προγραμματισμού: Συμβολικά Μαθηματικά, Συμβολική Παραγώγιση, Φυσικοί Αριθμοί ως Σύνθετοι Όροι | 1.57 MB | 12/3/15 | |