- T: Aug 21
|
|
|
- U: Aug 23
|
|
|
- T: Aug 28
|
|
|
- U: Aug 30
|
|
|
- T: Sep 4
|
|
|
- U: Sep 6
|
- Automatic Reasoning for Propositional Logic
[example,
FYTD #1 solution,
FYTD #2 solution,
FYTD #3 solution (building truth tables),
FYTD #4 solution (checking tautologies),
FYTD #5 solution (sequents, validity, equivalences),
Exercises,
Guided Exercise: Basic SAT (.txt, video),
Guided Exercise: Finding more models and building truth tables (.txt, video)]
|
- Reading: Z3’s Guide
(up to Section 3 on Propositional Logic)
|
- T: Sep 11
|
|
- HW 2 Assigned (see the Assignments section of 301 Canvas). Due Monday, Sept 24 at 11:59pm.
|
- U: Sep 13
|
|
|
- T: Sep 18
|
|
|
- U: Sep 20
|
|
|
- T: Sep 25
|
|
|
- U: Sep 27
|
|
|
- T: Oct 2
|
- Quantifications by Example (no slides for this lecture, only code examples)
[Lecture video,
Scala examples,
Java examples]
- Introduction to Predicate Logic
[Lecture video: (part a),
(part b),
(part c coming later),
examples,
Z3 examples,
FYTD #1-1,
FYTD #1-2,
FYTD #2-1,
FYTD #2-2]
|
|
- U: Oct 4
|
|
|
- T: Oct 9
|
|
- Reading: Circuits that Compute on Numbers: Algebra
|
- U: Oct 11
|
|
|
- T: Oct 16
|
|
|
- U: Oct 18
|
|
|
- T: Oct 23
|
|
|
- U: Oct 25
|
|
|
- T: Oct 30
|
|
|
- U: Nov 1
|
|
|
- T: Nov 6
|
|
|
- U: Nov 8
|
|
|
- T: Nov 13
|
|
|
- U: Nov 15
|
|
|
- Thanksgiving Break
|
|
|
- T: Nov 27
|
|
|
- U: Nov 29
|
|
|
- T: Dec 4
|
|
|
- U: Dec 6
|
|
|
- Wednesday: Dec 12
|
|
|