This item is provided by the institution :

Repository :
Kallipos Repository
see the original item page
in the repository's web site and access all digital files if the item*
share




2015 (EN)
Λογική Πρώτης Τάξης (EL)

Σταματόπουλος, Παναγιώτης (EL)
Stamatopoulos, Panagiotis (EN)

Ξιφαρά, Φωτεινή (EL)
Παπαβασιλείου, Σπυρίδων (EL)
Κάλλιπος (EL)
Ροντογιάννης, Παναγιώτης (EL)
Kallipos (EN)
Papavasileiou, Spyridon (EN)
Xifara, Foteini (EN)
Rontogiannis, Panagiotis (EN)

Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώσσα προγραμματισμού Prolog. (EL)

learningMaterial
bookChapter

ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (EL)
ΣΥΝΑΡΤΗΣΕΙΣ (EL)
ΛΟΓΙΚΗ (EL)
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ (EL)
Functional Programming (EN)
Programming Languages (EN)
Prolog (EN)
Haskell (EN)
Logic Programming (EN)
Functions (EN)
Logic (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)