| |
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/ |
Instructors
| 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
]
aplatzer@cs
Andre Platzer
guna@cs
Ananda Gunawardena
|