Formal Methods

Fall Semester, 2023

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 11.
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 24

Assignment 2
Video lecture 4
Due Monday, August 28

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

Labor Day, no class
Monday, September 4

English expressions handout

Assignment 4
Video lecture 7
Due Thursday, September 7

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

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

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

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

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

Proving implications

Assignment 9
Video lecture 16, 17
Due Monday, October 2

Assignment 10
Video lecture 18
Due Thursday, October 5

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

Assignment 12
Video lecture 21
Due Thursday, October 12

Fall break, no class
Monday, October 16

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

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

Quantification examples
(8.22) proof worksheet

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

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

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

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

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

Assignment 18
Video lecture 32
Due Monday, November 13

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

Thanksgiving break
November 20 - 24

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

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

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

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

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