Logic

A course by Lutz Schröder and Till Mossakowski at the Universität Bremen 2005/2006.

03-604.02
Category: A. Prerequisites:600.01, 600.02, 601.01, 601.02 (ECTS: 6) K 4 SWS Monday 13:00 - 15:00 GW2 B1410,
Thursday 13:00 - 15:00 MZH Senatssaal (1400)

Deadline for exercises: February 28th

Formal logic is the foundation of mathematics, and hence of computer science as well. Indeed, logic plays an even more central role in computer science than in `traditional' mathematics, since computer science places much more emphasis on exactness of the syntax and semantics of statements. In particular, the latter are a prerequisite for the mechanized treatment of statements, e.g. in algebraic specification languages or automatic provers, but also in many formalisms of modern AI.

This course provides an introduction into so-called first order logic, using the textbook `Language, Proof and Logic' by Jon Barwise and John Etchemendy, the purchase of which is required for participation in the course. Proofs using the proof system Fitch (the software comes with the book) will be set as exercises.

In the first session, we will take names for a bulk order of the textbook!

(This will save you a few Euros in comparison to ordering the book on your own.)

The lecture will be based on the book "Language, Proof, and Logic'' by Jon Barwise und John Etchemendy (CSLI Stanford). It is didactically very well written, and moreover comes with a CD containing four programs. These programs allow students to do exercises with their computers. Furthermore, there is a server in Stanford that automatically gives direct feedback to the solutions. The book and the software have been used very successfully at a lot of universities (both nationally and internationally). While the book is written in English, the lecture will be in German.

Local information about the book and the software (only locally accessible!)

Proofs in fitch General help with the LPL software

Grading criteria

English literature German literature German slides about Language, proof and logic more slides

Logic-related pages on the web

Slides October 20th

Blackboard photographs October 25 (Thanks to Felix Schlick)

Blackboard photographs October 27

Blackboard photographs October 31

Example proof: to be or not to be

Slides on the proof rules of propositional logic

Blackboard photographs November 3