Formal Methods

Fall Semester, 2018

Math 220: Syllabus
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



A Logical Approach to Discrete Math, Gries and Schneider, Springer-Verlag, 1994.


Download theorem reference document.
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

Intellectual property

You are free to use the material I produce in this course without my explicit permission.
License: Creative Commons, Attribution-ShareAlike (CC BY-SA)

See: for license details.

Video recording

The materials for this course – including video recordings of all the lectures, the assignments, and the lecture slides – are posted on iTunes U. On an iOS device (iPhone or iPad), this link takes you to the course in the iTunes U app.

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.


Complete assignment list

Assignment 1
Due Thursday, August 30

Assignment 2
Due Thursday September 6

Assignment 3
Due Monday, September 10

English expressions handout

Assignment 4
Due Thursday, September 13

Assignment 5
Due Monday, September 17

Assignment 6
Due Thursday, September 20

Assignment 7
Due Monday, September 24

Test 1
Thursday, September 27
Chapters 1, 2, 3 except Leibniz's Rule as an Axiom

Assignment 8
Due Thursday, October 4

Assignment 9
Due Monday, October 8

Assignment 10
Due Thursday, October 11

Assignment 11
Due Monday, October 15

Assignment 12
Due Thursday, October 18

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

Assignment 13
Due Monday, October 22

(8.19) example worksheet
(8.22) proof worksheet

Assignment 14
Due Thursday, October 25

Assignment 15
Due Monday, October 29

Test 2
Thursday, November 1
Chapter 3, Leibniz's Rule as an Axiom
Chapters 4, 5, 8

Assignment 16
Due Thursday, November 8

Assignment 17
Due Monday, November 12

Assignment 18
Due Thursday, November 15

Assignment 19
Due Monday, November 19

Assignment 20
Due Monday November 26

Assignment 21
Due Thursday, November 29

Friday, November 30, last day to withdraw with grade of WP/WF.

Assignment 22
Due Monday, December 3

Tuesday, December 11, 7:30 a.m. - 10:00 a.m.
Cumulative, emphasizing Chapters 9, 11