Home
Schedule
Assignments
Resources
 
Blackboard
 
academic.cs.15-122
 
fp@cs
Frank Pfenning
  

15-122 Principles of Imperative Computation
Schedule

The schedule is subject to change throughout the semester.

Date   Lecture or
  Recitation 		  Reading   Code   Assignment
Tue Jan 11   Overview   01-overview.pdf   code    
Wed Jan 12   Recitation: C0 on Andrew      
Thu Jan 13   Contracts   02-contracts.pdf   code   (Asst 0 out)
Fri Jan 14   Recitation: Reasoning with Loop Invariants      
Tue Jan 18   Ints   03-ints.pdf   none   Asst 1 out
Wed Jan 19   Recitation: Remove Red, C0 Operators      
Thu Jan 20   Arrays   none yet   code  
Fri Jan 21   Recitation: Shift Operators, More Invariants       Quiz 1
Tue Jan 25   Linear Search   05-linsearch.pdf   code   Asst 1 due
Wed Jan 26   Recitation: Linear Search      
Thu Jan 27   Binary Search   06-binsearch.pdf   code   Asst 2 out
Fri Jan 28   Recitation: Binary Search       Quiz 2
Tue Feb 1   Sorting   07-sorting.pdf   code  
Wed Feb 2        
Thu Feb 3   Quicksort   08-qsort.pdf   code   Asst 2 due
Fri Feb 4   Recitation: Quicksort Invariants (pdf)      
Tue Feb 8   Queues   09-queues.pdf   code   Asst 3 out
Wed Feb 9        
Thu Feb 10   Stacks   10-stacks.pdf   code  
Fri Feb 11         Quiz 3
Tue Feb 15   Memory Layout   none yet     Asst 3 due
Wed Feb 16        
Thu Feb 17   Midterm 1   mt1.pdf   sample solution  
Fri Feb 18        
Tue Feb 22   Unbounded Arrays   12-ubarrays.pdf   code  
Wed Feb 23        
Thu Feb 24   Hash Tables   13-hashtables.pdf   code (Lec.14)   Asst 4 out
Fri Feb 25         Quiz 4
Tue Mar 1   Interfaces   14-interfaces.pdf   code  
Wed Mar 2        
Thu Mar 3   Priority Queues   15-priorqs.pdf   code (Lec.16)   Asst 4 due,
  Asst 5 out
Fri Mar 4   Midsemester Break      
Tue Mar 8   Spring Break      
Wed Mar 9   Spring Break      
Thu Mar 10   Spring Break      
Fri Mar 11   Spring Break      
Tue Mar 15   Restoring Invariants   16-resinvs.pdf   code  
Wed Mar 16        
Thu Mar 17   Binary Search Trees   17-bst.pdf   code  
Fri Mar 18         Quiz 5
Tue Mar 22   AVL Trees   18-avl.pdf   code   Asst 5 due,
  Asst 6 out
Wed Mar 23        
Thu Mar 24   Testing   19-testing.pdf   code  
Fri Mar 25         Quiz 6
Tue Mar 29   Polymorphism   20-poly.pdf   code   Asst 6 due
Wed Mar 30        
Thu Mar 31   Midterm 2   mt2.pdf   mt2-sol.pdf  
Fri Apr 1         Asst 7 out
Tue Apr 5   Memory Management   21-mem.pdf   code  
Wed Apr 6        
Thu Apr 7   Generic Data Structures   22-generic.pdf   code  
Fri Apr 8         Quiz 7
Tue Apr 12   Virtual Machines   23-c0vm.pdf   code   Asst 7 due
Wed Apr 13         Asst 8 out
Thu Apr 14   Spring Carnival      
Fri Apr 15   Spring Carnival      
Tue Apr 19   Tries   24-tries.pdf   code  
Wed Apr 20        
Thu Apr 21   Binary Decision Diagrams   25-bdds.pdf   none  
Fri Apr 22         Quiz 8
Tue Apr 26   Spanning Trees   26-spanning.pdf   none  
Wed Apr 27        
Thu Apr 28   Union-Find   27-unionfind.pdf   code  
Fri Apr 29         Asst 8 due
Tue May 3   Final 1:00pm-4:00pm, UC McConomy    

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

fp@cs
Frank Pfenning