Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Αποθετήριο «Κάλλιπος»
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο



Λογική Πρώτης Τάξης (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



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.