2200-002 Syllabus, Spring 2013
Kordy Michal
January 4, 2013
In this course you will learn mathematical rigor. Proper ways of proving theorems, starting from
assumptions and using mathematical deduction. In a sense you will learn what a mathematical deduction
is. Using very simple theorems as examples.
Additionally you will learn about basic mathematical notions like sets, functions, relations, cardinality,
mathematical induction, combinatorics, graphs, trees etc.
Both of those aspects should give you a good foundation for your future studies in mathematics,
computer science or engineering. And it should be a lot of fun for you, if you like logic.
• Prerequisites: ”C” or better in (MATH 1220 OR MATH 1250 OR MATH 1270 OR MATH 1311
OR MATH 1320 OR MATH 2210) OR AP Calc BC score of 5.
• Lecturer: Michal Kordy, email: kordy@math.utah.edu, office: JWB 321
• Class meetings: T,H 12:25pm -01:45pm LCB 222
• Textbook: Rosen, Kenneth H., ’Discrete Mathematics and Its Applications’, seventh edition.
This is the official textbook for the class, yet I am not forcing you to buy it. If you think that
listening to lectures is enough for you, no textbook might be needed. If you have another book,
that you prefer, you can use it.
• Homework: There will be homework assigned every two weeks. It will consist of a number of
problems that will be graded and a number of problems for you to practice on.
• Exams: There will be one midterm, during our normal lecture time and the final exam during
finals week. On the final, you will be asked questions about all of the material covered, not only
material from the second half. On the exams you will be allowed to bring a pencil only. No
calculators will be needed – in most of the problems you will be asked to prove something, some
very basic calculations might be needed. Paper will be supplied.
• Grading: final exam 40%, midterm 30%, homework 30%.
• Office Hours: 01:50pm -03:50pm on Thursday, which is just after the class, or by appointment.
1