Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
39.00 EUR34.80 EUR11% Off
Ein umfassendes Lehrbuch, das die Verbindung zwischen mathematischer Logik und Informatik durch induktive Methoden erforscht, bietet klare Erklärungen zu Prädikatensätzen, Beweisstrategien und deren Anwendungen in modernen Algorithmen.