Back to Tom Salisbury's Home Page

York University

AK/AS/SC/MATH 1190.03MW, Winter 2000

INTRODUCTION TO SETS AND LOGIC
Course Outline


Prerequisites:

One OAC in mathematics, or AK/MATH1710.06.

Degree credit exclusions:

MATH1120 and MATH1090 are the numbers that this course used to go by. In 98/99, several sections of MATH1090 were designated as being for Computer Science majors, and those sections were taught a different selection of topics. As of 99/00, all sections of MATH1090 are for computer science majors, and the new course number MATH1190 is the home for the traditional topics. Students who plan to major or minor in Computer Science must enrol in MATH1090 and not this course.

Instructor:

Tom Salisbury

Lectures:

MWF 11:30-12:20 in 341 Bethune College
Atkinson students should note that Faculty of Arts calendar dates apply to this course.

Course Webpage

Office hours:

MF 2:30-3:30
If you need to see me outside these hours, you are welcome to drop by my office. If I am able to talk to you then, I will; if not we can arrange another time. Or you can e-mail to arrange an appointment.

Text:

Discrete Mathematics and its Applications by Kenneth H. Rosen; 4th edition, McGraw-Hill 1999.
The same text is currently used in other courses. The material I plan to cover is basically sections 1.1-1.7, 2.3, 2.4, 3.1-3.2, 6.1, 6.5
Added note: As it happened, we had time to cover section 4.3 as well

Problem session:

This term, there will not be a separate problem session for the course. Instead, students may go to the MathLab for help. The Lab opens the second week of classes, and is located in S525 Ross. Hours of operation through April 7 are

M-F 11:00-4:00

From April 10 to 21 the lab will be open M-F 12:00-3:00
Tutorials start the week of January 10. During that week the lab will be staffed by one TA at a time, but in subsequent weeks there will be three TAs available at all times. The Lab also provides help with calculus and linear algebra courses.

TA:

Mihai Beligan

Grading:

Course description:

The course is an introduction to discrete mathematics, and is intended for students in Mathematics and in ITEC. The topics covered are widely used throughout mathematics; many will crop up again in other mathematics courses. The purpose of the course is to give these topics a thorough treatment early in a student's studies, with the intention of enhancing his or her understanding of future courses, irrespective of whether those courses have MATH1190 as a prerequisite. Topics include logic, sets, congruences and the Euclidean algorithm, proofs and mathematical induction, relations and equivalence relations. The emphasis will be on understanding the basic ideas and developing an appreciation for mathematical reasoning, proofs, and problem solving.