Session | Units | Section | Mini | Days | Begin | End | Teaching Location | Bldg/Room | Instructor | |
---|---|---|---|---|---|---|---|---|---|---|
12.0 | E | MTWRF | 09:30AM | 10:50AM | Pre-College Pittsburgh | TEP 1403 |
|
|||
MTWRF | 03:30PM | 04:50PM | Pre-College Pittsburgh | TBA |
|
|||||
summer two | U | MTWRF | 09:30AM | 10:50AM | Pittsburgh, Pennsylvania | TEP 1403 |
|
|||
summer two | MTWRF | 03:30PM | 04:50PM | Pittsburgh, Pennsylvania | TBA |
|
||||
summer two | UU | MTWRF | 09:30AM | 10:50AM | Pittsburgh, Pennsylvania | TEP 1403 |
|
|||
summer two | MTWRF | 03:30PM | 04:50PM | Pittsburgh, Pennsylvania | TBA |
|
||||
summer all | V | MTWRF | 09:30AM | 10:50AM | Pittsburgh, Pennsylvania | TEP 1403 |
|
|||
summer all | MTWRF | 03:30PM | 04:50PM | Pittsburgh, Pennsylvania | TBA |
|
For students with a basic understanding of programming (variables, expressions, loops, arrays, functions). Teaches imperative programming and methods for ensuring the correctness of programs. Students will learn the process and concepts needed to go from high-level descriptions of algorithms to correct imperative implementations, with specific application to basic data structures and algorithms. Much of the course will be conducted in a subset of C amenable to verification, with a transition to full C near the end. This course prepares students for 15-213 and 15-210. NOTE: students must achieve a C or better in order to use this course to satisfy the pre-requisite for any subsequent Computer Science course.
Section | Restriction |
---|---|
E | Some reservations are for Students in PRE |
U | Some reservations are for Students |
U | Some reservations are for Students in SCS |
UU | Some reservations are for Students in SCS |
UU | Some reservations are for Students |
V | Some reservations are for Students in SCS |
V | Some reservations are for Students |