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)

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

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

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

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

Nov. 21: no lecture

Nov. 28: no lecture

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

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

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

  • Predicate Logic: normal forms, unification.
  • Homework 6: logic-hw-6.pdf, logic-hw-6.ps, logic-hw-6.dvi, logic-hw-6.tex.

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

  • Predicate Logic: definitions of new notions, unification, resolution, natural deduction, sequent rules for quantified formulae.
  • Homework 7: logic-hw-7.pdf, logic-hw-7.ps, logic-hw-7.dvi, logic-hw-7.tex.

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

  • overview of the material for the exam.

    Private discussions

    I will be available for questions on Wednesday Jan 28 and on Thursday Jan 29 from 14:00 to 18:00 in room TNF 418 (4-th floor, new tower building).

    Examination

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

    T. Jebelean

    Last modified October 20, 2003