## 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

### 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 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

Notice

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

Notice

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

Assignment 22

Due Monday, December 3

Final

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

Cumulative, emphasizing Chapters 9, 11