This is the first course in a two-course sequence (COMP211-212) that is the gateway to the computer science major. It is intended for prospective computer science majors and others who want an in-depth understanding of programming and computer science. Topics to be covered in COMP211-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 courses.

Credit: 1

Gen Ed Area Dept:
NSM MATH

Course Format: Lecture

Grading Mode: Graded

Level: UGRD

Prerequisites: COMP112 OR COMP113 OR COMP115

Fulfills a Major Requirement for: (BIOL)(COMP)(DATA-MN)(IDEA-MN)(MATH)(NS&B)

Additional Requirements and/or Comments: Some previous acquaintance with computer programming is highly recommended. In addition, some degree of mathematical maturity will be expected. Most students will be concurrently enrolled in a Calculus course.

The ultimate enrollment cap for this course is 30. Students unable to enroll during pre-registration (including Juniors and Seniors) will be admitted to this class during Drop/Add. Such students must submit a ranked enrollment request during Drop/Add.