725-310-0 Mathematical Foundations of Computer Science
Fundamental concepts and tools in discreet mathematics with emphasis on their applications to computer science. Topics include logic and Boolean circuits; sets, functions, relations, databases, and finite automata: deterministic algorithms, randomized algorithms, and analysis techniques based on counting methods and recurrence equations; trees and more general graphs. Prerequisites: 725-110 or 725-111 and 435-214-3. Prerequisite for: 725-322, 725-332, 725-339, 725-343, 725-351.
|Name||Miguel A. Lerma||David Feng|
|mlerma at math dot northwestern dot firstname.lastname@example.org|
in Lunt 203
in Tech Express
|Teaching in||TECH M120||TECH M164|
Keneth H. Rosen: Discrete Mathematics and Its Applications, Fifth Edition, 2003, McGraw-Hill.
Miguel A. Lerma: Notes on Discrete Mathematics. (See bellow.)
The problem sessions will be held on Tuesdays under the TA's supervision.
The homework assignments will be posted on this web page.
There will be one one-hour Midterm Exam and one two-hour Final Exam.
No make-up exams will be given. In the event of an extreme and well documented absence (such as hospitalization) the final may be weighted to count for the missing exam. In the case of a missed exam, contact the instructor as soon as possible.
The course will be graded as follows:
The lowest homework score will be dropped in calculating the homework grade.
If you want to change sections, or add/drop the course, please do so at the CS Department Office.
Depending on various circumstances, the schedule shown bellow may experiment small modifications.
The "sections" listed on the 4th column are from Rosen's book.
The "Suggested Exercises" column contains some exercises from the book that you may find useful to try. They are not homework nor need to be turned in.
The appendix is here.
The complete set of notes is here. However I do not recommend to download the whole set until the end of the quarter, since I may still make some changes to the notes.
Email: mlerma at math dot northwestern dot edu