Λογική Πρώτης Τάξης
Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώ...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/3593 |
