15-122 Principles of Imperative Computation

Spring 2012 - text
Instructors: Andre Platzer
Ananda Gunawardena
Lecture, TuTh 9:00-10:20, GHC 4401
10 units

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.

Final Exam is scheduled for Friday, May 11 5:30- 8:30 p.m. in UC McConomy

Course Material

Course Syllabus Learning outcomes, Programming Language, course material, Student Evaluation, Summarized schedule
Schedule Lecture and recitation schedule, readings, and code
Assignments Details of assignments, due dates, and policies
Resources Additional course resources

Course Information

Lectures Tue Thu 9:00-10:20, GHC 4401 (Rashid Auditorium)
Textbook There is no course textbook
Lecture notes and other resources will be provided
Recitations Section H - Wed Fri 8:30-9:20 AM, GHC 5222
Section A - Wed Fri 9:30-10:20, GHC 5222
Section B - Wed Fri 10:30-11:20,GHC 5222
Section C - Wed Fri 11:30-12:20,GHC 5222
Section D - Wed Fri 12:30-1:20 PM, GHC 5222
Section E - Wed Fri 1:30-2:20, GHC 5222
Section F - Wed Fri 2:30-3:20, GHC 5222
Section G - Wed Fri 3:30-4:20, GHC 5222
Credit 10 units
Grading 10% Quizzes, 20% Midterms, 25% Final, 45% Assignments
Assignments There are 8 assignments worth a total of 450 points
Quizzes There are 8 quizzes worth a total of 100 points
Quizzes will be taken online on Blackboard
The lowest quiz score will be dropped
Midterm 1 100 points, Feb 23 during lecture time
Closed book, one double-sided sheet of notes permitted
Midterm 2 100 points, Apr 05 during lecture time
Closed book, one double-sided sheet of notes permitted
Final 250 points, Place/Date/Time TBD
Closed book, one double-sided sheet of notes permitted
Final, sample solution
Home http://andrew.cmu.edu/course/15-122/
Blackboard http://www.cmu.edu/blackboard/
Used only for tracking of grades and quizzes
Newsgroup academic.cs.15-122
Directory /afs/andrew.cmu.edu/course/15/122/


Instructor Andre Platzer
Contact aplatzer@cs
Office GHC 9103
Office Hours Tue 1-2 PM
Instructor Ananda Gunawardena
Contact guna@cs
Office GHC 6005
Office Hours Due to travel, my office for next two weeks are
Whenever my office door is open
call before you come 412-268-1559

Teaching Assistants

Section TA Contact Office Hours Location
H 8:30 Guna
Nivedita Chopra
niveditc@andrew SUN 6-10 PM GHC 5201
A 9:30 Brian Cohen bscohen@andrew TUE 4:30-5;30 PM
THU 4:30-5:30
West Wing Cluster
B 10:30 Guna
Luke Serafin
lserafin@andrew TUE 6-10 PM GHC 5201
C 11:30 Erik Zawadzki epz@cs MON, 2-4 PM GHC 9225
D 12:30 Alex Cappiello acappiel@andrew MON, THU 4:30-5:30 GHC 4126
E 1:30 Michael Nye mnye@andrew WED 4:30-6:30 GHC 5201
F 2:30 Jonathan Yee jyee1@andrew WED 6-10 PM GHC 5201
G 3:30 Caroline Buckey cbuckey@andrew MON,WED 4:30-5:30PM GHC 5201

Course Assistants

CA Contact Cluster Hours Location
Truman Thames tthames@andrew MON 6-10 PM GHC 5201
Daniel Santoro daniel.d.santoro@gmail.com THU 7-11 PM GHC 5201
Vijay Thurimella vthurime@andrew TUE, THU 8-10 PM GHC 5201
Raj Agarwal rajagarw@andrew SUN 6-10PM GHC 5201
Maria Khutoretsky mkhutore@andrew SAT 4-6 PM, WED 6-8 PM GHC 5201
James Komianos jkomianos@gmail.com SUN 8-10 PM, THU 6-8 PM GHC 5201

[ Home | Schedule | Assignments | Resources ]
[ Blackboard | academic.cs.15-122 ]

Andre Platzer

Ananda Gunawardena