Formal Methods

Fall Semester, 2024

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

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, Nnovember/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 22

Assignment 2
Video lecture 4
Due Monday, August 26

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

Labor Day, no class
Monday, September 2

English expressions handout

Assignment 4
Video lecture 7
Due Thursday, September 5

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

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

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

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

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

Proving implications

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

Assignment 10
Video lecture 18
Due Thursday, October 3

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

Assignment 12
Video lecture 21
Due Thursday, October 10

Fall break, no class
Monday, October 14

Notice
Thursday, October 17, last day to withdraw with grade of W.

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

Quantification examples
(8.22) proof worksheet

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

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

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

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

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

Assignment 18
Video lecture 32
Due Monday, November 11

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

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

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

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

Thanksgiving break
November 25 - 29

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

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