Course Modules
Lecture 1 [Mon 8/24]: Course Overview
Lecture 1 [Mon 8/24]: Course Overview
Module Completed
Module In Progress
Module Locked
-
AssignmentTriangle Classifier Triangle ClassifierScore 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 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 4 [Wed 9/2]: Triangle Classifier Code Reviews
Lecture 4 [Wed 9/2]: Triangle Classifier Code Reviews
Module Completed
Module In Progress
Module Locked
-
AssignmentCode Review for Triangle Classifiers Code Review for Triangle ClassifiersScore 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
-
AssignmentImproved Triangle Classifier Improved Triangle ClassifierScore 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
-
AssignmentWriting Good Assertions Writing Good AssertionsScore 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 8 [Wed 10/7]: Floating-point Numbers
Lecture 8 [Wed 10/7]: Floating-point Numbers
Module Completed
Module In Progress
Module Locked
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
-
AssignmentSAT Solver SAT SolverScore 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