**Logic 1**

326.101, 326.103 - Logic I for Mathematicians and Computer Scientists

326.111, 326.000 - Mathematical logic and logic-oriented programming languages

The course is an introduction to logic for students in Computer Science and Mathematics. It is largelly based on the script:

Bruno Buchberger: Logic for Computer Science.

The script is available in printed copy from me, but you may also download a PDF (scanned).

Below is the plan of past and future lectures. Note that the contents of future lectures may change according to the actual progress.

Oct. 17: Lecture 1 (10:15 - 11:45 and 12:00 - 12:45)

- Mathematics, Logic, Computer Science. (First chapter of script.)
- Propositional Logic: Syntax.

Oct. 24: Lecture 2 (10:15 - 11:45 and 12:00 - 13:30)

- Propositional Logic: Syntax mathematically expressed.
- Propositional Logic: Semantics.
- Propositional Logic: Proving.
- Homework 1: logic-hw-1.pdf, logic-hw-1.ps, logic-hw-1.dvi, logic-hw-1.tex.

Oct. 31: Lecture 3 (10:15 - 11:45 and 12:00 - 13:30)

- Propositional Logic: Proving.
- Homework 2: logic-hw-2.pdf, logic-hw-2.ps, logic-hw-2.dvi, logic-hw-2.tex.

Nov. 7: Lecture 4 (10:15 - 11:45 and 12:00 - 13:30)

- Propositional Logic: Proving.
- Homework 3: logic-hw-3.pdf, logic-hw-3.ps, logic-hw-3.dvi, logic-hw-3.tex.

Nov. 14: Lecture 5 (10:15 - 11:45 and 12:00 - 13:30)

- Propositional Logic: Sequent calculus.
- Homework 4: logic-hw-4.pdf, logic-hw-4.ps, logic-hw-4.dvi, logic-hw-4.tex.

Nov. 21: no lecture

Nov. 28: no lecture

Dec. 5: Lecture 6 (10:15 - 11:45 and 12:00 - 12:45)

- Propositional Logic: Resolution.
- No homework.

Dec. 12: Lecture 7 (10:15 - 11:45 and 12:00 - 13:30)

- Predicate Logic: Sequent calculus, resolution.
- Homework 5: logic-hw-5.pdf, logic-hw-5.ps, logic-hw-5.dvi, logic-hw-5.tex.

Jan. 9: Lecture 8 (10:15 - 11:45 and 12:00 - 13:30)

Jan. 16: Lecture 9 (10:15 - 11:45 and 12:00 - 13:30)

Jan. 23: Lecture 10 (10:15 - 11:45 and 12:00 - 13:30)

Jan. 30: Examination for theory (10:15 - 11:45) and examination for exercises (12:00 - 13:00)

T. Jebelean

Last modified October 20, 2003