COMP 131
Fall 2010
| 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:
Quantitative Reasoning, Logical Reasoning
This course will describe the formal reasoning needed to understand abstract programming languages.
|
| Credit: 1 |
Gen Ed Area Dept:
NSM MATH |
| Course Format: Lecture | Grading Mode: Student Option |
| Level: UGRD |
Prerequisites: None |
|
Fulfills a Requirement for: None |
|
Past Enrollment Probability: Not Available |
| SECTION 01 | | Special Attributes: FYI |
Major Readings: Wesleyan RJ Julia Bookstore
To be announced
|
Examinations and Assignments:
To be announced |
| Instructor(s): Lipton,James Times: .M.W... 08:30AM-09:50AM; Location: SCIE72; |
| Total Enrollment Limit: 20 | | SR major: X | JR major: X | | |
| Seats Available: 5 | GRAD: X | SR non-major: X | JR non-major: X | SO: X | FR: 20 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|