COMP2130 Discrete Mathematics for Computer Science

COMP2130 Discrete Mathematics for Computer Science

January 2014

Calendar Description

(Formerly 074.213) An introduction to the set theory, logic, integers, combinatorics and functions for today's computer scientists. Prerequisites: COMP 1020 or COMP 1021 (C), and a "C" average in one of: MATH 1210, MATH 1300, MATH 1301 (136.130), MATH 1310 (136.131); and one of: MATH 1500, MATH 1501(136.150), MATH 1510 (136.151), MATH 1520 (136.152), the former 136.153, or MATH 1690 (136.169).

Are You Properly Registered for this class

Aurora can not check prerequistes and 'not to be held-withs. It is your responsibilty to see that you have the correct prerequisites for COMP2130. If you are not entitled to be in this course, you will be withdrawn, or the course may not be used in your degree program. There will be no fee adjustment. This is not appealable. If in doubt see me.

Location and Time

3:30-4:20MWF E2 105 EITC

Instructor:

Name: John van Rees
Office Number: E2 480 EITC
Phone Number: 204-474-8683
E-mail: vanrees@cs.umanitoba.ca
Office hours: mwf 10:30-11:30
or when I'm free

 

Textbook:

Discrete Mathematics with Applications Fourth Edition by S.S. Epp
Book is expansive so get a second hand copy.

Topics:

  1. Chapter 2 Logic of Compound Statements
  2. Chapter 3 Logic of Quantified Statements
  3. Chapter 4 Methods of Proof
  4. Chapter 4 GCD and Euclidean Algorithm
  5. Chapter 5 Mathematical Induction
  6. Chapter 6 Set Theory
  7. Chapter 7 Functions
  8. Chapter 9 Counting
  9. Chaper 8 Modular Arithmetic
  10. Chapter 10 Graphs and Trees (if time allows)

Grading:

5 assignments 20%
mid-term exam - Scheduled for March 3 in E3 270 20% midterms and assignments will be destroyed after the appeal period
Final examination 60%  
TOTAL* 100%  

Assignments:

Format:
Assignments must
  • be legible: either neatly handwritten or typeset using a good quality printer with dark ink/pencil/toner
  • be securely stapled in the top left corner, and
  • have a filled in and signed declaration sheet as a cover page. The declaration sheet, which states that the work being submitted is completely your own, is available at http://www.cs.umanitoba.ca/newsite/honesty.htm. This sheet must be printed out, filled in, signed, and attached to every assignment which is submitted. No assignment will be marked unless the completed declaration is attached.

If you choose to use a folder, it must be a letter-sized folder. Marks may be deducted for failing to follow these directions.

 
Handing In:
Assignments are to be handed in at the BEGINNING of class on the due date.
 
Late Assignments:
No late assignments will be accepted.

Exam Viewing

Final exams may be viewed by filling in the form at:
http://www.cs.umanitoba.ca/newsite/docs/Comp%20Sci%20Exam%20Viewing.pdf

Remarking of Exam

You can request to have your Final Exam remarked. Someone other than me, chosen by the head, will totally remark the exam and the number recalculated. If you succeed in raising your grade, you will receive your fee back. For detail see: http://umanitoba.ca/student/records/grades/691.html

Academic Dishonesty:

Academic dishonesty is a very serious offence and will be dealt with in accordance with the University Discipline Bylaw. Examples of academic dishonesty include:
  • submitting assignments which are not entirely your own work that you did this term
  • use of unauthorized material on a test or examination,
  • writing an examination for another person or arranging for another person to write an examination for you,
  • use of calculators or phones on a test or examination where they are prohibited.

For more information, see http://umanitoba.ca/student/images/2008_student_guide_web.pdf

Student Responsibilities:

  1. Attend lectures,
  2. read book,
  3. regularly read web site (http://www.cs.umanitoba.ca/~comp2130),
  4. do assignments,
  5. get help when needed,
  6. study for midterms and final.