15-122 Principles of Imperative Computation

Fall 2010
Frank Pfenning
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.


What's New?

Course Material

Schedule Lecture schedule, slides, 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
Textbook There is no course textbook
Occasional lecture notes and other resources will be provided
Recitations Section A - Wed 9:30-10:20, GHC 5201
Section B - Wed 10:30-11:20, GHC 5201
Section C - Wed 1:30-2:20, GHC 5205
Section D - Wed 3:30-4:20, GHC 5205
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 150 points, Thu Sep 30 during lecture time
exam, sample solution
Midterm 2 150 points, Thu Nov 4 during lecture time
exam, sample solution
Final 250 points, Fri Dec 10, 5:30pm-8:30pm, GHC 4401
exam, sample solution
Home http://www.cs.cmu.edu/~fp/courses/15122-f10/
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

  Frank Pfenning
Contact fp@cs
Office GHC 9101
Office Hours Mon 1:30-2:30
   

Teaching Assistants

  Contact Office Hours
Tom Cortina tcortina@cs Tue Thu 1:00-2:30
GHC 6017
William Lovas wlovas@cs Wed 4:30-6:30
GHC 9110
Thomas Tuttle ttuttle@andrew Tue Thu 6:30-9:30
GHC 5201 or GHC 5205

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

fp@cs
Frank Pfenning