WesMaps - Wesleyan University Catalog 2008-2009       Summer Session       Winter Session       Home       Archive       Search
CS92PROD
Logic and Computation
COMP 131
Fall 2008
Section: 01  

This First-Year Initiative course 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.

Essential Capabilities: Logical Reasoning, Quantitative Reasoning
This course will describe the formal reasoning needed to understand abstract programming languages.
Credit: 1 Gen Ed Area Dept: NSM MATH
Course Format: LectureGrading Mode: Student Option
Level: UGRD Prerequisites: None
Fulfills a Major Requirement for: None
Past Enrollment Probability: Not Available

Last Updated on AUG-12-2020
Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email ? Wesleyan University, Middletown, Connecticut, 06459