---

[WesMaps 98/99 Home Page] [Course Search] [Course Search by CID]

Logic and Computation COMP131 FA

This is a First-Year Initiative course that 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

Last Updated on MAR-22-1999