Instructor:

Dr. Matthew Conroy

Office hours and email


Exam Dates

Midterm: Friday, April 27

Final Exam:

300 A: Monday, June 4, 8:30-10:20, SIG 226

300 B: Wednesday, June 6, 2:30-4:20, SIG 226

June 6, 2012

SPECIAL POST-FINAL OFFICE HOUR:
Friday, June 8 from 1 to 2 PM

You may come by and see your graded final exam at this time. If you cannot make this time, you are welcome to stop by during Fall quarter.

June 1, 2012

Here are answers to the Winter 2011 final. I do not have answers to the Spring 2011 final. Feel free to ask questions about either of these finals on the class discussion board.

May 26, 2012

Our final exam is coming up. The emphasis on the final exam will be on the latter half of the course: relations, functions, induction, cardinality. Note that earlier topics, like sets and proof techniques, are utilized throughout. To prepare for the final exam, here is what I recommend:

April 28, 2012

Statistics for the first midterm: n=57; min=3; 1st quartile=19.25; median=28; 3rd quartile=37.75; max=50 (3 students).

April 25, 2012

During the midterm on Friday, you will be provided with this 2-sided sheet of axioms, properties and laws. No other notes will be allowed.

April 23, 2012

The extra examples pdf (link at right) has been updated with a complete proof of the uniqueness example theorem given in lecture today.

April 22, 2012

Here is a review sheet for the upcoming midterm exam, and here is a set of problems worth doing as you prepare for the midterm.

April 15, 2012

Please read this discussion of the graded homework 2 problems.

April 12, 2012

The extra examples pdf (link at right) has been updated with a discussion of problem 2.2 #7 from our textbook. If you have not already done so, don't worry about writing it up for tomorrow.

April 10, 2012

For the rest of the quarter, I will be holding Thursday late afternoon study sessions in Padelford C-401 from 5:30 to 7 PM. The purpose of these sessions is for us to get together and discuss the assigned homework, so come with questions and sketches of your proofs.

April 9, 2012

Here are some comments after grading homework 1.

Everything needs to be written with complete sentences.

All problem answers need to be self-contained. It needs to be clear, from what you write, what it is you have done, why you did it, and why it is true.

In 1.3 2(a), 2(a) "x is taller" is not a statement. Taller than what? If we define T(x) to be "x is taller", what does T(z) mean? You need a statement like T(x,y)="x is taller than y".

If you define T(x,y) then you are defining T(a,b), T(c,f), T(y,x) etc. You should not define a function twice.

In 1.3 2(c), the statement "x has brown eyes and red hair" is a compound statement, so to analyze its logical structure we want to use two simple statements, B(x)="x has brown eyes" and R(x)="x has red hair".

You must staple! I will deduct points for unstapled homework in the future.

Do not write in two columns on a page. Problems should move vertically down the page: the first problem, then below that the second, then the third, etc.

Use arrows only to indicate "a implies b". If you do not mean "a implies b", use something else; words would be best.

April 8, 2012

Here is a set of field axioms and properties of the real numbers and the integers which we will be using in our proofs. You should print out a copy and refer to it often!

April 5, 2012

I added another example to the "extra examples" pdf. This illustrates how all 24=16 possibilities of logical connectives are possible.

April 1, 2012

I've started an "extra examples" pdf. At the moment, it has just one example, but I expect it to grow of the course of this quarter. This will include examples that I did not have time to get to in lectures and other items of interest. It is available at the link at right.

March 29, 2012

The homework schedule is now available (link at right). I will be adding to the assignments as the lectures progress. Additions will be announced in lecture.

March 23, 2012

For those students looking for an add code, I do not overload my courses. If there are openings, I will distribute add codes by lottery to those who consistently attend the class. As long as you wish to add the course, you should attend every day.

March 22, 2012

Welcome to Math 300 A, B.

Announcements and other important information will appear here, so check back frequently.

The course discussion board is now availble (link at right). Please take advantage of it to ask questions about homework problems or course topics. You might also use it as a way to arrange study groups. I will get immediate emails when posts are added to the board, so this is as good a way to contact me as email, but allows everyone to see my response.

Resources:

Other UW resources:

Math Study Center

Student Counseling Center

Information for Students of International TAs

Center for Learning
and Undergraduate
Enrichment (CLUE)