* 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:

- MATH1090.03, or MATH1120.03
- May not be taken after any 3000 level or higher MATH course.

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
- email: salt@yorku.ca
- Office: N625 Ross Building
- Phone: (416) 736-5250 (via Math Dept.)

(416) 736-2100 extension 33938 (via York switchboard)
- Fax: (416) 736-5757

### Lectures:

MWF 11:30-12:20 in 341 Bethune College

Atkinson students should note that Faculty of Arts calendar dates
apply to this course.
### 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:

- 25% Midterm exam (Wednesday February 9)
- 10% Quizzes (2 for 20 minutes each, on Wednesday Jan. 26 and March 8)
- 15% Assignments (roughly weekly)
- 50% Final exam
- I will mark the midterm and finals. The TA will mark the
quizzes and assignments. Restrictions on TA hours mean that only a
selection of the problems will be marked.
- No late assignments will normally be accepted, but I will
drop everybody's worst assignment mark.
- Assignments may be handed in in class
or dropped in the course mailbox (one of the brown boxes by the
north elevator of the 5th floor of Ross will soon have our course
number on it).
- All assignment, quizz, and exam marks should be interpreted
as raw scores and not 'percentages'. Cutoffs will be announced for
converting midterm scores into letter grades. The distribution of
scores will be announced for both the midterm and the quizzes.

### 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.