2018 | OriginalPaper | Chapter
Logik als Sprache der Mathematik
Author : Stephan Dreiseitl
Published in: Mathematik für Software Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. 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.