Logic and Computation COMP131 FA

Section  Limit  Enrollment  Available
  01       36      36         0

This is a first year initiative course which introduces some of the basic ideas in logic and computation and the connections between the two fields. The first part of the course discusses the formalization of mathematical reasoning. The second part presents the elements of computation. This includes programming in a dialect of LISP as well as a discussion of the notion of computability and of such themes as the scope and limits of computation, a (rigorous) proof that there are unsolvable problems, and some of the philosophical implications of developments in computer science. Students (with quite different backgrounds) are often surprised at the amount of programming and mathematics they master in this course. Nonetheless, no particular mathematical or computer background is assumed, and students from other areas (humanities, fine arts, etc.) have done as well or better than science students in this course.

MAJOR READINGS

EXAMINATIONS AND ASSIGNMENTS

ADDITIONAL REQUIREMENTS and/or COMMENTS

COURSE FORMAT: Discussion Lecture

REGISTRATION INFORMATION

Level: UG Credit: 1.00 Gen Ed Area & Dept: NSM MATH

Prerequisites: None

Section 01

Lipton, J

Times: .T.T... 2:40PM;

Grading Mode: A/F

Registration Preference (1 high to 6 low, 0=Excluded) Sr: 1, Jr: 1, So: 1, Fr: 1

No Major Preference Given

Last Updated on MAR-10-1997