Zum Inhalt springen

Logik Einführung

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… Weiterlesen »Logik Beispiele (Logik Einführung Kapitel 9)

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