[ Wesleyan Home Page ] [ WesMaps Home Page ] [ WesMaps Archive ] [ Course Search ] [ Course Search by CID ]
Academic Year 2003/2004


Logic and Computation
COMP 131 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 motivated by the question, what is programming language? The final part of the course integrates the preceding two lines of thought.

MAJOR READINGS

To be announced

EXAMINATIONS AND ASSIGNMENTS

To be announced

COURSE FORMAT: Lecture

REGISTRATION INFORMATION

Level: UGRD    Credit: 1    Gen Ed Area Dept: NSM MATH    Grading Mode: Student Option   

Prerequisites: NONE

SECTION 01

Instructor(s): Lipton,James B   
Times: ..T.R.. 10:30AM-11:50AM;     Location: SCIE137
Reserved Seats:    (Total Limit: 20)
SR. major: 0   Jr. major: 0
SR. non-major: 0   Jr. non-major: 0   SO: 0   FR: 20

Special Attributes:
Curricular Renewal:    Quantitative Reasoning
FYI:    First Year Initiative:Seminar
Links to Web Resources For This Course.

Last Updated on MAR-19-2004


Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email

Copyright Wesleyan University, Middletown, Connecticut, 06459