Zusammenfassung
Als Informatiker ist man ständig mit Aufgabenstellungen aus der Logik befasst. In diesem Kapitel lernen Sie
-
was eine Aussage ist,
-
den Unterschied zwischen Syntax und Semantik,
-
wie Sie Aussagen und Aussageformeln auswerten können,
-
die Prädikatenlogik,
-
wichtige Beweisprinzipien der Mathematik,
-
die Verwendung von Vor- und Nachbedingungen beim Programmieren.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2019 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this chapter
Cite this chapter
Hartmann, P. (2019). Logik. In: Mathematik für Informatiker. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-26524-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-658-26524-3_2
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-26523-6
Online ISBN: 978-3-658-26524-3
eBook Packages: Computer Science and Engineering (German Language)