This syllabus presents the weekly topics and assignments. The details of the syllabus and adjustments will be filled in as the course proceeds.
Grading is explained in the course description.
The assignments are due on the day they are listed and the quizzes should be done online on Moodle by the end of the day that they are listed..
Text:
Connecting Discrete Mathematics and Computer Science, by David Liben-Nowell
old edition: Discrete Mathematics for Computer Science by David Liben-Nowell,
First Edition
Quizzes are on Moodle.
Classes meet: Section A at 1:20--2:35 MW and Section B at 2:45-4:00, MW
Labs: A: Lyboult, Tuesday, 9:20 - 11:10; C: Nevison, Weds. 11:20-1:10; D: Lyboult, Thursday 9:20-11:10
Office: 319B (off the student research lounge) Office hours : Mon 10:30- 12:30, Tues 1:00-2:00, Weds, 10:30-11:15
Evening student TA hours: Sunday, 5:30-7:00 pm (Omshi); Wednesdays, 7:30-9:00 (Tajveer)
date topic reading assignment/quiz
Aug 24 Get
syllabus and first assignment Chapter 1, Ch 2, sections 2.1,
2.2, problems to review: 2.2,2.4-2.7, 2.27,2.32,.2.36, 2.37, 2.51-2.53, 2.70, 2.80
solutions
28 Sets Ch2,
2.3 problem set:
2.99 - 2.104, 2.109- 2.113, 2.118 - 2.123, 2.137 - 2.139
Something from Nothing solutions
29/30 Lab00
lab files
30 Sequences,
Relations, Functions Ch2, sections 2.4 (skip 2.4.1 vectors and skip
2.4.2 matrices), 2.5
problems: 2.141-2.149,
2.224-2.227, 2.235-2.240, 2.254,2.256, 2.258,2.261, 2.269-2.274
solutions
Sept 1 Quiz 1 due (on moodle)
4 Propositional
Logic Ch3, sections 3.1, 3.2, 3.3
problems here solutions
5/6 Lab01 lab files
6 Predicate
logic
Ch 3, sections 3.4, 3.5
problems: 3.118-3.120 (old 3.12-3.14), 3.132-3.140 (old 3.125-3.133),
3.148-3.157,
(old 3.141.-3.150) , 3.191-3.192 (old 3.189-3.190) , 3.199 (old 3.192)
solutions
8 Quiz 2 due
11 Logic review
Ch3, 3.6
problems: 3.170-3.173 (old 3.163-3.166), 3.189-3.192 (old 3.187-3.190)
12/13 Lab02 lab2 files solutions
13 proof methods
Ch4, 4.1,4.3 problems:
4.33-4.39, 4.43, 4.45,4.51, 4.53 , 4.56, 4.57, 4.61, 4.65 (old are the same for all)
15 Quiz 3 due
18 proof practice
Ch4, 4.4, 4.5
problems: 4.68, 4.69, 4.80-4.81 (old 4.79-4.80), 4.83-4.84 (old 4.82-4.83)
19/20 Lab03 lab files solutions
20 Mathematical Induction Ch 5, 5.1,5.2,5.3 problems: 5.2-5.4,5.6, 5.33, 5.34, 5.37, 5.43(old 5.28, 5.29, 5.32, 5.38), 5.55 (old 5.46), 5.52 (old 5.48), 5.57 (old 5.51),
5.59 (old 5.53), 5.62 (old 5.56), 5.75 (old 5.69)
22 Quiz 4 due
25 more induction, Ch 5, 5.5
26/27 Lab04 lab files
27 Asymptotic Analysis Ch 6: 6.1, 6.2 problems: 6.5-6.10, 6.12-6.14, 6.19, 6.24 (old all the same numbers)
29 Quiz
5 due solutions
2 Asymptotic analysis of algorithms Ch 6, 6.3 problems: 6.55, 6.56, 6.58, 6.59,6.61,6.62 (old all the same numbers)
3/4 Lab05 lab files
4 Examples of Asymptotic analysis review
6 Quiz 6 due
9 Fall break
10/11 No Lab
11 Review proof methods
16 Midterm exam midterm solutions
17/18 No Lab
18 Introdution to Recurrence relations
23 Recurrence relations and recursive algorithms Ch 6, 6.4 problems: 6.80, 6.81, 6.83, 6.84, 6.102-6.104 (old all the same numbers)
24/25 Lab 6 lab files
25 The master theorem for recurrence relations problems: choose a few from 6.109-6.125 (same for old) at least one for each case of master theorem
27 Quiz 7 due
30 Counting Ch 9, 9.1,9.2, 9.3 problems: 9.2, 9.7, 9.12, 9.13, (old the same) 9.22, 9.23, 9.34 (old 9.19, 9.20, 9.31)
31/Nov1 Lab 7 lab files solutions
Nov1 Combinations, Permutations Ch 9, 9.4, 9.5
problems: 9.66-9.72 (old 9.63-9.69),9.78-9.81 (old 9.75-9.77), 9.83, 9.84 (old 9.80, 9.81), 9.95-9.100 (old 9.92-9.97,) 9.121 (old 9.114),
9.124-9.128 (old 9.121-9.125), 9.134-9.136 (old 9.131-9.133), 9.139-9.144 (old 9.136-9.141), 9.173-9.175 (old 9.170-9.172 )
3 Quiz
8 due solutions
6 Probability Ch10, 10.1, 10.2 problems: 10.1-10.4, 10.14-10.16,10.28,10.29, 10.41-10.45 (old are the same)
7/8 Lab 8 lab files solutions
8 Independence and Conditional Probability Ch 10, 10.3 problems: 10.53-10.69 (old are the same), 10.81-10.87 (old 10.80-10.86),
10.93, 10.94, 10.97-10.99 (old 10.92, 10.93, 10.96-10.98), BloomFilter
10 Quiz 9 due
13 Relations - Transitive Closure Ch8, 8.1, 8.2, 8.33, 8.35 problems: 8.1-8.17 (old the same)
14/15 Lab 9 lab files
15 Random Variables and Expected Value Ch10, 10.4, 10.5 problems: 10.106-10.111 (old 10.105-110), 10.123, 10.124, 10.138, 10.139 (old 10.122, 10.123, 10.136,10.137)
17 Quiz 10 due
18-26. Thanksgiving break
27 No class
28/29 Lab: finish lab 9, SETs
29 Relations and their properties Ch 8, 8.3 problems: 8.54-8.57, 8.63-8.66 8.81-8.84, 8.92-8.96 (old 8.53-8.56, 8.62-8.65. 8.80-8.83, 8.91-8.95)
Dec 1 Quiz 11 due
4 Ordering and Equivalence Relations Ch 8, 8.4, 8.5 problems:8.110-8.115, 8.124-8.128, 8.130, 8.136, 8.137 (old 8.109-114, 8.121-125, 8.127, 8.133.8.134 )
5/6 No Lab
6 Relations problems and Review
Final Exam: Tuesday, Dec 12. Section B 12:00-2:00, Section A 3:00-5:00
Office
hours : email for a zoom session. Mon 10:30- 12:30,
Wednesday 12:30-1:30, Thursday on request. Email to request a zoom session.