Lecture and Notes
On this page we will post
notes accompanying the lectures of the class. These notes
were used in earlier editions of this class and may thus
deviate slightly from what we do this semester, in order
or content. Such differences, if any, will be mentioned in
the Comments
column below.
Please read these notes as
soon as they are posted (new posts will be announced).
They are part of the learning material. You will be tested on this
material in quizzes and exams.
Date
|
Topic
|
Comments
|
Jan 08, 2014 |
The ACL2
Programming Language |
|
Jan 20, 2014 |
Propositional
Logic |
|
Feb 12, 2014 |
Equational
Reasoning |
We are covering termination |
Feb 12, 2014 |
Definitions
and Termination |
before equational reasoning |
Mar 20, 2014 |
Induction |