### Time and Location:

M W F 7, Little 125

### Description and Goals

The goal of this course is to gain an ability to write proofs, and become comfortable with the tools of mathematical logic. Set Theory will often be used as a subject on which to exercise these tools.

### Text

How to Prove It: A Structured Approach, 2nd Edition. Daniel J. Velleman

### Test Dates:

Monday, October 2, over Chapters 1 and 2.

Friday, November 3, over more stuff.

Friday, December 1, over Homeworks 5 and 6, and the corresponding Sections.

### Syllabus

### Canvas for Your Grades

https://ufl.instructure.com/courses/346662

### Homework Sets

Homework 1) Sec. 1.1, p 13: Nums. 2,6,7; Sec 1.2, p. 24: Nums. 2,6,12; Sec 1.3, p. 33: Num 8; Sec. 1.4, p 41: Nums 5,6,13; Sec. 1.5, p. 53: Nums 2,5,10

Homework 2) Due Wednesday, September 27: Sec. 2.1, Nums. 2 and 5, Section 2.2, Nums. 2 and 5, Section 2.3, Nums. 2 and 5. ( yes, 2 and 5 in each section ).

Homework 3) Due Monday, October 16: Section 3.2, Nums 2, 6, 12, Section 3.3, Nums. 2, 10, 18, Section 3.4, Nums. 5, 8, 10.

Homework 4) Due Monday, October 30: Section 3.5, Nums 2,8,14, Section 4.2, 3, 5, Section 4.3, 4 (a) and (b), and 6. Section 4.4, Nums 3(a), 5, 6.

Homework 5) Due Monday, November 20: Section 4.5, 2, 6, Section 4.6, 10, 17. Section 5.1, 6, Section 5.2, 8, Section 5.3, 4, 6.

Homework 6) Due Monday, December 4: Section 6.1, 2, 4, 9, Section 6.2, 6, 12, Section 6.3, 2, 4, Section 6.4, 4.

### Review Materials

Logic and Set Theory, Test 1 Review

### Attendance and Late Policy

Attendance is optional. Passing Grades are Optional.