Neu hier?

Auf dem ziemlich offiziellen Logik-Rechner am Institut für Philosophie der Universität Wien finden Sie in erster Linie die webbasierten Logikprogramme des Logikübergangs sowie Unterlagen und Informationen zu den Lehrveranstaltungen von Christian Gottschall. Übrigens: Diese Seite wird zum 180034. Male aufgerufen.

Schnellzugang zur aktuellen Logik-Übung (Sommersemester 2017)

Schnellzugang zum Logikübergang

Unser Sponsor Erpelstolz Dosenwurmfabriken

Neues

Die Liste der Neuigkeiten wurde zuletzt am 15.04.2017 aktualisiert.

Logikübergang

Der Logikübergang, das Kernstück dieses Rechners, ist eine Sammlung interaktiver Logik-Programme. Er ist hauptsächlich dafür gedacht, im Rahmen von Kursen und Lehrveranstaltungen als Vorführ- und Übungsmittel verwendet zu werden. Ein Teil der Programme bietet eine grafische Benutzeroberfläche und benötigt einen Java-fähigen Browser; die übrigen Programme arbeiten mit einer textorientierten Web-Schnittstelle.

Lehre

Ebenfalls hier finden Sie Informationen und Bezugsquellen zum Skriptum "Einführung in die Prädikatenlogik der ersten Stufe mit Identität". Entstanden ist das Skriptum im Zuge der gleichnamigen Vorlesung bei Dr. Klaus Dethloff, es findet aber auch Anwendung in den aktuellen Logik-Einführungsvorlesungen bei Dr. Esther Ramharter. Das Skriptum steht in einer etwas älteren Auflage sowohl online als auch als Postscript- und PDF-Datei zur Verfügung. Schließlich gibt es eine Beispielsammlung mit kommentierten Lösungen.

Zu folgenden Lehrveranstaltungen finden Sie auf dieser Rechenanlage Informationen:

Jahr Sommersemester Wintersemester
2017 Logik-Übung (Bakk.)
2016 Logik-Übung (Bakk.) Logik-Übung (Bakk.)
2015 Logik-Übung (Bakk.) Logik-Übung (Bakk.)
2014 Logik-Übung (Bakk.) Logik-Übung (Bakk.)
2013 Logik-Übung (Bakk.) Logik-Übung (Bakk.)
2012 Logik-Übung (Bakk.) Logik-Übung (Bakk.)
2011 Logik-Übung (Bakk.) Logik-Übung (Bakk.)
2010 Logik-Übung (Lehramt) Logik-Übung (Lehramt)
2009 Logik-Übung (Bakk.) Logik-Übung (Bakk.)
2008 Logik-Übung (Bakk.)
2007 Logik-Übung (Bakk.)
Schafplanet

Impressum

Der Logik-Rechner wird betrieben vom Autor des Logikübergangs, Christian Gottschall. Scheuen Sie sich nicht, bei Problemen, Fragen oder Wünschen elektronischen Kontakt zu suchen (bitte verwenden Sie hierzu diesen PGP-/GPG-Schlüssel).

Institut

Am Institut für Philosophie werden zahlreiche weitere Webserver betrieben. Die Universität Wien hat auch viele andere schöne Institute, zum Beispiel das für Sprachwissenschaft. Noch schner sind eigentlich nur die Institute der sterreichischen Akademie der Wissenschaften, vor allem das Institut für Schallforschung.