Zusammenfassung
Wir können an dieser Stelle natürlich nicht motivieren, warum sich ein Informatiker (oder Mathematiker) mit Logik beschäftigen sollte, sondern wollen anhand eines Beispiels aus dem Gebiet der Programmiersprachen dem Neuling ein wenig die Scheu vor dem noch neuen, unbekannten Gebiet nehmen, indem deutlich werden wird, daβ Begriffe und Vorgehensweise der Logik in einem konsequenten Betrachten des Auswertens von arithmetischen und booleschen Ausdrücken schon enthalten sind.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Zitate aus Kapitel 2
J. W. Backus u. a. (Hrsg.): Revised Report on the Algorithmic Language ALGOL 60. Numerische Mathematik 4, 420–453 (1963)
R. Baumann: ALGOL-Manual der ALCOR-Gruppe. München, Wien: Olden- bourg 1969
J. M. Bocheński: Formale Logik. Freiburg, München: K. Alber, 2. Aufl. 1962
R. Carnap: Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen. Wien: Springer 1954
A. Church: Introduction to Mathematical Logic. Princeton (N.J.): Princeton Univ. Press 1956
G. Klaus: Moderne Logik. Berlin (DDR): Deutscher Verlag der Wissenschaften 1970
G. Klaus und A. Buhr (Hrsg.): Philosophisches Wörterbuch. 2 Bde. Berlin: Verlag das europäische buch 1971
H. Scholz: Abriβ der Geschichte der Logik. Freiburg, München: K. Alber 1959
H. Scholz und G. Hasenjaeger: Grundzüge der mathematischen Logik. Berlin, Heidelberg, New York: Springer 1961
A. Tarski: Einführung in die mathematische Logik. Göttingen: Vanden- hoeck amp Ruprecht 1966
A. S. Troelstra: Principles of Intuitionism. Berlin, Heidelberg, New York: Springer 1969
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bergmann, E., Noll, H. (1977). Einführung und Motivation. In: Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, vol 187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66635-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-66635-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08202-6
Online ISBN: 978-3-642-66635-3
eBook Packages: Springer Book Archive