Zum Inhalt springen

Aussagenlogik

Logik Beispiele (Logik Einführung Kapitel 9)

Im Laufe der Zeit wurden sehr viele Logiken für die unterschiedlichsten Anwendungsgebiete definiert.In diesem Kapitel wollen wir einige der bekanntesten beispielhaft anführen.  Zu den Klassischen Logiken zählen z.B. die Aussagenlogik und die Prädikatenlogik. Beispiele Nichtklassischer Logiken sind z.B. Mehrwertige Logiken Modallogiken und Nichtmonotone Logiken. Aussagenlogik (Logik Einführung Kapitel 9.1) Die Aussagenlogik ist eine sehr einfache klassische Logik. Sie ist sehr intuitiv, weil sie sich an… Weiterlesen »Logik Beispiele (Logik Einführung Kapitel 9)

Abschließende Betrachtung von Logiken Logik Einführung Kapitel 8

Abschließende Betrachtung von Logiken (Logik Einführung Kapitel 8) Grundsätzlich besteht eine Logik aus einer Syntax (meist im Rahmen eines Kalküls definiert), durch die die formale Sprache definiert wird und einer dazugehörigen Semantik, die den abstrakten Zeichenfolgen wiederum Bedeutung zuweist. Für verschiedene Problemstellung lassen sich verschiedene Logiken aufbauen.  In diesem Kapitel wollen wir einige wichtige Konzepte und Fragestellungen zur Klassifizierung anführen,bemerken, dass ein und dieselbe Logik… Weiterlesen »Abschließende Betrachtung von Logiken Logik Einführung Kapitel 8

Einführung Logic-Rulez

Leider ist die Webseite Logic-Rulez.net seit einigen Jahren nicht mehr verfügbar. 
Mit Erlaubnis der Autorin werden wir ein Teil dieser wertvollen Inhalte hier zeigen. 

Willkommen!

Die mathematische Logik (im Folgenden „Logik“ genannt) bildet die Grundlage für viele Bereiche der Mathematik und Informatik, und kommt auch in der analytischen Philosophie und in der Linguistik zum Einsatz.
Hier findet ihr ein interaktives Logik-Lehrbuch (E-Book) für Schüler, Studenten und Interessierte, die keine bis wenige Vorkenntnisse mitbringen, und nicht unbedingt ein ausgeprägtes formal- theoretisches Verständnis besitzen. 

Dieses E-Book ist im Rahmen meiner Diplomarbeit am Institut für Informationssysteme, Abteilung für wissensbasierte Systeme, an der TU-Wien entstanden, und soll als erste Informationsstelle für Interessenten dienen. 

Ich hoffe, dass ich mit dieser Arbeit euer Interesse an Logik wecken oder vertiefen, und die zugrunde liegende Einfachheit der Konzepte vermitteln kann, und würde mich sehr über Feedback freuen! 

Mandana Eibegger 

Weiterlesen »Einführung Logic-Rulez