Course Modules

Lecture 1 [Mon 8/24]: Course Overview

Lecture 1 [Mon 8/24]: Course Overview
Module Completed Module In Progress Module Locked
Lecture 1 [Mon 8/24]: Course Overview 545239    
  • cs5959_lecture_01.pdf
    cs5959_lecture_01.pdf cs5959_lecture_01.pdf
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Triangle Classifier
    Triangle Classifier Triangle Classifier
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Lecture 2 [Wed 8/26]: Reviewing SMACK

Lecture 2 [Wed 8/26]: Reviewing SMACK
Module Completed Module In Progress Module Locked
Lecture 2 [Wed 8/26]: Reviewing SMACK 545240    

Lecture 3 [Mon 8/31]: Triangle Classifier Code Reviews

Lecture 3 [Mon 8/31]: Triangle Classifier Code Reviews
Module Completed Module In Progress Module Locked
Lecture 3 [Mon 8/31]: Triangle Classifier Code Reviews 545241    

Lecture 4 [Wed 9/2]: Triangle Classifier Code Reviews

Lecture 4 [Wed 9/2]: Triangle Classifier Code Reviews
Module Completed Module In Progress Module Locked
Lecture 4 [Wed 9/2]: Triangle Classifier Code Reviews 545242    
  • Code Review for Triangle Classifiers
    Code Review for Triangle Classifiers Code Review for Triangle Classifiers
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Improved Triangle Classifier
    Improved Triangle Classifier Improved Triangle Classifier
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Lecture 5 [Mon 9/14]: Testing and Assertions

Lecture 5 [Mon 9/14]: Testing and Assertions
Module Completed Module In Progress Module Locked
Lecture 5 [Mon 9/14]: Testing and Assertions 545243    
  • cs5959_lecture_05.pdf
    cs5959_lecture_05.pdf cs5959_lecture_05.pdf
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Writing Good Assertions
    Writing Good Assertions Writing Good Assertions
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Lecture 6 [Wed 9/16]: Coverage

Lecture 6 [Wed 9/16]: Coverage
Module Completed Module In Progress Module Locked
Lecture 6 [Wed 9/16]: Coverage 551547    
  • cs5959_lecture_06.pdf
    cs5959_lecture_06.pdf cs5959_lecture_06.pdf
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Lecture 8 [Wed 10/7]: Floating-point Numbers

Lecture 8 [Wed 10/7]: Floating-point Numbers
Module Completed Module In Progress Module Locked
Lecture 8 [Wed 10/7]: Floating-point Numbers 551543    
  • cs5959_lecture_08.pdf
    cs5959_lecture_08.pdf cs5959_lecture_08.pdf
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Lecture 9 [Mon 10/19]: Implementing a SAT Solver

Lecture 9 [Mon 10/19]: Implementing a SAT Solver
Module Completed Module In Progress Module Locked
Lecture 9 [Mon 10/19]: Implementing a SAT Solver 551540    
  • cs5959_lecture_09.pdf
    cs5959_lecture_09.pdf cs5959_lecture_09.pdf
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • SAT Solver
    SAT Solver SAT Solver
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Lecture 10 [Mon 11/23]: Design by Contract

Lecture 10 [Mon 11/23]: Design by Contract
Module Completed Module In Progress Module Locked
Lecture 10 [Mon 11/23]: Design by Contract 557267    
  • cs5959_lecture_10.pdf
    cs5959_lecture_10.pdf cs5959_lecture_10.pdf
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Lecture 11 [Mon 12/7]: Checking Concurrent Programs

Lecture 11 [Mon 12/7]: Checking Concurrent Programs
Module Completed Module In Progress Module Locked
Lecture 11 [Mon 12/7]: Checking Concurrent Programs 560547    
  • cs5959_lecture_11.pdf
    cs5959_lecture_11.pdf cs5959_lecture_11.pdf
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
 
minimum score must view must submit must contribute