2012 | OriginalPaper | Chapter
Grundbegriffe der Aussagen- und Prädikatenlogik
Author : Prof. Dr. Matthias Schubert
Published in: Mathematik für Informatiker
Publisher: Vieweg+Teubner Verlag
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 Abschnitt müssen Sie einige logische Begriffe lernen, die jeder Mathematiker und Informatiker als Handwerkszeug braucht. Sie beschreiben gewissermaßen die Regeln, die man einhalten muss, wenn man Mathematik macht. Und sie liefern auch die entscheidenden Werkzeuge für die Abstraktionen, die bei jeder Formalisierung von Prozessen aus der realen Welt im Bereich der Informatik und speziell im Bereich der Programmierung so wichtig sind.