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

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

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