COMP 301
Spring 2009
| Section:
01
|
| Crosslisting:
COMP 500 |
This course is an introduction to formalisms studied in computer science and mathematical models of computing machines. The language formalisms discussed include regular, context-free, context-sensitive, and recursively enumerable languages. The machines discussed include finite-state, pushdown and linear-bounded automata, and Turing machines. |
|
Essential Capabilities:
Logical Reasoning, Quantitative Reasoning
This course will focus on the creation of specific and general computational models and will train students in the mastery of their concrete and formal descriptions.
|
| Credit: 1 |
Gen Ed Area Dept:
None |
| Course Format: Lecture | Grading Mode: Graded |
| Level: UGRD |
Prerequisites: COMP211 AND MATH228 |
|
Fulfills a Major Requirement for: (COMP)(IDEA-MN)(IDEA-EE)(INFO-MN)(MATH)(NS&B)(STS) |
|
Past Enrollment Probability: Not Available |
| SECTION 01 |
Major Readings: Wesleyan RJ Julia Bookstore
To be announced
|
Examinations and Assignments:
To be announced |
Additional Requirements and/or Comments:
not known |
| Instructor(s): Aaron,Eric Times: .M.W... 11:00AM-12:20PM; Location: SCIE339; |
| Total Enrollment Limit: 20 | | SR major: 0 | JR major: 0 | | |
| Seats Available: 9 | GRAD: 0 | SR non-major: 9 | JR non-major: 9 | SO: 2 | FR: 0 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|