COMP 1805 DISCRETE
STRUCTURES
This is the COMP1805 home page
"http://www.scs.carleton.ca/~maheshwa/courses/COMP1805/1805.html".
Check it regularly for new information, assignments, etc.
Instructor: Professor Anil Maheshwari
Office: School of Computer Science, Carleton University,
Ottawa,
Canada K1S 5B6, room 5364, Herzberg Physics Building,
Phone: (613) 520-4333, Fax: (613) 520-4334,
OFFICE HOURS:
E-mail: maheshwa@scs.carleton.ca,WWW:http://www.scs.carleton.ca/~maheshwa.
Term:
Class Hours:
Tutorial : .
Course-TAs:
Course Objectives: This is a fundamental course in
understanding
what computers do and can do. Computers handle discrete structures
(everything
needs to be represented in finite number of bits). The course presents
an overview of some of the major theoretical concepts needed to
understand
the structures which computers can represent and manipulate. The
emphasis
is on developing the concepts, methods of proof, and quantitative
analysis.
Topics include: propositional and predicate calculus, Boolean algebra,
introduction to complexity of algorithms, mathematical reasoning,
counting,
recurrences, relations, introduction to graphs. (Also listed as MATH
1805.)
Courses Prerequisites: Two OACs in
Mathematics
or two Grade 12 university preparation Mathematics courses (after
Summer
2002), and one of COMP
1405, COMP
1005, COMP
1007 or Engineering SYSC
1100 (which may be taken concurrently).
Text Book: Discrete Mathematics and Its
Applications
(5th edition) by Kenneth H. Rosen, Mc-Graw Hill, 2003.
We will be mainly concentrating on Chapters 1, 2, 3, 4, 6, 7,
8, 9 and 10 from the book in this course.
Important Dates:
All Assignments need to be submitted in the Assignment Box for this
course in
Room 4135 HP (Herzberg 4th Floor) by 1 PM of the due date.
TA will remove all assignments shortly after 1PM and late submissions
will
receive 0 MARKS. Please do not try to submit the assignments anywhere
else
other than these boxes.
Here are the Sections which you should study with respect to
the
Final Exam.
5th Edition |
4th Edition |
1.1, 1.2, 1.3 (Skip Logic Programming),
1.4,
1.5, 1.6, 1.7 (Skip Computer Representation), 1.8, 2.2, 3.1, 3.2, 3.3,
3.4 (Skip Lame's), 4.1, 4.2, 4.3, 4.4, 6.1, 6.2 (Thm 1 and Thm 3 for
distinct
roots), 6.5, 7.1, 7.3, 7.4 (Skip Warshalls), 7.5, 7.6 (Skip Topological
Sort). |
1.1, 1.2, 1.3, 1.4, 1.5 (Skip
Computer
Representtion), 1.6, 1.7, 1.8, 3.1, 3.2, 3.3, 4.1, 4.2,
4.3,
5.1, 5.2 (Thm 1 and Thm 3 for distinct roots), 5.5, 6.1, 6.3, 6.4, 6.5,
6.6 (Skip Topologcal). |
Whats done in the class?
Course Logistics, Pigeon Hole Principle and Coloring Complete Graph
on 6 vertices by two colors, Propositional Logic (Negation, OR, AND,
XOR,
IMPLICATION, Bicondition, Logical Equivalences, Tautologies,
Contradiction
and Equivalence Rules).
Predicate Logic, existential and universal quantifications, sets -
definitions - cartesian products, union, intersection, difference,
complement,
equality.
Functions - definitions - composition - add- multiply - one-one - onto,
Countability
Growth of Functions and Proof Techniques.
Mathematical Induction I and II. Recursive Definitions.
Recursive Sets. Counting.
More on Counting, Pigeon Hole Principle, Coloring K_6 with red/blue
colors, increasing decreasing
subsequences, permutations and combinations.
Mid-Term and Binomial Theorem
Recurrence Relation and
Relations.
Relations, Equivalence Relations and
Representation of Relations.
Partial Orders, Graphs, Planar Graphs,
Coloring.
More on Graphs and Review and Problems.
Course evaluation :
Final Examination : 55%
Mid-Term Exam (1 Mid-Term Exam: 25%):
Assignments (4 Assignments): 20%
Announcements:
Students with Disabilities: If there
is
any student in this course who, because of a disability, may have a
need
for special accommodations, please contact the Paul Menton
Centre
to obtain a Letter of Accommodation for any special arrangements".
Please
check for deadlines with them.
http://www.scs.carleton.ca/~maheshwa