Instructor: Stan Warford

Office: RAC 112

Office hours: Mon (11:00 - 11:50), Tues (9:00 - 9:50), Thurs (1:00 - 1:50), Fri (11:00 - 11:50), and by appointment

Email: Message to Warford

A1, A2, A3, A4, A5, A6, A7, Test 1

A8, A9, A10, A11, A12, A13, A14, A15, Test 2

A16, A17, A18, A19, A20, A21, A22, A23, Final

Notices |

Download TeX source of theorem reference document.

Web page for theorem reference document.

Download article: Boolean Satisfiability, From Theoretical Hardness to Practical Success

Download article: How Amazon Web Services Uses Formal Methods

License: Creative Commons, Attribution-ShareAlike (CC BY-SA)

See: http://creativecommons.org/licenses/ for license details.

You can also view just the lectures directly in your browser here.

The recordings may be used, reproduced,
exhibited or distributed in any medium for any purpose that the University and those acting
pursuant to its authority, deem appropriate.
The University does hold a traditional copyright for the lecture video recordings.

Assignments |

Assignment 1

Video lectures 1, 2, 3

Due Thursday, August 20

Assignment 2

Video lecture 4

Due Monday August 24

Assignment 3

Video lectures 5, 6

Due Thursday, August 27

Assignment 4

Video lecture 7

Due Monday, August 31

Assignment 5

Video lectures 8, 9

Due Thursday, September 3

Assignment 6

Video lectures 10, 11

Due Thursday, September 10

Assignment 7

Video lectures 12, 13

Due Monday, September 14

Test 1

Thursday, September 17

Chapters 1, 2, 3 except Leibniz's Rule as an Axiom

Assignment 8

Video lectures 14, 15

Due Monday, September 21

Assignment 9

Video lecture 16, 17

Due Thursday, September 24

Assignment 10

Video lecture 18

Due Monday, September 28

Assignment 11

Video lectures 19, 20

Due Thursday, October 1

Assignment 12

Video lecture 21

Due Monday, October 5

Assignment 13

Video lecture 22, 23

Due Thursday, October 8

(8.19) example worksheet

(8.22) proof worksheet

Notice

Monday, October 12, last day to withdraw with grade of W.

Assignment 14

Video lecture 24, 25

Due Monday, October 12

Assignment 15

Video lecture 26, 27

Due Thursday, October 15

Test 2

Monday, October 19

Chapter 3, Leibniz's Rule as an Axiom

Chapters 4, 5, 8

Assignment 16

Video lecture 28, 29

Due Thursday, October 22

Assignment 17

Video lecture 30, 31

Due Monday, October 26

Assignment 18

Video lecture 32

Due Thursday, October 29

Assignment 19

Video lecture 33, 34

Due Monday, November 2

Assignment 20

Video lecture 35, 36

Due Thursday November 5

Assignment 21

Video lecture 37, 38

Due Monday, November 9

Notice

Tuesday, November 10, last day to withdraw with grade of WP/WF.

Assignment 22

Video lecture 39, 40

Due Thursday, November 13

Final

Saturday, November 21, 7:30 a.m. - 10:00 a.m.

Cumulative, emphasizing Chapters 9, 11