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

• Κύριοι συγγραφείς: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

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