COMP 212
Spring 2014
| Section:
01
|
| Certificates: Informatics and Modeling |
This is the second course in a two-course sequence (COMP 211-212) that is the gateway to the computer science major. It is intended for Computer Science majors and others who want an in-depth understanding of programming and Computer Science. Topics to be covered in COMP 211-212 include an introduction to the fundamental ideas of programming in imperative and functional languages; correctness and cost specifications; and proof techniques for verifying specifications.
Specifics such as choice of programming language, which topics are covered in which semesters, etc., will vary according to the tastes of the faculty offering the two courses. |
|
| Credit: 1 |
Gen Ed Area Dept:
NSM MATH |
| Course Format: Lecture | Grading Mode: Graded |
| Level: UGRD |
Prerequisites: COMP211 |
|
Fulfills a Requirement for: (CADS)(COMP)(DATA-MN)(IDEA-MN)(IDEA-EE)(INFO-MN)(MATH)(NS&B)(STS) |
|
Past Enrollment Probability: Not Available |
| SECTION 01 |
| Major Readings: Wesleyan RJ Julia Bookstore
| Additional Requirements and/or Comments:
Because of the non-programming topics that are addressed in COMP 211, permission to take COMP 212 without having taken COMP 211 will be decided on a case-by-case basis by the instructor. COMP 112 is not typically acceptable as a prerequisite for this course. This course may have additional laboratory sections. |
| Instructor(s): Danner,Norman Times: ..T.R.. 02:40PM-04:00PM; Location: HALL84; |
| Total Enrollment Limit: 30 | | SR major: 0 | JR major: 0 | | |
| Seats Available: 1 | GRAD: X | SR non-major: 2 | JR non-major: 2 | SO: 16 | FR: 10 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|