MAT 258 Discrete Mathematics
click headers
in the left column
to expand
or collapse
This course gives an introduction to several mathematical topics of foundational importance in the mathematical and computer sciences. Typically starting with propositional and first-order logic, the course considers applications to methods of mathematical proof and reasoning. Further topics include basic set theory, number theory, enumeration, recurrence relations, mathematical induction, generating functions, and basic probability. Other topics may include graph theory, asymptotic analysis, and finite automata.
Prerequisites: MAT 200 or MAT 230

schedule WF 5:00-6:20PM in LECTURE THEATER 5B
textDiscrete Mathematics and Its Applications 7th Edition
by Kenneth Rosen, Global Edition adapted by Kamala Krithivasan

course docs contains the syllabus and solutions to homework 1 through 5
slides sets and functions (tables and figures), number theory, relations (tables and figures) please send me your available times when requesting a meeting
office hours where and when I am in office
11 october 2018 This is a reminder that the first examination will be given tomorrow, October 12, at Lecture Theater 5B, from 5:00pm to 6:30pm. The examination covers relations, and some topics leading up to relations:
  • Chinese remainder theorem
  • properties of relations on a set: reflexivity, symmetry, antisymmetry, transitivity
  • representations of relations
  • closures of relations
  • equivalence relations and equivalence classes
  • partial orders, total orders and topological sorts, Hasse diagrams, special elements of posets: minima/maxima, greatest/least elements
There is no formula sheet. Bring a calculator if you will need it.