Formal Methods

Fall Semester, 2025

Math 220: Syllabus
Instructor: Stan Warford
Office: RAC 112
Office hours: Mon (4:00 - 4:50), Tues (1:00 - 1:50), Thurs (4:00 - 4:50), Fri (3:00 - 3: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

Lecture video recordings

Video recordings of all the lectures are posted on YouTube here.

Text

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

Downloads

Download Slides for Chapter 1.
Download Slides for Chapter 2.
Download Slides for Chapter 3.
Download Slides for Chapter 4.
Download Slides for Chapter 5.
Download Slides for Chapter 8.
Download Slides for Chapter 9.
Download Slides for Chapter 11.
Download Slides for Chapter 12.
Download theorem reference document.
Download TeX source of theorem reference document.
Web page for theorem reference document.
Download Boolean Satisfiability: From Theoretical Hardness to Practical Success, Sharad Malik and Lintao Zhang, Communications of the ACM, August 2009.
Download How Amazon Web Services Uses Formal Methods, Chris Newcombe, et. al., Communications of the ACM, April 2015.
Download One Click Formal Methods, John Backes, et. al., IEEE Software, November/December, 2019.

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: https://creativecommons.org/licenses/ for license details.

Assignments

Complete assignment list

Assignment 1
Video lectures 1, 2, 3
Due Thursday, August 21

Assignment 2
Video lecture 4
Due Monday, August 25

Assignment 3
Video lectures 5, 6
Due Thursday, August 28

Labor Day, no class
Monday, September 1

English expressions handout

Assignment 4
Video lecture 7
Due Thursday, September 4

Assignment 5
Video lectures 8, 9
Due Monday, September 8

Assignment 6
Video lectures 10, 11
Due Thursday, September 11

Assignment 7
Video lectures 12, 13
Due Monday, September 15

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

Assignment 8
Video lectures 14, 15
Due Thursday, September 25

Proving implications

Assignment 9
Video lecture 16, 17
Due Monday, September 29

Assignment 10
Video lecture 18
Due Thursday, October 2

Assignment 11
Video lectures 19, 20
Due Monday, October 6

Assignment 12
Video lecture 21
Due Thursday, October 9

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

Fall break, no class
Monday, October 13

Assignment 13
Video lecture 22, 23
Due Thursday, October 16

Quantification examples
(8.22) proof worksheet

Assignment 14
Video lecture 24, 25
Due Monday, October 20

Assignment 15
Video lecture 26, 27
Due Thursday, October 23

Test 2
Monday, October 27
Chapter 3, Leibniz's Rule as an Axiom
Chapters 4, 5, 8

Assignment 16
Video lecture 28, 29
Due Monday, November 3

Assignment 17
Video lecture 30, 31
Due Thursday, November 6

Assignment 18
Video lecture 32
Due Monday, November 10

Assignment 19
Video lecture 33, 34
Due Thursday, November 13

Assignment 20
Video lecture 35, 36
Due Monday, November 17

Assignment 21
Video lecture 37, 38
Due Thursday, November 20

Thanksgiving break
November 24 - 28

Notice
Monday, December 1, last day to withdraw with grade of WP/WF.

Assignment 22
Video lecture 39, 40
Due Monday, December 1

Final
Monday, December 8, 4:30 p.m. - 7:00 p.m.
Cumulative, emphasizing Chapters 9, 11