Coursera - Introduction to Systematic Program Design - Part 1 (2013)
File List
| File | Size |
|---|---|
| soft/racket-5.3.5-bin-i386-win32.exe | 51.71 MB |
| video/5 - 10 - 04j HtDW With Compound Data.mp4 | 44.66 MB |
| video/1 - 1 - 01a Introduction.mp4 | 29.27 MB |
| video/5 - 4 - 04d HtDW Program Through main Function.mp4 | 29.22 MB |
| video/7 - 12 - 06l Backtracking Search.mp4 | 28.67 MB |
| video/7 - 5 - 06e More Helpers - Domain Knowledge.mp4 | 26.11 MB |
| video/4 - 1 - 02a How to Design Functions (Full Speed).mp4 | 25.22 MB |
| video/9 - 2 - 08b - Fractals.mp4 | 24.79 MB |
| video/8 - 13 - 07m Fold Functions.mp4 | 22.89 MB |
| video/9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.mp4 | 21.65 MB |
| video/9 - 12 - 08l - Sudoku -- Making the Wish List Come True 3.mp4 | 21.42 MB |
| video/4 - 2 - 02b How to Design Functions (Slow Motion).mp4 | 21.2 MB |
| video/5 - 7 - 04g Improving a World Program - Add on-key Option.mp4 | 21.07 MB |
| video/6 - 8 - 05h The Reference Rule Part 1.mp4 | 20.64 MB |
| video/6 - 6 - 05f Designing With Lists 1.mp4 | 20.57 MB |
| video/8 - 5 - 07e Local Expressions -- Encapsulation.mp4 | 20.41 MB |
| video/8 - 11 - 07k Using Built In Abstract Functions.mp4 | 20.27 MB |
| video/1 - 7 - 01g Booleans and if Expressions.mp4 | 20.25 MB |
| video/4 - 6 - 02f HtDF Examples - tall.mp4 | 19.82 MB |
| video/6 - 12 - 05l A Parlor Trick.mp4 | 19 MB |
| video/1 - 6 - 01f Function Definitions.mp4 | 18.56 MB |
| video/9 - 8 - 08h - Sudoku -- Template Blending.mp4 | 18.4 MB |
| video/2 - 8 - 03h Itemization Data Definitions.mp4 | 18.36 MB |
| video/6 - 10 - 05j The Reference Rule Part 3.mp4 | 18.18 MB |
| video/8 - 10 - 07j Abstraction from Examples - 3.mp4 | 18.13 MB |
| video/6 - 3 - 05c A First List Data Definition.mp4 | 18.1 MB |
| video/7 - 4 - 06d More Helpers - Operating on a List.mp4 | 17.99 MB |
| video/2 - 1 - 03a cond Expressions.mp4 | 17.04 MB |
| video/2 - 11 - 03k HtDF With Itemization.mp4 | 16.56 MB |
| video/1 - 4 - 01d Strings and Images.mp4 | 16.34 MB |
| video/6 - 9 - 05i The Reference Rule Part 2.mp4 | 16.29 MB |
| video/6 - 5 - 05e Revising the Recipes for Lists.mp4 | 16.18 MB |
| video/1 - 2 - 01b Expressions.mp4 | 15.81 MB |
| video/5 - 5 - 04e HtDW Working Through the Wish List.mp4 | 15.66 MB |
| overview.pdf | 15.24 MB |
| video/9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.mp4 | 15.12 MB |
| video/2 - 7 - 03g Enumeration Data Definitions.mp4 | 15.12 MB |
| video/9 - 13 - 08z - Summary.mp4 | 15.04 MB |
| video/1 - 5 - 01e Constant Definitions.mp4 | 14.88 MB |
| video/9 - 10 - 08j - Sudoku -- Making the Wish List Come True 1.mp4 | 14.7 MB |
| video/7 - 10 - 06j Functions on Mutually Recursive Data - Part 1.mp4 | 14.65 MB |
| video/6 - 11 - 05k Natural Numbers.mp4 | 14.55 MB |
| video/1 - 3 - 01c - Evaluation.mp4 | 14.49 MB |
| video/7 - 8 - 06h Mutually Recursive Data.mp4 | 14.34 MB |
| video/7 - 2 - 06b More Helpers - Function Composition.mp4 | 14.22 MB |
| video/7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.mp4 | 14.19 MB |
| video/8 - 12 - 07l Closures.mp4 | 13.47 MB |
| video/2 - 2 - 03b Data Definitions.mp4 | 13.22 MB |
| video/8 - 6 - 07f Local Expressions -- Avoid Recomputation.mp4 | 13.22 MB |
| video/2 - 3 - 03c Atomic Non-Distinct Data Definitions.mp4 | 13.09 MB |
| video/2 - 4 - 03d HtDF with Data Definition.mp4 | 13.03 MB |
| video/9 - 3 - 08c - Termination Arguments.mp4 | 12.95 MB |
| video/8 - 9 - 07i Abstraction from Examples - 2.mp4 | 12.9 MB |
| video/1 - 9 - 01i Discovering Primitives.mp4 | 12.87 MB |
| video/8 - 8 - 07h Abstraction from Examples - 1.mp4 | 12.67 MB |
| video/5 - 3 - 04c How to Design Worlds - Analysis.mp4 | 12.21 MB |
| video/5 - 2 - 04b The big-bang Mechanism.mp4 | 12.06 MB |
| video/6 - 4 - 05d A First Function Operating On a List.mp4 | 12.04 MB |
| video/4 - 5 - 02e HtDF Examples - image-area.mp4 | 11.96 MB |
| video/2 - 6 - 03f Interval Data Definitions.mp4 | 11.16 MB |
| video/2 - 5 - 03e HtDF Form of Data Orthogonality.mp4 | 10.31 MB |
| video/7 - 6 - 06f More Helpers - Wrap Up.mp4 | 10.04 MB |
| video/5 - 9 - 04i Compound Data Definitions.mp4 | 10.02 MB |
| video/5 - 6 - 04f Improving a World Program - Add SPEED.mp4 | 9.57 MB |
| video/2 - 12 - 03l Structure of Information Flows Through.mp4 | 9.19 MB |
| video/6 - 7 - 05g Positions in List Templates.mp4 | 9.03 MB |
| video/2 - 10 - 03j HtDF With Enumeration.mp4 | 9 MB |
| video/2 - 9 - 03i HtDF With Interval.mp4 | 9 MB |
| video/6 - 2 - 05b List Mechanisms.mp4 | 8.93 MB |
| video/5 - 1 - 04a Interactive Programs.mp4 | 8.02 MB |
| video/5 - 8 - 04h define-struct.mp4 | 8.01 MB |
| video/4 - 4 - 02d HtDF Examples - area.mp4 | 7.99 MB |
| video/8 - 4 - 07d Local Expressions -- Evaluation Rules.mp4 | 7.71 MB |
| video/1 - 8 - 01h Using the Stepper.mp4 | 7.45 MB |
| video/9 - 7 - 08g - Sudoku -- The Search Intuition.mp4 | 7.3 MB |
| video/8 - 3 - 07c Local Expressions -- Lexical Scoping.mp4 | 7.12 MB |
| video/7 - 3 - 06c Layout Out a List of Images.mp4 | 7.12 MB |
| video/7 - 9 - 06i Templating Mutual Recursion.mp4 | 6.57 MB |
| video/4 - 3 - 02c HtDF Examples - yell.mp4 | 6.48 MB |
| video/9 - 4 - 08d - Introduction to Search Problems.mp4 | 5.6 MB |
| video/9 - 1 - 08a - Generative Recursion.mp4 | 5.46 MB |
| video/7 - 7 - 06g List Abbreviations.mp4 | 5.04 MB |
| video/9 - 9 - 08i - Sudoku -- Making the Wish List.mp4 | 4.83 MB |
| video/8 - 2 - 07b Local Expressions -- Forming and Intuition.mp4 | 4.71 MB |
| video/6 - 1 - 05a Introduction to Arbitrary Sized Data.mp4 | 4.7 MB |
| video/7 - 1 - 06a More Helpers and Mutual Helpers.mp4 | 4.63 MB |
| video/9 - 5 - 08e - Sudoku -- Terminology.mp4 | 3.25 MB |
| video/8 - 7 - 07g Introduction to Abstraction.mp4 | 3.01 MB |
| video/8 - 1 - 07a Introduction to Local Expressions.mp4 | 1.72 MB |
| code/prob-solution/rolling-lambda-solution.rkt | 783.18 KB |
| code/prob-solution/rolling-lambda-without-geometry-solution.rkt | 781.85 KB |
| quizzes/06h.pdf | 780.08 KB |
| quizzes/05d.pdf | 735.02 KB |
| quizzes/06k.pdf | 693.07 KB |
| quizzes/07c.pdf | 676.81 KB |
| quizzes/07e.pdf | 667.68 KB |
| quizzes/03h.pdf | 667.24 KB |
| quizzes/06b.pdf | 646.42 KB |
| code/prob-starter/rolling-lambda-without-geometry-starter.rkt | 630.18 KB |
| code/prob-starter/rolling-lambda-starter.rkt | 630.06 KB |
Trackers
No trackers found.