| |
15-122 Principles of Imperative Computation
| Spring 2011 |
| 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 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 |
| Textbook |
There is no course textbook
Lecture notes and other resources will be provided
|
| Recitations |
Section A - Wed Fri 10:30-11:20, WeH 5310
Section B - Wed Fri 11:30-12:20, WeH 5310
Section C - Wed Fri 12:30-1:20, WeH 5310
Section D - Wed Fri 1:30-2:20, WeH 5310
Section E - Wed Fri 2:30-3:20, WeH 5310
|
| 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 17 during lecture time
Closed book, one double-sided sheet of notes permitted
Midterm 1, sample solution
|
| Midterm 2 |
100 points, Mar 31 during lecture time
Closed book, one double-sided sheet of notes permitted
|
| Final |
250 points, Tuesday, May 3, 1:00pm-4:00pm, UC McConomy
Closed book, one double-sided sheet of notes permitted
Final, sample solution
|
| Home |
http://www.cs.cmu.edu/~fp/courses/15122-s11/ |
| 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 |
Fri 12:00-1:30 (except Thu 12:00-1:30 in week 1) |
| |
|
Teaching Assistants
| Section |
TA |
Contact |
Office Hours |
Location |
| A 10:30 |
Tom Cortina | tcortina@cs |
Tue 2:00-3:30
Thu 2:00-3:30
|
GHC 6017 |
| B 11:30 |
Karl Naden | kbn@cs |
Mon 2:30-3:30
Fri 2:30-3:30
|
GHC 7709 |
| C 12:30 |
William Lovas | wlovas@cs |
Wed 4:30-6:30 | GHC 9110 |
| D 1:30 |
Jacob Potter | jdpotter@andrew |
Tue 5:00-6:00
Wed 5:00-6:00
|
GHC 6111 |
| E 2:30 |
Ananda Gunawardena | guna@andrew |
Tue 10:30-12:00
Thu 10:30-12:00
|
GHC 6005 |
Course Assistants
| CA |
Contact |
Cluster Hours |
Location |
| Bill Zorn | waz@andrew |
Mon 6:30-9:30 | GHC 5201 or GHC 5205 |
| Jason Chow | jmchow@andrew |
Tue 6:30-9:30 | GHC 5201 or GHC 5205 |
| Thomas Tuttle | ttuttle@andrew |
Wed 6:30-9:30 | GHC 5201 or GHC 5205 |
| Sri Raghavan | srikrish@andrew |
Thu 6:30-9:30 | GHC 5201 or GHC 5205 |
| Jason Koenig | jrkoenig@andrew |
Tue or Thu 6:30-9:30 | GHC 5201 or GHC 5205 |
[ Home
| Schedule
| Assignments
| Resources
]
[
Blackboard
| academic.cs.15-122
]
fp@cs
Frank Pfenning
|