Units Section Mini Days Begin End Teaching Location Bldg/Room Instructor
12.0 Lec 1 TR 09:30AM 10:50AM Pittsburgh, Pennsylvania DH 2210
  • Cervesato, Iliano
  • Kohlbrenner, Anne
T 07:00PM 08:20PM Pittsburgh, Pennsylvania DH 2210
  • Cervesato, Iliano
  • Kohlbrenner, Anne
A F 09:00AM 09:50AM Pittsburgh, Pennsylvania WEH 4625
  • Kohlbrenner, Anne
  • Cervesato, Iliano
B F 10:00AM 10:50AM Pittsburgh, Pennsylvania PH A18B
  • Kohlbrenner, Anne
  • Cervesato, Iliano
C F 11:00AM 11:50AM Pittsburgh, Pennsylvania POS A35
  • Kohlbrenner, Anne
  • Cervesato, Iliano
D F 12:00PM 12:50PM Pittsburgh, Pennsylvania GHC 4301
  • Kohlbrenner, Anne
  • Cervesato, Iliano
E F 01:00PM 01:50PM Pittsburgh, Pennsylvania GHC 4301
  • Kohlbrenner, Anne
  • Cervesato, Iliano
F F 02:00PM 02:50PM Pittsburgh, Pennsylvania PH A18C
  • Kohlbrenner, Anne
  • Cervesato, Iliano
G F 03:00PM 03:50PM Pittsburgh, Pennsylvania PH A18C
  • Kohlbrenner, Anne
  • Cervesato, Iliano
H F 04:00PM 04:50PM Pittsburgh, Pennsylvania PH A18A
  • Kohlbrenner, Anne
  • Cervesato, Iliano
I F 05:00PM 05:50PM Pittsburgh, Pennsylvania PH A18B
  • Cervesato, Iliano
  • Kohlbrenner, Anne
S F 05:00PM 05:50PM Pittsburgh, Pennsylvania GHC 5222
  • Cervesato, Iliano
  • Kohlbrenner, Anne
Cancelled
T
F 08:00AM 08:50AM Pittsburgh, Pennsylvania GHC 4301
  • Cervesato, Iliano
  • Kohlbrenner, Anne
Cancelled
U
F 08:00AM 08:50AM Pittsburgh, Pennsylvania PH A18B
  • Kohlbrenner, Anne
  • Cervesato, Iliano
Lec 2 TR 11:00AM 12:20PM Pittsburgh, Pennsylvania DH 2315
  • Kohlbrenner, Anne
  • Cervesato, Iliano
T 07:00PM 08:20PM Pittsburgh, Pennsylvania DH 2315
  • Kohlbrenner, Anne
  • Cervesato, Iliano
J F 09:00AM 09:50AM Pittsburgh, Pennsylvania GHC 4301
  • Kohlbrenner, Anne
  • Cervesato, Iliano
K F 10:00AM 10:50AM Pittsburgh, Pennsylvania BH 235B
  • Kohlbrenner, Anne
  • Cervesato, Iliano
L F 11:00AM 11:50AM Pittsburgh, Pennsylvania BH 235A
  • Kohlbrenner, Anne
  • Cervesato, Iliano
M F 12:00PM 12:50PM Pittsburgh, Pennsylvania POS 146
  • Kohlbrenner, Anne
  • Cervesato, Iliano
N F 01:00PM 01:50PM Pittsburgh, Pennsylvania WEH 4625
  • Kohlbrenner, Anne
  • Cervesato, Iliano
O F 02:00PM 02:50PM Pittsburgh, Pennsylvania WEH 4625
  • Kohlbrenner, Anne
  • Cervesato, Iliano
P F 03:00PM 03:50PM Pittsburgh, Pennsylvania PH A18B
  • Kohlbrenner, Anne
  • Cervesato, Iliano
Q F 04:00PM 04:50PM Pittsburgh, Pennsylvania GHC 4211
  • Kohlbrenner, Anne
  • Cervesato, Iliano
Special Permission Required
No

Description:

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.

Prerequisites
15112
Corequisites
15151 , 21127 , 21128
Cross-Listed Courses
15122
Notes
Please reach out to Sara Kuntz (sgolembi@andrew.cmu.edu) with any registrat ion questions.

Reservations

Section Restriction
A Some reservations are for Freshmen in SCS
A Some reservations are for Students in TSB
A Some reservations are for Students in ECE
B Some reservations are for Freshmen in SCS
B Some reservations are for Students in CIT
B Some reservations are for Students in CFA
C Some reservations are for Students in MCS
C Some reservations are for Freshmen in SCS
D Some reservations are for Freshmen in SCS
E Some reservations are for Students in DC
E Some reservations are for Students in MCS
E Some reservations are for Students in CFA
E Some reservations are for Freshmen in SCS
E Some reservations are for Students in CIT
F Some reservations are for Freshmen in SCS
F Some reservations are for Students in MCS
F Some reservations are for Students in CIT
G Some reservations are for Students in CIT
G Some reservations are for Freshmen in SCS
I Some reservations are for Students in ECE
I Some reservations are for Freshmen in SCS
I Some reservations are for Students in MCS
I Some reservations are for Students in TSB
I Some reservations are for Students in ISP
I Some reservations are for Students in CFA
S Some reservations are for Freshmen in SCS
J Some reservations are for Students in DC
J Some reservations are for Students in ECE
J Some reservations are for Students in CFA
J Some reservations are for Students in CIT
J Some reservations are for Students with a primary major in INFOSYS
J Some reservations are for Students in TSB
J Some reservations are for Students in MCS
K Some reservations are for Students in DC
K Some reservations are for Students in ECE
K Some reservations are for Students in TSB
K Some reservations are for Students in CIT
K Some reservations are for Students in ISP
L Some reservations are for Students in DC
L Some reservations are for Students in CIT
L Some reservations are for Students in TSB
L Some reservations are for Students in MCS
L Some reservations are for Students
L Some reservations are for Students in ECE
L Some reservations are for Students in ISP
M Some reservations are for Students in ECE
M Some reservations are for Students in MCS
M Some reservations are for Students in CIT
M Some reservations are for Students in TSB
M Some reservations are for Students in DC
N Some reservations are for Students
N Some reservations are for Students in CIT
N Some reservations are for Students in TSB
N Some reservations are for Students in DC
N Some reservations are for Students in MCS
N Some reservations are for Students in ECE
O Some reservations are for Students in TSB
O Some reservations are for Students in ECE
O Some reservations are for Students
O Some reservations are for Students in CIT
O Some reservations are for Students in MCS
O Some reservations are for Students in DC
P Some reservations are for Students in TSB
P Some reservations are for Students in DC
P Some reservations are for Students in MCS
P Some reservations are for Students
P Some reservations are for Students in ECE
P Some reservations are for Students in CIT
Q Some reservations are for Students in MCS
Q Some reservations are for Students in DC
Q Some reservations are for Students
Q Some reservations are for Students in TSB
Q Some reservations are for Students in CIT
Q Some reservations are for Students in CFA