outline.pdf - DEPARTMENT OF COMPUTER SCIENCE AND SOFTWARE...

This preview shows page 1 - 2 out of 3 pages.

The preview shows page 1 - 2 out of 3 pages.
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-mailosta 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.

Upload your study docs or become a

Course Hero member to access this document

Upload your study docs or become a

Course Hero member to access this document

End of preview. Want to read all 3 pages?

Upload your study docs or become a

Course Hero member to access this document

Term
Winter
Professor
TBA
Tags
Computer Science, Software engineering, Number Theory, Mathematical logic, Mathematical proof

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture