Instructor:
Lectures:
Email:
Office Hours:
Office:
Tutorials:
Jing Yang
MWF 9:30-10:30am CLH C
jyang at cse.yorku.ca
MWF 11:00-noon
CSEB 2018
Thursday 1:30-2:30pm Ross South 103
-
The best way to discuss the course content with me is to see me during my office hours.
-
For other requests, such as appointment arrangement or “I cannot make the test”, you may contact me by emails.
-
I will NEVER answer emails sent from non-York accounts. Please start your subject line with “[1019]” and sign the email with the name you used to register for the class. Send the email in plain text, without attachments.
Course Description
Introduction to abstraction; use and development of precise formulations of mathematical ideas; informal introduction to logic; introduction to naïve set theory; induction; relations and functions; big O-notation; recursive definitions, recurrence relations and their solutions; graphs and trees.
The detailed list of topics includes
-
1.Proof techniques (without using a formal system)
-
proof by contradiction
-
proof by cases
-
proving implications
-
proving statements with quantifiers
-
mathematical induction on natural numbers
-
2.Naïve set theory
-
proving that one set is a subset of another
-
proving equality of two sets
-
basic operations on sets (union, intersection, Cartesian product, power sets, etc.)
-
cardinality of sets (finite and infinite)
-
strings
-
3.Functions and relations
-
review of basic definitions (relation, function, domain, range, functions, 1-1 correspondence, function composition, closures of relations, etc.)
-
equivalence relations
-
4.Asymptotic notation
-
big-O, big-Ω, big-Θ notation
-
proving f is in O(g), proving f is not in O(g)
-
classifying functions into a hierarchy of important classes, e.g., O(1), O(log n), O(√n), O(n), O(n2), O(nO(1)), O(2n)
-
5.Recursive definitions and solving recurrences
-
recursive definitions of mathematical objects
-
solving simple recurrences
-
bounding divide-and-conquer recurrences of the form f(n) = af(n/b) + g(n), for constants a and b.
-
using structural induction on recursively defined objects
-
6.Sums
-
summation notation
-
computing and bounding simple sums
-
7.Elementary graph theory
-
basic definitions of graphs
-
proving simple facts about graphs
-
trees
Textbook: Kenneth H. Rosen. Discrete Mathematics and Its Applications, Sixth Edition. McGraw-Hill, 2007. There is a list of errata on this site.
Important Dates
Sep. 13
Sep. 26
Oct. 8
Oct. 9 - 15
Nov. 5
Nov. 12
Dec. 3
Dec. 10
Dec. 17
Classes start
Last day to enroll
Test 1 (tentative)
Reading week (no classes)
Test 2 (tentative)
Last day to drop without receiving a grade
Test 3 (tentative)
Classes end
Final exam
Evaluation
Assignments
Test 1
Test 2
Test 3
Final exam
20%
10%
15%
15%
40%
Note: Missed tests with good reason (normally medical, and well documented) will have their weight transferred to the final exam. There are no “make up”tests. Tests missed for no reason are deemed to have been written and failed and are marked “0”(F).
Follow these links to familiarize yourselves with Senate’s expectations regarding Academic Honesty, but also with other Senate policies, in particular, with those about Academic Accommodation for Students with Disabilities, Religious Accommodation and Repeating Passed or Failed Courses for Academic Credit.