Zusammenfassung
Der Umgang mit logischen Ausdrücken stellt ein zentrales Fundament der gesamten Informatik dar. Logische Systeme (Algebren) sind, wie wir auch in den folgenden Kapiteln sehen werden, die Grundlage von elementaren Schaltungen, Prozessorarchitekturen, höheren Programmiersprachen sowie der Spezifikation und Verifikation von Programmen. Aus dieser keineswegs vollständigen Auflistung ist zu ersehen, daß alle Schichten von der Hardware bis hin zu den Korrektheitsbeweisen betroffen sind, wobei es wesentlich ist, die jeweils anzuwendende Logik formal vollkommen zu beherrschen.
Mein teurer Freund, ich rat euch drum Zuerst Collegium Logicum. Da wird der Geist euch wohl dressiert, In Spanische Stiefeln eingeschnürt, Daß er bedächtiger so fortan Hinschleiche die Gedankenbahn Und nicht etwa, die Kreuz und Quer, Irrlichteliere hin und her.
Mephistopheles. Johann Wolfgang von Goethe, “Faust”. Der Tragödie erster Teil.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Weiterführende Literatur
J. Laub, W. Kranzer, “Lehrbuch der Mathematik (N. Teil) ”, Hölder—Pichler—Tempsky, Wien, 1975
H. Kaiser, R. Mlitz, G. Zeilinger, “Algebra für Informatiker”, Springer—Verlag, Wien, 1981
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Wien
About this chapter
Cite this chapter
Blieberger, J., Schildt, GH., Schmid, U., Stöckler, S. (1990). Boolesche Algebra. In: Informatik. Springers Lehrbücher der Informatik. Springer, Vienna. https://doi.org/10.1007/978-3-7091-4054-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-7091-4054-3_7
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82232-6
Online ISBN: 978-3-7091-4054-3
eBook Packages: Springer Book Archive