Adobe PDF
(644.86 kB)
| Title Details: | |
|
Σημασιολογία Λογικών Προγραμμάτων |
|
| Authors: |
Stamatopoulos, Panagiotis |
| Reviewer: |
Rontogiannis, Panagiotis |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING |
| Keywords: |
Logic Programming
Functional Programming Logic Programming Languages Functions Prolog Haskell |
| Description: | |
| Abstract: |
Στο κεφάλαιο αυτό παρουσιάζονται οι τρεις απόψεις για τη σημασιολογική μελέτη των λογικών προγραμμάτων. Θα
αναλυθούν η μοντελοθεωρητική σημασιολογία, η σημασιολογία σταθερού σημείου και η λειτουργική σημασιολογία των οριστικών προγραμμάτων. Όπως θα αποδειχθεί, οι τρεις αυτές απόψεις καταλήγουν σε ισοδύναμα συμπεράσματα. |
| Linguistic Editors: |
Xifara, Foteini |
| Technical Editors: |
Papavasileiou, Spyridon |
| Graphic Editors: |
Papavasileiou, Spyridon |
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/3594 |
| Bibliographic Reference: | Stamatopoulos, P. (2015). Σημασιολογία Λογικών Προγραμμάτων [Chapter]. In Stamatopoulos, P. 2015. Λογικός και συναρτησιακός προγραμματισμός [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3594 |
| Language: |
Greek |
| Is Part of: |
Λογικός και συναρτησιακός προγραμματισμός |
| Publication Origin: |
Kallipos, Open Academic Editions |