On this page:
4.1 Intellectual Property
6.8

4 Handouts

Lecture summaries, code, and other relevant handouts will be posted here.

Lecture summaries.

Quote notation and pattern matching (from CS 145).

The halting problem (from CS 145).

Proust code:

proust-imp-basic.rkt

proust-imp-with-holes.rkt

proust-pred-start.rkt

proust-pred-forall-wrong0.rkt

proust-pred-forall-wrong1.rkt

proust-pred-forall-wrong2.rkt

proust-pred-forall-wrong3.rkt

proust-pred-forall-wrong4.rkt

proust-pred-forall-right.rkt

proust-pred-eq.rkt

proust-pred-bool.rkt

Coq files:

bool.v

logic.v

nat.v

sort.v

Starter files:

PF1-starter.rkt

PF2-starter.rkt

PF3-starter.rkt

PF4-starter.rkt

PF5-starter.txt

PF6-starter.rkt

PF7-starter.rkt

PF8-starter.rkt

4.1 Intellectual Property

Students should be aware that this course contains the intellectual property of their instructor, TA, and/or the University of Waterloo. Intellectual property includes items such as:

Course materials, and the intellectual property contained therein, are used to enhance a student’s educational experience. However, sharing this intellectual property without the intellectual property owner’s permission is a violation of intellectual property rights. For this reason, it is necessary to ask the instructor, TA and/or the University of Waterloo for permission before uploading and sharing the intellectual property of others online (e.g., to an online repository). Permission from an instructor, TA or the University is also necessary before sharing the intellectual property of others from completed courses with students taking the same/similar courses in subsequent terms/years. In many cases, instructors might be happy to allow distribution of certain materials. However, doing so without expressed permission is considered a violation of intellectual property rights. Please alert the instructor if you become aware of intellectual property belonging to others (past or present) circulating, either through the student body or online. The intellectual property rights owner deserves to know (and may have already given their consent).