COMP 131
Fall 2009 not offered
|
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: Lecture | Grading Mode: Student Option |
| Level: UGRD |
Prerequisites: None |
|
Fulfills a Major Requirement for: None |
Major Readings:
To be announced
|
Examinations and Assignments:
To be announced |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|