Σημασιολογία Λογικών Προγραμμάτων

Στο κεφάλαιο αυτό παρουσιάζονται οι τρεις απόψεις για τη σημασιολογική μελέτη των λογικών προγραμμάτων. Θα<br/>αναλυθούν η μοντελοθεωρητική σημασιολογία, η σημασιολογία σταθερού σημείου και η λειτουργική σημασιολογία των οριστικών προγραμμάτων. Όπως θα αποδειχθεί, οι τρεις αυτές απόψεις καταλή...

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

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

id	kallipos-11419-3594
record_format	dspace
spelling	kallipos-11419-35942021-07-11T15:58:23Z Σημασιολογία Λογικών Προγραμμάτων Stamatopoulos, Panagiotis Σταματόπουλος, Παναγιώτης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΙΣ Logic Programming Functional Programming Logic Programming Languages Functions Prolog Haskell Στο κεφάλαιο αυτό παρουσιάζονται οι τρεις απόψεις για τη σημασιολογική μελέτη των λογικών προγραμμάτων. Θα<br/>αναλυθούν η μοντελοθεωρητική σημασιολογία, η σημασιολογία σταθερού σημείου και η λειτουργική σημασιολογία των οριστικών προγραμμάτων. Όπως θα αποδειχθεί, οι τρεις αυτές απόψεις καταλήγουν σε ισοδύναμα συμπεράσματα. 2016-02-19T11:40:08Z 2021-07-09T20:19:53Z 2016-02-19T11:40:08Z 2021-07-09T20:19:53Z 2016-02-19 7 http://localhost:8080/jspui/handle/11419/3594 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	Στο κεφάλαιο αυτό παρουσιάζονται οι τρεις απόψεις για τη σημασιολογική μελέτη των λογικών προγραμμάτων. Θα<br/>αναλυθούν η μοντελοθεωρητική σημασιολογία, η σημασιολογία σταθερού σημείου και η λειτουργική σημασιολογία των οριστικών προγραμμάτων. Όπως θα αποδειχθεί, οι τρεις αυτές απόψεις καταλήγουν σε ισοδύναμα συμπεράσματα.
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/3594
work_keys_str_mv	AT stamatopoulospanagiotis sēmasiologialogikōnprogrammatōn AT stamatopoulospanagiōtēs sēmasiologialogikōnprogrammatōn
_version_	1771301328186769408

Σημασιολογία Λογικών Προγραμμάτων

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