MCS 236

Relation-Based Structures

Fall 2000


Announcements

There will be no 10:30 Wednesday office hours on Oct. 11, Nov. 8, Dec. 6.

See Growth Graphs for illustrations of orders of growth.


Course description

Catalog description: This course introduces relation-based structures such as graphs, trees, and lattices, and introduces the student to techniques for proving mathematical theorems. Computer science majors should take this course before their junior year. (1 course)

As a component of the computer science curriculum, this course strongly emphasizes learning how to think abstractly and how to make and write proofs. MCS 236 and MCS 256 (Discrete Mathematics) together introduce much of the material traditionally called "discrete mathematics," providing a strong mathematical foundation for the in-depth study of computer science. Mathematicians will find the course to be of interest in its own right.

Instructor: John Holte

Textbooks

Class meetings

MCS 236 Syllabus--Fall 2000

Calendar

Click above to get the syllabus in calendar format.

Problem assignments

Problem assignments will be posted and updated at http://www.gac.edu/~holte/courses/mcs236/fall00/problems.html.

Homework and collaborative learning

Homework rules

Academic honesty

Writing

MCS 236 is a "W" course. Its writing component will be comprised of three parts: a proof portfolio, one short report, and one long paper.
  1. Proof portfolio--up to two revisions allowed
    1. Direct proof
    2. Proof by contrapositive
    3. Proof by contradiction
    4. Weak induction proof
    5. Strong induction proof
    6. Proof by cases
    7. Existence proof
    8. Other
  2. Short report (2 pages)--first draft & final copy In fall 2000, this will be a report on a Nobel Conference lecture or an essay on the role of computers in globalization.
  3. A long paper (5-10 pages)--first draft & final copy This paper should be on a topic related to MCS-236 but not covered in class. It should include an explanation of the proof of a substantial mathematical result in the student's own words.
  4. PROSE writing

 

Make-up policy

Grading