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
|