ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ

ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ

Εισαγωγή στην εξισωτική λογική (equational reasoning). <br/>Χαρακτηριστικές (Signatures).<br/>Παραδείγματα. Συντακτικό. <br/>Σ-άλγεβρες και παραδείγματα.<br/>Κανόνες λογικής παραγωγής (equational deduction). <br/>Αναγραφή με εξισώσεις (equational rewritting).<br/>...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
Μορφή: 7
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ
Logic For Computer Science
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/4530

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

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