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? Fall 2011 version of this course.

Spring 2011 version of this course.

(Tue 08/24) Website created 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