Summary: Syllabus
Math 221 ­ Formal Logic and Discrete Mathematics
Fall 2008
Instructor: Dr. Rakhim Aitbayev, Weir 236, x5463, aitbayev@nmt.edu,
Office hours: W 8:30­10:30 A.M., TR 9:30­10:30, 3:30 ­ 4:30 P.M.
Course webpage: www.nmt.edu/aitbayev/math221
Catalog description: Analytical reasoning and critical thinking skills. Induction and recursion.
Mathematical proofs. Propositional calculus and predicate calculus. Discrete and combina-
torial mathematics: sets, functions, relations, trees, and graphs, permutations and combina-
tions. (3 cr, 3 cl. hr.)
Prerequisite: MATH 132 passed with grade C- or better.
Course content: Chapters 1­5, 7, and 9 of the textbook.
Time and place: TR 11:00­12:15 P.M., Wier 202
Textbook: Discrete Mathematics and its Application, 6th edition, by Kenneth Rosen, McGraw-
Hill, 2007, ISBN: 978-0-07-288008-3. Textbook web support: www.mhhe.com/rosen
Graded assignments: Homeworks, quizzes, and tests.
· Homework assignments are posted on the course webpage, and they are due on Thursdays
in class. Late homeworks are not accepted. The lowest homework score does not count
toward the final grade.
· Announced quizzes are given about once a week. The lowest quiz score does not count

Source: Aitbayev, Rakhim - Department of Mathematics, New Mexico Institute of Mining and Technology

Collections: Mathematics