Introduction to Advanced Mathematics by William J Barnier, Norman Feldman Prentice Hall, 2000 This book has the core material of the course presented in a good way -- although it presents material in a slightly less formal way than we will do in this course.		Discrete Mathematics and its Applications   by Kenneth H. Rosen, McGraw Hill, 2003 This is the most widely used text for this course and is a suitable as an expensive reference for about half the material in the course.
	The Haskell Road to Logic, Maths and Programming by Kees Doet and Jan van Eijck College Publications, 2004 This is an excellent book that integrates most of the material of the course with programming in the functional programming language Haskell.		Sets, Functions and Logic: An introduction to abstract mathematics by Keith Devlin Chapman & Hall/CRC , 2004 Another good book that covers much of the mathematical material we will cover in the course.

Abstract: This course serves to introduce the mathematical concepts that serve as the foundations of computer science: basic set theory, the theory of relations and functions, graphs (directed and undirected), Boolean algebra, propositional and first order logic, inductively defined structures (lists and trees), and applications of mathematical induction. This course provides an introduction to the abstract and rigorous thinking that is required in other areas of mathematics and computer science. By the end of the course, students will have learned how to recognize a mathematical proof and will know how to produce their own.

Grading and Other Policies: Grades will be based on written homework, an in-class midterm exam and a final exam. A standard grading scale will be used, where an overall average of 90%-100% earns an A, 80%-89% a B, 70%-79% a C, 60%-69% a D and 0%-59% an F. Work is due at the beginning of class, and late work is accepted for a few days, or until a solution is distributed, at a substantial reduction in credit each day. Returned work should be kept for verification of records.

The professor reserves the right to alter the grading scheme or to take extenuating circumstances into account when assigning grades. Discussion of the course material among students is encouraged, although students are expected to write up their own homeworks. Academic dishonesty will be treated in accordance with university standards. Students are urged to read University regulation 802 , section 3 defines academic dishonesty. University regulation 203 describes students rights to appeal and the appeal process.

Homework:

No.	Due Date	Assignment	Remarks
1	Tuesday: September 1	hw1.pdf
2	Thursday: September 3	hw2.pdf
3	Tuesday: September 8	hw3.pdf
4	Thursday: September 10	hw4.pdf
5	Tuesday: September 15	hw5.pdf
6	Thursday: September 17	hw6.pdf	propositional proof rules
7	Tuesday: September 22	hw7.pdf
8	Thursday: September 24	hw8.pdf	Note: there is a typo in the figure with example 4.9 on page 56 - the backwards E on the right branch should be an upsidedown A.
9	Tuesday: September 29	hw9.pdf	Proof rule sheet
10	Thursday: October 1	hw10.pdf	Here are the translation rules and a few examples: English Translation.
11	Tuesday: October 6	hw11.pdf	Read pages 71 - 84 of the lecture notes.
12	Thursday: October 8	hw12.pdf	You can hand this in Friday by noon by putting it in Rob's mailbox in the COSC mailroom. (EN 4088).
13	Tuesday: October 13	hw13.pdf
14	Thursday: 22 October	hw14.pdf
15	Tuesday: 27 October	hw15.pdf	As announced in class on Thursday, please put copies of your previously graded homeworks in Rob Streeter's mailbox in Room EN 4088 by Wednesday, October 28. Because of a typo in the homework you may hand this in on Thursday.
16	Thursday: October 29	hw16.pdf
17	Tuesday: November 3	hw17.pdf	A bit tricky.
18	Thursday: 5 November	hw18.pdf
19	Tuesday: 10 November	hw19.pdf	Latest copy of the Lecture Notes

Exams:

• Midterm Exam: On or around October 15th
• Final Exam: To be announced
  

Miscellaneous Resources: Supplementary material.

• Chapter 1 of Hein (pdf) (postscript) See the Errata for a problem in chapter 1, page 14.
• Chapter 2 of Hein (pdf) (postscript)
• Chapter 3 of Hein (pdf) (postscript)

Class Notes.

• Logic and Discrete Mathematics for Computer Scientists (pdf)