October

Fri 13th

Introduction

intro.pdf

Moshe Vardi's notes

Ocotber

Fri 13th

Propositional Logic (Truth Tables I)

pl1.pdf

Homework: PL1

Kelly: Ch. 1, and Tips

Ocotber

Fri 20th

Propositional Logic (Truth Tables II)

pl2.pdf

Ocotber

Thur 26th

Propositional Logic (Tableaux I)

pl3.pdf

Kelly: Ch. 2

November

Fri 3rd

Propositional Logic (Tableaux II)

pl4.pdf

November

Fri 10th

First Order Logic (Models)

fol1.pdf

Kelly: Ch. 6 and Tips

November

Fri 17th

First Order Logic (Tableaux)

fol2.pdf

Kelly: Ch. 8

November

Fri 24th

First Order Logic (Tableaux)

fol3.pdf

December

Wed 6th (1hr: 17:00-18:00)

FOL (Tableaux)

normal_form.pdf

December

Fri 15th (3hrs: 08:30-11:30)

Summary+Mid Term

mid-term

December

Fri 22nd (3hrs:08:30-11:30)

Fallacies, Equality, Functions

dec_22.pdf

January

Fri 19th

Mid term discussion and What next?

jan_18.pdf exams