## Discrete Structures

## Spring Semester, 2018

Math 221: 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,
A8,
Test 1

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
equation reference document.

Download
TeX source
of equation reference document.

Download
Chapter 3
of *Design Patterns for Data Structures*.

Download
Chapter 3
slides of *Design Patterns for Data Structures*.

Download C.A.R. Hoare
retrospective and original paper
on the Hoare triple.

Download
article
on how Amazon 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, January 11

Assignment 2

Due Thursday, January 18

Assignment 3

Due Monday, January 22

Assignment 4

Due Thursday, January 25

Assignment 5

Due Monday, January 29

Assignment 6

Due Thursday, February 1

Assignment 7

Due Monday, February 5

Assignment 8

Due Thursday, February 8

Test 1

Monday, February 12

Chapters 10, 12, Programs including (p.1) - (p.27)

Assignment 9

Due Thursday, February 15

Assignment 10

Due Monday, February 19

Proof of (14.22)

Assignment 11

Due Thursday, February 22

Visualizing relations

Assignment 12

Due Monday, March 5

Assignment 13

Due Thursday, March 8

Notice

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

Assignment 14

Due Monday, March 12

Assignment 15

Due Thursday, March 15

Test 2

Monday, March 19

Programs including (p.28) - (p.31), Chapter 14.1 - 14.3

Assignment 16

Due Thursday, March 22

Assignment 17

Due Monday, March 26

Assignment 18

Due Thursday, March 29

Assignment 19

Due Monday, April 2

Assignment 20

Due Thursday, April 5

Assignment 21

Due Monday, April 9

Assignment 22

Due Thursday, April 12

Notice

Friday, April 13, last day to petition to withdraw with grade of WP/WF.

Assignment 23

Due Monday, April 16

Final

Tuesday, April 24, 7:30 a.m. - 10:00 a.m.

Cumulative.

One half of the final will be from the material since Test 2, namely Chapter 14 from page 292, (14.51) - (14.54), Growth of functions,
(g.1) - (g.12), 15.4 gcd, 16.1, 16.3, 19.1 - 19.5.