Zusammenfassung
Die Logik hat sich in ihren unterschiedlichen Kalkülen als so grundlegend für viele Verfahren in der Informatik erwiesen, dass wir sie hier als Teil der theoretischen Informatik behandeln, ja sogar mit ihr beginnen. Natürlich hat sie auch Schnittstellen zur Philosophie, aus der sie historisch entstanden ist, und zur reinen Mathematik, der sie oftmals zugeordnet wird.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2010 Spektrum Akademischer Verlag Heidelberg
About this chapter
Cite this chapter
Moritz, T., Steffens, HJ., Steffens, P. (2010). Logikkalküle für Informatiker. In: Prüfungstrainer Informatik. Spektrum Akademischer Verlag. https://doi.org/10.1007/978-3-8274-2567-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-8274-2567-6_1
Publisher Name: Spektrum Akademischer Verlag
Print ISBN: 978-3-8274-2101-2
Online ISBN: 978-3-8274-2567-6
eBook Packages: Computer Science and Engineering (German Language)