Ressourcen zur Logik

Sie sind die . Besucherin dieser Seite.

Gliederung

  1. Logikübergang
  2. Beispiele und Lösungen
  3. Übersichten
  4. Logiker
  5. Texte
  6. Wikipedia
  7. Programme

Verwandte Seiten

  1. Logikrechner
  2. Logikübergang
  3. Private Homepage
  4. Erpelstolz

There is an English version of this page.

Logikübergang

Mein Logikübergang bietet Ihnen die Möglichkeit, interaktiv Wahrheitstabellen, Ausdrucksbäume, Alfagrafen und dergleichen mehr zu erzeugen und Aussagen umzuformen, all das serverseitig oder clientseitig direkt auf Ihrem Browser, Theoreme herzuleiten und selbstgemachte Ableitungen auf ihre Korrektheit hin zu überprüfen. Jars zählte den Logikübergang 1996 zu den Top 25%-Programmen.


Übungsbeispiele und Lösungen

Auf den beiden folgenden Seiten finden sich Übungsbeispiele mit Lösungen in Form der ersten Auflage meines Übungsskriptums zu Dr. Dethloffs ehemaliger Vorlesung "Einführung in die Logik" bzw. zu meinem Logiktutorium, aber auch zu Esther Ramharters Nachfolgevorlesung; weiters Lösungen zu einigen willkürlich gewählten Beispielen aus E.J. Lemmons Buch "Beginning Logic":


Übersichten

Im Internet gibt es zahlreiche Aufstellungen logischer Ressourcen. Sehr nützlich fand ich die Folgenden:


Logiker


Texte

Von den in den Einführungsvorlesungen und in meinem Tutorium erwähnten Texten sind online nur wenige verfügbar:


Wikipedia

Einige ausgewählte Wikipedia-Artikel:


Programme

Online verfügbar sind folgende Logikprogramme:

2012-03-31 01:19:44
gottschall@gmx.de