CS 310-0

Miguel A. Lerma - Winter 2003

Section 20

MWF 10:00 am - Annenberg (ANN) G29

T 10:00 am - Annenberg (ANN) G29


This is the web page for CS 310, Winter 2003.
Consult it often for announcements, homework assignments and possible changes to the syllabus.




Click the following link and tell me your thoughts:


Course Description

725-310-0 Mathematical Foundations of Computer Science

Basic concepts of finite and structural mathematics. Sets, axiomatic systems, the propositional and predicate calculi, and graph theory. Application to computer science: sequential machines, formal grammars, and software design. Prerequisites: 725-110 or 725-111 and 435-214-3. Prerequisite for: 725-322, 725-332, 725-339, 725-343, 725-351.


Instructor Teaching Assistant
Name Miguel A. Lerma Pin Ren
Office Lunt 203 Computer Science Dept. Room 230
1890 Maple Ave.
Phone 1-8020 1-3296
E-mail mlerma at math dot northwestern dot edu p-ren@cs.northwestern.edu
Office Hours by appointment
M 3:00-5:00PM or by appointment
Teaching in ANN G29 ANN G29
Code N.A. 321

Class Logistics

Lectures and Homework Assignments

Note: I am going to be releasing notes ("Notes on Discrete Mathematics", in PDF format) that you can download by clicking in the links of the "subject" column of the syllabus bellow. The introduccion is in here:

Depending on various circumstances, the schedule shown bellow may experiment small modifications.

The "sections" listed on the 4th column are from Johnsonbaugh'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 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.

Related links

Email: mlerma at math dot northwestern dot edu