Λογική των προτάσεων: Γλώσσα της ΛΠ, Αληθοπίνακες, Συνέπειες-Ερμηνείες, Επάρκεια Λογικών Συνδέσμων – Κανονικές Μορφές, Σημαντικοί Πίνακες, Μέθοδος Επίλυσης, ΘΟΠ των Αποδείξεων με Επίλυση. Λογική των κατηγορημάτων: Γλώσσα της ΛΚ, Αξιωματική Θεμελίωση της ΛΚ, Συμβολισμός και Ορολογία στον Λογικό Προγραμματισμό, Ερμηνείες της ΛΚ, Κανονικές Μορφές της ΛΚ, Ερμηνείες Herbrand, Ενοποίηση και η Μέθοδος της Επίλυσης στη ΛΚ, ΘΟΠ των Αποδείξεων της ΛΚ, Μέθοδοι Αποφάσεων. Λογικός προγραμματισμός και prolog: Εισαγωγικές Έννοιες, Δομή Προγράμματος, Σύνταξη Δεδομένων, Μηχανισμός Λειτουργίας, Ενσωματωμένα Καταγορήματα, Η Εξέλιξη του Λογικού Προγραμματισμού.
| Cookie | Duration | Description |
|---|---|---|
| cookielawinfo-checbox-analytics | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics". |
| cookielawinfo-checbox-functional | 11 months | The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional". |
| cookielawinfo-checbox-others | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other. |
| cookielawinfo-checkbox-necessary | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary". |
| cookielawinfo-checkbox-performance | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance". |
| viewed_cookie_policy | 11 months | The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data. |
'/%3E%3C/svg%3E){kind=small}