Εφαρμογές της λογικής στην πληροφορική
Το προτεινόμενο βιβλίο θα περιλαμβάνει μια εισαγωγή στους βασικούς τομείς εφαρμογών της λογικής στην πληροφορική. Η ενδεικτική θεματολογία του βιβλίου περιλαμβάνει μια εισαγωγή στο αντικείμενο της λογικής γενικά (κατηγορηματικός λογισμός), αλλά και στο εύρος των εφαρμογών της στην πληροφορική (σημασ...
Κύριοι συγγραφείς: | Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος, Stefaneas, Petros, Koletsos, Georgios |
---|---|
Μορφή: | 1 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.57713/kallipos-571 http://repository.kallipos.gr/handle/11419/4527 |
Παρόμοια τεκμήρια
-
ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΘΕΩΡΙΑ ΤΥΠΩΝ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
ανά: Στεφανέας, Πέτρος Σ.
Έκδοση: (2001)