Overview
- Der fundierte Einstieg in die Welt der Logikkalküle
- Einführende Übersicht über Logiken
- Einheitlicher Ansatz für verschiedene Logiken
- Includes supplementary material: sn.pub/extras
Part of the book series: Studienbücher Informatik (SBI)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
Keywords
About this book
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Logikkalküle in der Informatik
Book Subtitle: Wie wird Logik vom Rechner genutzt?
Authors: Michael Schenke
Series Title: Studienbücher Informatik
DOI: https://doi.org/10.1007/978-3-8348-2295-6
Publisher: Springer Vieweg Wiesbaden
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer Fachmedien Wiesbaden 2013
Softcover ISBN: 978-3-8348-1887-4Published: 10 January 2014
eBook ISBN: 978-3-8348-2295-6Published: 19 December 2013
Series ISSN: 2522-0640
Series E-ISSN: 2522-0659
Edition Number: 1
Number of Pages: XII, 232
Number of Illustrations: 74 b/w illustrations
Topics: Arithmetic and Logic Structures, Logic Design, Theory of Computation