This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: DEPARTMENT OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING Mathematics for Computer Science COMP 232 Course Outline Fall 2010 The course is taught in three sections. The material covered in each section is the same and there are common assignments and a common final exam. The instructor may vary the order in which the material is presented to accommodate class progress. Instructors administer midterm exams independently. This information sheet gives important technical data about the course, which may be subject to change during the semester. Information about the course, assignments, im- portant deadlines, and updates are kept on the COMP 232 web-page for the fall 2010 term: http://users.encs.concordia.ca/~comp232 2 Please consult this web-page regularly for updates. The instructor is the principal authority in all matters relating to the course. You should take your questions to your instructor first. Instructor Section Office Phone e-mail D. Ford DD EV-3.237 848-2424 x 3015 [email protected] E. Doedel Q EV-3.285 848-2424 x 3048 [email protected] L. Narayanan (coordinator) R EV-3.163 848-2424 x 3029 [email protected] Course Prerequisites MATH 203 or 209 or CEGEP Mathematics 103, previously or concurrently. MATH 204 or 208 or CEGEP Mathematics 105, previously or concurrently. Course Description Sets. Propositional logic and predicate calculus. Functions and relations. Elements of number theory. Proof techniques: direct proof, indirect proof, proof by contradiction,number theory....
View Full Document
This note was uploaded on 11/15/2010 for the course ENCS COMP 232 taught by Professor Ford during the Fall '10 term at Concordia University Irvine.
- Fall '10