MATH 2090: Applications of Logic to Discrete Mathematics.

Professor: Mercedes H. Rosas

Office: TEL 3045
Email: rosas at mathstat.yorku.ca
WWW: http://garsia.math.yorku.ca/~rosas/
Web page of this course: http://garsia.math.yorku.ca/~rosas/logic.html
Office hours: Wednesdays 10:30-11:20.

Note: In the case of a TTC strike, office hours will be cancelled.

Course:

Monday, Wednesday, Friday at 1:30.

Textbook:

A logical approach to Discrete Math, by David Gries and Fred Schneider.

Description:

A continuation of AK/AS/SC/MATH 1090 3.00, this course uses formal logic to study topics in discrete mathematics, including sets, relations, functions, induction, the integers. Optional topics include program specification, sequences, recurrence relations.
Prerequisite: AK/AS/SC/MATH 1090 3.00 taken after Summer 1998.

Course Plan:

Chapters 11 (A Theory of Sets), 12 (Mathematical Induction), and 14 (Relations and Functions).
If times allows, some further topics may be covered.

Lecture and exercise:

You are required to read about the material you learn and work on the exercises in the textbook. Otherwise you might find yourself behind in the lectures. The quizzes will be talking out of them (with some minor modifications).

Evaluation

Quizzes, 20%. (Fridays 01/28 and 02/25.)

In class exams, 25% each. (Fridays 02/11 and 03/11. )

Final: Exam Period, 30%

Remark 1:

Your final grade (letter) will be based on the curve of results from the whole class. We will not use the absolute system of reference.

Remark 2:

If you miss an exam, YOU MUST have a note from a doctor.

Final Grades:

If you need to look at your final exam, you will have to speak with Mike Zabrocki in office TEL 3046 since I am no longer working at York and no longer have access to my office or your exams. His email address is zabrocki@mathstat.yorku.ca. Have a good summer!