
MAT 300

3/8 Here are solutions for Test
1. Scores can be access above. The high score was 90, and the median
was 67.

2/13 Test 1 is in just over 2 weeks. It will cover material
from the start of the course through power sets. In particular, it
covers

making truth tables, and determining logical equivalence

negating statements with quantifiers; stating the converse and
contrapositive of an ifthen statement

direct proofs

counterexamples for disproof

proof by contradiction

proofs with cases, including bootstrapping

mathematical induction

sets: union, intersection, set difference, set complement,
subset, set equality, the empty set, and power sets
It does not cover
ordered pairs or products of sets.

2/11 Office hours are cancelled for February 14 while I am
covering a class for another faculty member.

1/24 Here is an updated list of the order in which we have
covered things/will cover them: 2.1, 2.3, inequalities, 3.1, 3.2, 3.4,
3.3, (3.5 and 3.6), 2.2, 4.14.4, 5.15.5. The sections in parentheses
should be read, but they have little to no actual material in them.

1/15 Expect a quiz (involving truth tables) on Thursday of this
week.

1/11 In the book, we just covered section 2.1 and will do section
2.3 next.

1/5 Handout on inequalities.

12/29 Office hours are cancelled for January 10 and 11 while I am
at a conference.

About this course
This is a course in how to read and write mathematical proofs. This
involves

Formal logic

Use of quantifiers and variables

Basic proof techniques
We will practice our proof writing primarily with set theory, which
underlies many subjects in math.

Exams:

Test 1: March 1

Test 2: April 19

Final: May 3

Office hours:
Tuesdays and Thursdays 10:3011:20, Wednesdays
1:001:50, and by appointment.

ASU Student Code of Conduct, especially F1 and G.

ASU policy on rescheduling final exams: ACD 30401

ASU policy on missed classes.

