## Formal Methods

## Fall Semester, 2017

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

### Text

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

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: http://creativecommons.org/licenses/
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 31

Assignment 2

Due Thursday September 7

Assignment 3

Due Monday, September 11

English expressions handout

Assignment 4

Due Thursday, September 14

Assignment 5

Due Monday, September 18

Assignment 6

Due Thursday, September 21

Assignment 7

Due Monday, September 25

Test 1

Thursday, September 28

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

Assignment 8

Due Thursday, October 5

Assignment 9

Due Monday, October 9

Assignment 10

Due Thursday, October 12

Assignment 11

Due Monday, October 16

Assignment 12

Due Thursday, October 19

Notice

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

Assignment 13

Due Monday, October 23

(8.19) example worksheet

(8.22) proof worksheet

Assignment 14

Due Thursday, October 26

Assignment 15

Due Monday, October 30

Test 2

Thursday, November 2

Chapter 3, Leibniz's Rule as an Axiom

Chapters 4, 5, 8

Assignment 16

Due Thursday, November 9

Assignment 17

Due Monday, November 13

Assignment 18

Due Thursday, November 16

Assignment 19

Due Monday, November 20

Assignment 20

Due Monday November 27

Assignment 21

Due Thursday, November 30

Notice

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

Assignment 22

Due Monday, December 4

Final

Tuesday, December 12, 7:30 a.m. - 10:00 a.m.

Cumulative, emphasizing Chapters 9, 11