Formal Methods

Fall Semester, 2020

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

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.

Assignments

Complete assignment list

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

Assignment 2
Video lecture 4
Due Monday August 24

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

English expressions handout

Assignment 4
Video lecture 7
Due Monday, August 31

Assignment 5
Video lectures 8, 9
Due Thursday, September 3

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

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

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

Assignment 8
Video lectures 14, 15
Due Monday, September 21

Assignment 9
Video lecture 16, 17
Due Thursday, September 24

Assignment 10
Video lecture 18
Due Monday, September 28

Assignment 11
Video lectures 19, 20
Due Thursday, October 1

Assignment 12
Video lecture 21
Due Monday, October 5

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

(8.19) example worksheet
(8.22) proof worksheet

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

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

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

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

Assignment 16
Video lecture 28, 29
Due Thursday, October 22

Assignment 17
Video lecture 30, 31
Due Monday, October 26

Assignment 18
Video lecture 32
Due Thursday, October 29

Assignment 19
Video lecture 33, 34
Due Monday, November 2

Assignment 20
Video lecture 35, 36
Due Thursday November 5

Assignment 21
Video lecture 37, 38
Due Monday, November 9

Notice
Tuesday, November 10, last day to withdraw with grade of WP/WF.

Assignment 22
Video lecture 39, 40
Due Thursday, November 13

Final
Saturday, November 21, 7:30 a.m. - 10:00 a.m.
Cumulative, emphasizing Chapters 9, 11