DEPARTMENT OF COMPUTER SCIENCEAND SOFTWARE ENGINEERINGMathematics for Computer Science COMP 232Course OutlineWinter 2014This course is taught in two sections. The material covered in each section is the sameand there are common assignments and a common final exam. The instructor may varythe order in which the material is presented to accommodate class progress. Instructorsadminister midterm exams independently.This information sheet gives important technical data about the course, which may besubject to change during the semester. Information about the course, assignments, im-portant deadlines, and updates, can be found on the common COMP 232 web-page forthe fall 2013 term:4from where there is a link to the web-page of your section. Please consult the web-pagesregularly for updates.The instructor is the principal authority on all matters related to the course. You shouldtake your questions to your instructor first.InstructorSectionOfficee-mailG¨osta Grahne (coordinator) NNEV-3.109[email protected]Sabine BerglerSEV-3.283[email protected]Course PrerequisitesMATH 203 or 209 or CEGEP Mathematics 103, previously or concurrently.MATH 204 or 208 or CEGEP Mathematics 105, previously or concurrently.Course DescriptionSets.Propositional logic and predicate calculus.Functions and relations.Elements ofnumber theory.Proof techniques: direct proof, indirect proof, proof by contradiction,proof by induction.Textbook:COMP 232 Custom publication for Concordia University: Selected chapters fromDiscreteMathematics and its Applications, 7th edition, by Kenneth Rosen, McGraw-Hill, NewYork.