Εφαρμογές της λογικής στην πληροφορική

• Main Authors: Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος, Stefaneas, Petros, Koletsos, Georgios
• Format: 1
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

Το προτεινόμενο βιβλίο θα περιλαμβάνει μια εισαγωγή στους βασικούς τομείς εφαρμογών της λογικής στην πληροφορική. Η ενδεικτική θεματολογία του βιβλίου περιλαμβάνει μια εισαγωγή στο αντικείμενο της λογικής γενικά (κατηγορηματικός λογισμός), αλλά και στο εύρος των εφαρμογών της στην πληροφορική (σημασ...