Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Wasilewska, Anita. Logics for Computer Science - Classical and Non-Classical. Springer International Publishing, 2018.](https://eichendorff21.de/cdata/tnyKcOsMU4qhlAw7vX3Iri7cjUI=/300x0/9783319925905.png)
- Springer International Publishing
- 2018
- Gebunden
- 548 Seiten
- ISBN 9783319925905
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting
Mehr
Weniger
zzgl. Versand
in Kürze