Λογική Πρώτης Τάξης

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Stamatopoulos, Panagiotis, Σταματόπουλος, Παναγιώτης
Μορφή:	7
Γλώσσα:	Greek
Έκδοση:	2016
Θέματα:	ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell
Διαθέσιμο Online:	http://localhost:8080/jspui/handle/11419/3593

id	kallipos-11419-3593
record_format	dspace
spelling	kallipos-11419-35932021-07-11T15:30:38Z Λογική Πρώτης Τάξης Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώσσα προγραμματισμού Prolog. 2016-02-19T11:39:50Z 2021-07-09T20:06:16Z 2016-02-19T11:39:50Z 2021-07-09T20:06:16Z 2016-02-19 7 http://localhost:8080/jspui/handle/11419/3593 el 1 application/pdf
institution	Kallipos
collection	DSpace
language	Greek
topic	ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell
spellingShingle	ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης Λογική Πρώτης Τάξης
description	Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώσσα προγραμματισμού Prolog.
format	7
author	Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης
author_facet	Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης
author_sort	Stamatopoulos, Panagiotis
title	Λογική Πρώτης Τάξης
title_short	Λογική Πρώτης Τάξης
title_full	Λογική Πρώτης Τάξης
title_fullStr	Λογική Πρώτης Τάξης
title_full_unstemmed	Λογική Πρώτης Τάξης
title_sort	λογική πρώτης τάξης
publishDate	2016
url	http://localhost:8080/jspui/handle/11419/3593
work_keys_str_mv	AT stamatopoulospanagiotis logikēprōtēstaxēs AT stamatopoulospanagiōtēs logikēprōtēstaxēs
_version_	1771301278045962240

Λογική Πρώτης Τάξης

Παρόμοια τεκμήρια