Adresse: Dr. Michael Arndt Universität Tübingen Wilhelm-Schickard-Institut Sand 13 D-72076 Tübingen Raum: B136 (Erdgeschoß) Tel.: +49-7071-29-77365 Fax: +49-7071-29-5060 Email: arndt@informatik.uni-tuebingen.de

Interessengebiete:

• Hypotetisches Räsonieren
• Strukturelles Räsonieren (Paul Hertz' Satzsysteme)
• Diagrammatische Semantik (Logische Tomographie)

• Sprachphilosophie (Freges Sinnbegriff)
• Abstrakte Berechenbarkeitsmodelle (Prozesskalküle)
• Rekursionstheorie (formale Theorie der Algorithmen)

Lehre:

Proseminar Einführung in die Logik

Beginn: Do, 22.10. 10 Uhr c.t., Alte Physik, Hörsaal N105

Einteilung der Übungsgruppen

• 1. Aufgabenblatt (pdf)
• 2. Aufgabenblatt (pdf)
• 3. Aufgabenblatt (pdf)
• 4. Aufgabenblatt (pdf)

Skriptum - relevanter Auszug (pdf)

Literatur

• Hinst, P.: Logische Propädeutik (Fink 1974)
• Smullyan, R: First-Order Logic (Springer 1968)

• Hodges, W.: An Introduction to Elementary Logic (Penguin 1977)
• Nortmann, U. Sprache, Logik, Mathematik: Eine andere Einführung in die Logik (mentis 2003)
• Oberschelp, A.: Logik für Philosophen (Metzler 1993)
• Quine, W. V. O.: Grundzüge der Logik (Suhrkamp 1969)

Materialien zu früheren Lehrveranstaltungen:

• Materialien zur Vorlesung Kommunikation, Mobilität, Parallelismus: Einführung in den Pi-Kalkül (SS04)
• Materialien zur Vorlesung Logiken für Programme und Prozesse (WS04/05)
• Materialien zur Vorlesung Kommunikation, Mobilität, Parallelismus: Einführung in den Pi-Kalkül (SS06)
• Materialien zur Vorlesung Logiken für Programme und Prozesse (WS06/07)
• Materialien zur Vorlesung Lambda-Kalkül und Kombinatorische Logik (SS09)