Syllabus: [pdf] [tex]

Code repository

SWISH

__Previous course materials__

Spring 2017 (Fairmont)

__Exams__

**Exam 1** [pdf] [tex]

**Exam 2** [pdf] [tex]

**Exam 3** [pdf] [tex]

__Homework__

**Homework 1** (*due 23 January*) (solution: [pdf] [tex]): [pdf] [tex]

**Homework 2** (*due 30 January*) (solution: [pdf] [tex]): #1.1, 1.3, 1.4, 1.5, and the following Prolog exercise: [pdf] [tex]

**Homework 3** (*due 15 February*) (solution: [pdf] [tex]): #1.6, 1.9, 1.10, 1.12 and the following two problems:

Problem A: Write a formal proof that shows $\{P,P \rightarrow Q\} \vdash Q$.

Problem B: Write a formal proof that shows $\{P \rightarrow Q, Q \rightarrow R, S \vee \neg R, P\} \vdash S$.

**Homework 4** (*due 20 February*) (solution): #1.7, 1.11, 1.18, 1.24, 1.27(a)

**Homework 5** (*due 1 March*) (solution): #1.8, 1.20 and the following Prolog stuff: [pdf] [tex]

**Homework 6** (*due 8 March*) (solution): #2.1, 2.2, 2.7

**Homework 7** (*due 20 March*) (solution): #2.5(a), 2.8, 2.9, 2.11

**Homework 8** (*due 5 April*) (solution: [pdf] [tex]): [pdf] [tex]

**Homework 9** (*due 12 April*) (solution: [pdf] [tex]): [pdf] [tex]

**Homework 10** (*due 17 April*) (solution): [pdf] [tex]

**Homework 11** (*due by last day of finals*) (solution): [pdf]

__In-class work__

**Quiz 1** (solution)

**Quiz 2** (solution)

**Quiz 3** (solution)

**Quiz 4** (solution)

**Quiz 5** (solution)

__Notes__

**18 January 2018** -- notes on relations: [pdf] [tex]

**15 February 2018** -- is $A \wedge (B \vee B)$ equivalent to a Horn formula?: [answer]

**18 February 2018** -- induction example (problem 1.27(b)): [solution]

**22 February 2018** -- full list of rules for propositional logic proof system: [pdf] [tex]

Set theory proofs from class

Monoid theory example

Slides from last week of class