2018 | OriginalPaper | Buchkapitel
Logik als Sprache der Mathematik
verfasst von : Stephan Dreiseitl
Erschienen in: Mathematik für Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In diesem Kapitel werden wir uns mit der Sprache der Mathematik beschäftigen. Dies wird uns erlauben, normalsprachliche Ausdrücke in präzise mathematische Aussagen umzuwandeln und aus diesen Aussagen Schlüsse zu ziehen. Dazu werden wir sowohl die Struktur (Syntax) und die Bedeutung (Semantik) von Aussagen betrachten.