• 

  Franz Baader — Professur für Automatentheorie — TU Dresden

  http://lat.inf.tu-dresden.de/~baader/

  Informationen zur Lehre  Forschungsthemen  Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik)  Automatisches Beweisen (inbesondere Termersetzung und …

• 

  Einführung in die angewandte Logik - Theodor G. Bucher - Google Books

  http://books.google.de/books?id=PYG4p7I9u8cC&pg=PA67&dq=aut+Wahrheitsfunktion&hl=de&sa=X&ei=ed1LUoKCBPG10QWuxoDYDA&ved=0CFQQ6AEw

  Aus dem Inhalt: 1. LOgik und Wahrheit 2. EInige Grundbegriffe der naiven Mengenlehre 3. DIe Aussagenlogik 4. DIe aristotelische Logik 5. DEr elementare Pradikatenkalkul 6. DIe Relationen 7. DIe Modallogik

• 

  Einführung in die Wissenschaftstheorie: Bd. Handlungstheorie, Modallogik ... - Helmut Seiffert - Google Books

  http://books.google.de/books?id=Iw5TFZrirzkC&pg=PA2&lpg=PA2&dq=%22helmut+seiffert%22+1927&source=bl&ots=MJbg7mR_-H&sig=-8-XhteQ6

  Keine Beschreibung vorhanden.

• 

  „Essentialismus“ – Versionsunterschied – Wikipedia

  https://secure.wikimedia.org/wikipedia/de/w/index.php?title=Essentialismus&action=historysubmit&diff=92227736&oldid=91689006

  Keine Beschreibung vorhanden.

• 

  Einführung in die formale Logik für Philosophen - Thomas Zoglauer - Google Books

  https://books.google.de/books?id=cyr3DAAAQBAJ&pg=PA66#v=onepage

  Das Buch führt in leicht verständlicher Form in die analytische Sprachphilosophie, Aussagenlogik, Prädikatenlogik und das natürliche Schließen ein. Es werden auch solche Logik-Kalküle behandelt, die für die Philosophie von besonderer Bedeutung sind: die…

• 

  Computerprogramm bestätigt Gödels Gottesbeweis | heise online

  http://www.heise.de/newsticker/meldung/Computerprogramm-bestaetigt-Goedels-Gottesbeweis-1942504.html

  KI-Foscher haben einen maschinengestützten Theorembeweis entwickelt und damit, wie sie sagen, eine Grundlage für eine computer-assistierte Metaphysik gelegt

• 

  Forschung - Prof. Dr. Godehard Link - Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - LMU München

  http://www.philosophie.uni-muenchen.de/forschung/forschung/forschung_link.html

  Keine Beschreibung vorhanden.

• 

  Der Fachbereich trauert um Prof. Dr. Wolfgang Rautenberg • Fachbereich Mathematik und Informatik

  http://www.mi.fu-berlin.de/fb/news/news-archiv-fb/rautenberg.html

  Keine Beschreibung vorhanden.

• 

  Klassische und nichtklassische Aussagenlogik - Wolfgang Rautenberg - Google Books

  http://books.google.de/books?ei=bu1LUv_JOOrP0AWMgYHIBQ&hl=de&id=4enuAAAAMAAJ&dq=Wahrheitswertefunktion+aut&q=aut-Funktion#search

  Keine Beschreibung vorhanden.

• 

  bm:ukk - Kulturministerin Claudia Schmied: Medienkünstler Peter Weibel erhält Österreichisches Ehrenkreuz für Wissenschaft und Kunst I. Klasse

  https://web.archive.org/web/20121122104309/http://bmukk.gv.at/ministerium/vp/2010/20101207a.xml

  Test-Dokument

---

---