Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Your Ad Here

Suggest a site

Logik (13)

Categories:

Modallogik (2)

This category in other languages:

Englisch, Französisch, Italienisch, Portugiesisch, Spanisch

Sites:

http://flp.cs.tu-berlin.de/lehre/sose02/logiken.html

» Angewandte Logiken
Zu einer Vorlesung von Bernd Mahr wird ein Skript in Postscript von Klaus Robering angeboten, welches auf den Konzepten von Kalkül und Folgerung basierende nicht-klassische Logiken wie die intuitionistische Logik sowie Modal- und Zeitlogiken vorstellt.
http://flp.cs.tu-berlin.de/lehre/sose02/logiken.html

» Begriffslogik
Darstellung der Begriffslogik, einer alten Logikform basierend auf Beziehungen zwischen Begriffsinhalten und -umfängen, anhand der Arbeiten von v. Freytag Löringhoff und v. Petzinger.
http://www.begriffslogik.de

» Beweisbauer
Ein Java-Applet zum Lemmon-Kalkül des natürlichen Schließens.
http://logik.phl.univie.ac.at/~chris/formular-bau.html

http://ruessmann.jura.uni-sb.de/Lehre/WS96/Denken/Erlaeuterungen/deduktiv.htm

» Deduktive Gültigkeit
Eine Erklärung der logischen Folgerungsbeziehung in der modernen Logik von Helmut Rüßmann.
http://ruessmann.jura.uni-sb.de/Lehre/WS96/Denken/Erlaeuterungen/deduktiv.htm

» Einführung in die Logik
Ein Skript von Wolfgang Lenzen. [300 kB]
http://www.philosophie.uni-osnabrueck.de/Logik.pdf

http://www.philoscience.unibe.ch/archiv/lehre/winter00/Logik/

» Einführung in die Logik und Argumentrekonstruktion
Zu einem Einführungskurs von Dr. Timm Lampert finden sich diverse Materialien.
http://www.philoscience.unibe.ch/archiv/lehre/winter00/Logik/

http://www.informatik.uni-hamburg.de/WSV/f1/2001/

» F1-Seiten zur "Logik"-Vorlesung
Foliensätze zur Aussagenlogik und Prädikatenlogik zu einer Einführungsvorlesung an der Uni Hamburg.
http://www.informatik.uni-hamburg.de/WSV/f1/2001/

http://www.uni-rostock.de/fakult/philfak/fkw/iph/kienzle/veranst/veranstii/sla/

» Grundkurs Sprache, Logik, Argumentation
Zu einem Kurs von Bertram Kienzle, Universität Rostock gibt es Skripte zur Aussagenlogik und Prädikatenlogik.
http://www.uni-rostock.de/fakult/philfak/fkw/iph/kienzle/veranst/veranstii/sla/

http://logikhobel.phl.univie.ac.at/~chris/formular.html

» Logik-Übergang
Vier von Christian Gottschall entwickelte Applets, um Aussagen beweisen, vereinfachen oder zu einer Normalform umzuformen, zur zwei- und mehrwertigen Logike, ferner Beweisbauer im Stil Lemmons und Fitchs und Beweisprüfer für aussagen- und prädikatenl
http://logikhobel.phl.univie.ac.at/~chris/formular.html

» Logos - Reiner Winter
Einige Texten aus den Gebieten Philosophie, Logik und Mathematik. Die Artikel liegen im PDF-Format vor.
http://www.re-wi.de/

» Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften
Die Gesellschaft bezweckt, die Entwicklung und das Studium der Logik und der Philosophie der Wissenschaften zu fördern und jene Personen zusammenzufassen, die sich für diese Aufgabe interessieren. In diesem Sinne organisiert sie eine jährliche Konferen
http://www.sslps.unibe.ch/

This category needs an editor

Last Updated: 2006-08-22 09:44:26

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com