index

Logic with Applications
Spring 1998b
(March - June Half-speed)

Local Course Material:

Most of the on-line materials are available in Portable Document Format (PDF).

Information on reading and printing PDF files:

Syllabus:

The course syllabus in Portable Document Format (PDF). (The formatting is faithful to Microsoft word, but if you try to follow a hyperlink which opens a web browser, it may crash.)

The course syllabus in Microsoft Word 97 format. (Perfect, if you have the software to read it.)

Office hours for Petter Edblom

Overhead Slides: (FS = full size; R4 = four slides to one page)

Slides on course conduct: FS

Slides on introductory concepts: FS R4

Slides on propositional logic: FS R4

Slides on semantic tableaux for propositional logic: FS R4

Slides on the Hilbert deductive system for propositional logic: FS R4

Slides on resolution for propositional logic: FS R4 (Revised!)

Slides on sequent systems for propositional logic: FS R4

Slides on Horn clauses for propostional logic: FS R4

Slides on first-order logic: FS R4

Slides on normalization for resolution in first-order logic: FS R4

Slides on unification for resolution in first-order logic: FS R4

Slides on answer extraction using first-order logic: FS R4

Slides on handling equality with resolution in first-order logic: FS R4

Slides on the computational properties of first-order logic: FS R4

Group Exercise Descriptions:

Group Exercises for March 27

Group Exercises for April 7

Group Exercises for April 28

Group Exercises for May 8

Obligatory Assignments:

Obligatory Exercise 1 (Due April 6)

Obligatory Exercise 2 (Due April 17)

Obligatory Exercise 3 (Due May 6)

Obligatory Exercise 4 (Due May 20)

Obligatory Exercise 5 (Due June 2)

Examinations from Previous Offerings of the Course:

Examination from April 17, 1998

Grading Results:

Grades for the obligatory exercises