MAT 300
The score checker will now compute your current average, and also compute
what you need to average from now to the end of the course to get into
different grade ranges. The results of these computations are
unofficial. You should do the computations yourself to be sure.
When thinking about how much to study for the remaining exams, keep the
following in mind. Say you need to average 40% to get the grade you want.
If you know 40% of the material, then taking many exams, your average
score would be around 40%. So, roughly half of the time you fall short.
So, it is a bad idea to try to just barely make it into a particular grade
range.

4/19 Here are solutions
for Test 2.

4/15 The last day of class is reserved for a question/answer
related to the final, so bring questions.

4/2 Test 2 is coming up in about 2 weeks. It will cover
material starting with ordered pairs
and ends with the homework due on 4/10. This includes

ordered pairs and Cartesian products

relations, and general operations on them (inverse and composition)

properties of relations (reflexive, symmetric, antisymmetric, and
transitive)

partial orders

functions, and their properties (injective, surjective, bijective,
inverse functions)

equivalence relations, partitions, and complete sets of representatives

welldefined operations and functions

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.
