Math 3202: Sets and Logic

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

syllabus2017f-set

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

Sets and Logic, Chapter 1

Sets and Logic, Chapter 2

Sets and Logic, Chapter 3

Sets and Logic, Chapter 4

Sets and Logic, Chapter 5

Attendance and Late Policy

Attendance is optional.  Passing Grades are Optional.