Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Proseminar Logik SS 1999

Inhalt

Allgemeines, Thema, Literatur, Termine.


Allgemeines

SS 1999
Prof. Dr. K. Madlener
Betreuer: Dirk Zeckzer


Thema

Ein zentrales Anliegen von Logik ist es, wahre und falsche Aussagen zu unterscheiden. Die klassische Logik, wie z.B. die Aussagenlogik und die Prädikatenlogik, gibt uns ein System, in dem wir formal die Gültigkeit von Aussagen untersuchen können. Daneben gibt es jedoch noch eine Fülle von nicht-standard Logiken, wie z.B. mehrwertige Logiken, modale Logiken, u.s.w. Ziel dieses Proseminars ist es, solche Logiken und ihre Bedeutung kennenzulernen.

Vortragsthemen:


Literatur


Termine

Interessenten werden gebeten, sich in die Liste in Bau 34, 4.OG (neben Raum 410) einzutragen. Die Vorbesprechung findet am Donnerstag, den 18. Februar um 1400 Uhr in Raum 34/420 statt.

Nächste Besprechung ist am Mittwoch, den 14.April 1999 um 1400 Uhr in Raum 34/420.

Weitere Termine (Raum 34/420):

Vortragstermine:

Die Nachbesprechung findet am 12. Juli um 19:00 Uhr statt.


Vorlesungen AG Grundlagen der Informatik FB Informatik Univerität Kaiserslautern

Last Update: Friday, 23-Jul-04 21:47:11 GMT
zeckzer@informatik.uni-kl.de

Valid XHTML 1.0!