CS 310-0
MATHEMATICAL FOUNDATIONS
OF COMPUTER SCIENCE

Miguel A. Lerma - Winter 2000

Section 20

Searle Room 2370
MWF 10:00 am
T 10:00 am

http://math.nwu.edu/~mlerma/courses/cs310-00w/


A Quote

[...] The story suggest that assertions, or simply Boolean expressions, are really needed in programming. But it is not enough to know how to write Boolean expressions; one needs to know how to reason with them, how to simplify them, to prove that one follows from another, and to prove that one is not true in some state, and so forth. And, later on, we will see that it is necessary a kind of assertion that it is not part of the usual Boolean expression language of Pascal, PL/1 or FORTRAN, the "quantified" assertion. [...] More importantly, the study of program correctness proofs has led to the discovery and elucidation of methods for developing programs. Basically one attempts to develop a program and its proofs hand-in-hand, with the proof ideas leading the way! If the methods are practiced with care, they can lead to programs that are free of errors, that take less time to develop and debug, and that are much more easily understood (by those who have studied the subject).

David Gries: The Science of Programming. Part O:
Why Use Logic? Why Prove Programs Correct?


Announcements


Feedback

Click the following link and tell me your thoughts:


Feedback


Index


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-A10 or 725-A11 and 435-B14-3. Prerequisite for: 725-C22, 725-C32, 725-C39, 725-C43, 725-C51. Course director: Brad Adelberg


Teachers

Instructor Teaching Assistant
Name Miguel A. Lerma Dianwen Zhu
Office Lunt 203 Lunt B10
Phone 1-8020 7-1956
E-mail mlerma@math.nwu.edu zhudw@math.nwu.edu
Office Hours M Tu F - by appointment;
Th 12:00-1:00pm
T 1:30-2:30, Th 2:30-3:30, F 3-4
Teaching in Searle Room 2370 Searle Room 2370


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 table of contents and the introduction are here:

If you want to have the whole set of notes posted up to now in a single document, click here.

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

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


Related links


Email: mlerma@math.nwu.edu