Mathematical Foundations for Computer Science
COMP SCI 1FC3, Term II 2006/07
Lectures and Tutorials
Tuesday, Wednesday, Friday 09:30-10:20 in T13/125.
- T01: Tuesday 15:30-17:20 in BSB/248
- T02: Wednesday 14:30-16:20 in BSB/249
Dr. J. Carette, ITB-168 , ext 26869
Office hours: by appointment (or catch me after class).
For all course related questions,
a class forum has been set up on WebCT so that
questions and their answers can be posted centrally. The
instructor will generally not answer emails sent to him directly,
but will answer (or make sure the TA answers) questions posted on the
discussion forum(s) very frequently. [Questions of a personal nature can
and should be emailed to the instructor].
- Marc Bender (bendermm)
- Hamid Ghaffari (ghaffar)
- Jessica Cao (caoff)
- Don Vo (vod2)
Discrete Mathematics and its Applications, Sixth Edition, by Kenneth H.
Rosen. Publisher - McGraw-Hill. The textbook comes with a key to a web site
with a lot of extra material for the course.
This course will teach the mathematical foundations of computer science.
In other words, it will cover mainly mathematical material, but each topic
is included because it is used extensively in computer science. Examples
of the use of the course material will be mostly from computer science.
Although this course can be taken without previous knowledge of programming,
previous exposure would be highly beneficial. The course will use
computer tools to illustrate the concepts taught in class.
The course description says: Introduction to logic and proof techniques;
functions, relations, and sets; counting; trees and graphs; concepts are
illustrated using computational tools.
In other words, Chapter 1, Chapter 2, parts of Chapter 3, Chapter 4, most of 5,
parts of 7, 8, 9 and 10.
Course Information on Web, and Slides
The latest version of this outline and the most "up-to date"
information as well as hand-outs can be found on the course web page.
(Or go to my home page and then to the course page).
The assignments can be found there as well.
There are some slides available on
last year's site, but they will not be
used this year.
Mid-terms, Exams, and Grading
- There will be one midterm. It will be held on February 28th,
during the regular class hour, but in T29-101.
- The final examination will be
scheduled by the Registrars office in the usual way. It will be
three hours in duration and cover the material of the course,
handouts and assignments.
- It is essential that you fulfill the deadlines for the
assigments, there is no credit for documents handed
in after the deadline. This is manly due to the fact that
solutions will be available after the due date.
- The final grade will be computed according to:
| Final Examination
Additionally, exercises will be posted. Some of these
exercises will be worth bonus points, to be added to the
final mark of those who have passed the course.
- The instructor does not accept
late doctor's notices, if you write a mid-term then the mark is
yours. If you do not write an exam or an assignment and do not provide
an acceptable doctors notice then it is marked with 0. The
instructor reserves the right to conduct any deferred exams orally.
"The Faculty of Engineering is concerned with ensuring an
environment that is free of all adverse discrimination. If there is a
problem that cannot be resolved by discussion among the persons
concerned individuals are reminded that they should contact their
Chair, the Sexual Harassment Office or the Human Rights Consultant,
as soon as possible."
- Academic dishonesty consists of misrepresentation by deception or by other
fraudulent means and can result in serious consequences, e.g. the grade of
zero on an assignment, loss of credit with a notation on the transcript
(notation reads: "Grade of F assigned for academic dishonesty"), and/or
suspension or expulsion from the university.
It is your responsibility to understand what constitutes academic
dishonesty. For information on the various kinds of academic dishonesty
please refer to the Academic Integrity Policy, specifically
The following illustrates only three forms of academic dishonesty:
- Plagiarism, e.g. the submission of work that is not one's own or for
which other credit has been obtained.
- Improper collaboration in group work. (Note that all assignments in
CS 1MD3 are to be done individually unless explicitly mentionned otherwise).
- Copying or using unauthorized aids in tests and examinations.
- There is zero tolerance for academic dishonesty .
All assignments have to be solved by one person only,
any outside source, this includes asking other people,
or using any books or information found on the web has to
be documented. In complience with the senate regulations
on academic integrity I remind you that:
People who let other people copy are as guilty as the ones who copy.
You are allowed to consult outside sources, meaning textbooks
or the web, but any use of an outside source
must be documented.
- In the case the instructor or a TA
has the impression that an assignment is copied, the instructor can
ask the corresponding students to explain exactly how the assignment
was prepared and take appropriate actions.