2IF25 Formal Methods: Propositional Logic (academic year 2009/2010)

General
The Propositional Logic crash course is an optional part of the master course 2IF25 Formal Methods and takes plans on Wednesday September 9 and 16, 2009 in lecture hall PAV U46.

News

• September 9 See below for homework for September 16.

Literature A reader entitled DA231 Logic and Sets is available from the "Diktatenverkoop". It contains

• E. Burke and E. Foxley, Logic and its Applications, Prentice Hall International 1996
  Chapter 1 (pages 1-51), chapter 4 (pages 131-160).

Planning
 

9/9	Sections 1.1, 1.2, 1.3, 1.4 (except 1.4.5), 1.5.1	[exericses]
16/9	Exercises 9/9, sections 1.5.2-5	[exercises]

Self-study using Tarksi's World
Students who want to refresh their knowledge or test their skills in propositional logic are invited to do a selection of exercises using the educatinal software Tarksi's World. During the semester its CD and booklet are available for inspection from the library.

Tutor
Dr. E.P. de Vink, HG 7.32, evink(at)win.tue.nl, 040-2473146