Spring 2011 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.
||Gen Ed Area Dept:
|Course Format: Lecture||Grading Mode: Student Option|
||Fulfills a Major Requirement for: None
To be announced
|Examinations and Assignments: |
To be announced.
|Additional Requirements and/or Comments: |
|Drop/Add Enrollment Requests|
|Total Submitted Requests: 0||1st Ranked: 0||2nd Ranked: 0||3rd Ranked: 0||4th Ranked: 0||Unranked: 0|