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 firstorder 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 
Fall 2018  semester details 

schedule  WF 5:006:20PM in LECTURE THEATER 5B 
text  Discrete Mathematics and Its Applications 7th Edition by Kenneth Rosen, Global Edition adapted by Kamala Krithivasan 
documents  updated uploads 
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) 
contact  meeting by appointment 
mat258@mdvsamson.work  please send me your available times when requesting a meeting 
office hours  where and when I am in office 
announcements  
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:
