Grundlagen von Logik und Rechnen: Mit praktischem automatisiertem Denken und
52,42 €
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker.
Jetzt bei Ebay:
![Produktbild - Prolegomena to a Science of Reasoning: Phaneroscopy, Semeiotic, Logic [Hardback]](https://i.ebayimg.com/thumbs/images/g/1BQAAeSwJ2FoOZtt/s-l140.jpg)
![Produktbild - Computation in Ancient India by T R N Rao [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/UeIAAeSwvzdoPSDb/s-l140.jpg)
