Math 3345 - Foundations of Higher Mathematics 

(Spring 2019)
 

Course syllabus

List of useful tautologies

In-class exercises for 1/11/2019 and 1/14/2019

Homework #1 (due Wednesday, January 16 Friday, January 18)

p. 7 #2, 3 (first sentence only)

p. 8 #5

p. 16 #17 (see the hint on p. 17)

p. 19 #22

p. 23 #31, 32

For problem 17, you are not required to write the proof in the formal style of Example 2.24 and explicitly discharge assumptions, but your argument should be as efficient as possible and avoid cases (i.e. don’t analyze different possible combinations of truth values for P,Q,R separately, which effectively would be a proof by truth table).



Revised office hours (for rest of semester): Mondays 4:45-6:45pm

Homework #2 (due Wednesday, January 30)

p. 28 #1, parts (g) through (k)

p. 31 #7

p. 35 #10

p. 36 #13

p. 37 #14, parts (g) and (h)



Homework #3 (due Wednesday, February 6)

p. 41 #3

p. 43 #8 (b) and (c) [You may use part (a) without proving it.]

p. 44 #10 (b) and (d)

p. 45 #12 [You may assume that pi is irrational.]

p. 46 #13 (a) and (b)

p. 47 #16



Homework #4 (due Wednesday, February 13)

Revised due date: Friday, February 15

(click on link for PDF file)



Homework #5 (due Wednesday, February 27)

p. 60 #2

p. 61 #5

p. 62 #6, 7, 8



Midterm 1 on Wednesday, February 27 (in class)

In addition to the “review problems” below, you should study the homework problems from the first four assignments and the examples discussed in class. (To answer two common questions: there is no need to memorize the list of tautologies, and induction won’t be on this exam.)

Review problems for Midterm 1

(click on link for PDF file)