Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
36.29 EUR34.80 EUR4% 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.