Home

General Information

Lecture Notes

Prolog Examples

Tutorials

Tutorial Solutions

Labs

Assignments

Assignment Solutions

COMP2411 - Lecture Notes

Lecture notes are available as pdf files. Every set of notes will be posted on the web before the first lecture that uses that set. A single lecture might make use of more than one set of notes, and one set of notes might be used for more than one lecture.

Each set of notes is numbered in the form "n.v" where v is the version, first equal to 0. So ideally, this page should contain nothing but links to Notes 1.0, Notes 2.0, Notes 3.0, etc. But typos (or even mistakes) are unavoidable, and newer versions might have to replace some of the older ones. If for instance typos are found in the fourth set of notes, then the link to Notes 4.0 will be replaced by a link to Notes 4.1. If new typos are found in that second version, then the link to Notes 4.1 will be replaced by a link to Notes 4.2. When you spot a typo please report it, during lectures or by email.

It is your responsibility to check whether an initial set of notes posted before a past lecture has been replaced by a new version. You do not have to make a new printout for each new version, which is likely to contain only a few minor modifications. You can correct changes by hand on the printout you have: just browse Errata. This page contains a list of all changes from one version to the next.

Notes 1.0

Notes 2.1

Notes 3.0

Notes 4.0

Notes 5.0

Notes 6.0

Notes 7.2

Notes 8.2

Notes 9.1

Notes 10.1

Notes 11.1

Notes 12.0

Notes 13.0

Notes 14.1

Notes 15.0

Notes 16.0

Notes 17.1

Notes 18.1

Notes 19.0

Notes 20.0

Notes 2.1: P. 11, last two sentence: added parentheses around formulas plus formula for exclusive or.

Notes 7.2: P. 6: changed parentheses on first line of proof.

P. 4: changed <-> to -> before the 3 axioms.

P. 5: changed <-> to -> before the rule of modus ponens.

Notes 8.2: P. 15, 2nd line: changed first disjunction by conjunction.

P. 17: restored the missing negation sign in the statement of the excluded middle.

Notes 9.1: P. 12, last rule: changed [_,T] to [_|T].

Notes 10.1: P. 3, last line: changed I to Count.

Notes 11.1: P. 10, 11, 12: many negation signs (~) did not come out, this has been fixed.

P. 13: changed \overline{r} to \neg r, and changed the orientation of the tree.

Notes 14.1: Replaces 14.0, which was a wrong version put by mistake

Notes 17.1: P. 10, last line: changed p(y) into q(y)

Notes 18.1: P. 3: added x in the middle of the premise of the rule

P. 5, first and last lines: changed a psi into a phi.