Coursera - Introduction to Systematic Program Design - Part 1 (2013)

Creation Time	May 21, 2024, 9:44 p.m.
Last Access Time	Oct. 19, 2025, 9:38 p.m.
File Size	1.3 GB
Keywords	Part Introduction Coursera - 1 to Program Design Systematic 2013
Total Requests	283
Total Files	437
Magnet Link	Please wait ...
	Download (Magnet Link) Play (Watch Online)

soft/racket-5.3.5-bin-i386-win32.exe 51.7 MB
video/5 - 10 - 04j HtDW With Compound Data.mp4 44.7 MB
video/1 - 1 - 01a Introduction.mp4 29.3 MB
video/5 - 4 - 04d HtDW Program Through main Function.mp4 29.2 MB
video/7 - 12 - 06l Backtracking Search.mp4 28.7 MB
video/7 - 5 - 06e More Helpers - Domain Knowledge.mp4 26.1 MB
video/4 - 1 - 02a How to Design Functions (Full Speed).mp4 25.2 MB
video/9 - 2 - 08b - Fractals.mp4 24.8 MB
video/8 - 13 - 07m Fold Functions.mp4 22.9 MB
video/9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.mp4 21.6 MB
video/9 - 12 - 08l - Sudoku -- Making the Wish List Come True 3.mp4 21.4 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.1 MB
video/6 - 8 - 05h The Reference Rule Part 1.mp4 20.6 MB
video/6 - 6 - 05f Designing With Lists 1.mp4 20.6 MB
video/8 - 5 - 07e Local Expressions -- Encapsulation.mp4 20.4 MB
video/8 - 11 - 07k Using Built In Abstract Functions.mp4 20.3 MB
video/1 - 7 - 01g Booleans and if Expressions.mp4 20.2 MB
video/4 - 6 - 02f HtDF Examples - tall.mp4 19.8 MB
video/6 - 12 - 05l A Parlor Trick.mp4 19.0 MB
video/1 - 6 - 01f Function Definitions.mp4 18.6 MB
video/9 - 8 - 08h - Sudoku -- Template Blending.mp4 18.4 MB
video/2 - 8 - 03h Itemization Data Definitions.mp4 18.4 MB
video/6 - 10 - 05j The Reference Rule Part 3.mp4 18.2 MB
video/8 - 10 - 07j Abstraction from Examples - 3.mp4 18.1 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 18.0 MB
video/2 - 1 - 03a cond Expressions.mp4 17.0 MB
video/2 - 11 - 03k HtDF With Itemization.mp4 16.6 MB
video/1 - 4 - 01d Strings and Images.mp4 16.3 MB
video/6 - 9 - 05i The Reference Rule Part 2.mp4 16.3 MB
video/6 - 5 - 05e Revising the Recipes for Lists.mp4 16.2 MB
video/1 - 2 - 01b Expressions.mp4 15.8 MB
video/5 - 5 - 04e HtDW Working Through the Wish List.mp4 15.7 MB
overview.pdf 15.2 MB
video/9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.mp4 15.1 MB
video/2 - 7 - 03g Enumeration Data Definitions.mp4 15.1 MB
video/9 - 13 - 08z - Summary.mp4 15.0 MB
video/1 - 5 - 01e Constant Definitions.mp4 14.9 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.6 MB
video/6 - 11 - 05k Natural Numbers.mp4 14.5 MB
video/1 - 3 - 01c - Evaluation.mp4 14.5 MB
video/7 - 8 - 06h Mutually Recursive Data.mp4 14.3 MB
video/7 - 2 - 06b More Helpers - Function Composition.mp4 14.2 MB
video/7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.mp4 14.2 MB
video/8 - 12 - 07l Closures.mp4 13.5 MB
video/2 - 2 - 03b Data Definitions.mp4 13.2 MB
video/8 - 6 - 07f Local Expressions -- Avoid Recomputation.mp4 13.2 MB
video/2 - 3 - 03c Atomic Non-Distinct Data Definitions.mp4 13.1 MB
video/2 - 4 - 03d HtDF with Data Definition.mp4 13.0 MB
video/9 - 3 - 08c - Termination Arguments.mp4 13.0 MB
video/8 - 9 - 07i Abstraction from Examples - 2.mp4 12.9 MB
video/1 - 9 - 01i Discovering Primitives.mp4 12.9 MB
video/8 - 8 - 07h Abstraction from Examples - 1.mp4 12.7 MB
video/5 - 3 - 04c How to Design Worlds - Analysis.mp4 12.2 MB
video/5 - 2 - 04b The big-bang Mechanism.mp4 12.1 MB
video/6 - 4 - 05d A First Function Operating On a List.mp4 12.0 MB
video/4 - 5 - 02e HtDF Examples - image-area.mp4 12.0 MB
video/2 - 6 - 03f Interval Data Definitions.mp4 11.2 MB
video/2 - 5 - 03e HtDF Form of Data Orthogonality.mp4 10.3 MB
video/7 - 6 - 06f More Helpers - Wrap Up.mp4 10.0 MB
video/5 - 9 - 04i Compound Data Definitions.mp4 10.0 MB
video/5 - 6 - 04f Improving a World Program - Add SPEED.mp4 9.6 MB
video/2 - 12 - 03l Structure of Information Flows Through.mp4 9.2 MB
video/6 - 7 - 05g Positions in List Templates.mp4 9.0 MB
video/2 - 10 - 03j HtDF With Enumeration.mp4 9.0 MB
video/2 - 9 - 03i HtDF With Interval.mp4 9.0 MB
video/6 - 2 - 05b List Mechanisms.mp4 8.9 MB
video/5 - 1 - 04a Interactive Programs.mp4 8.0 MB
video/5 - 8 - 04h define-struct.mp4 8.0 MB
video/4 - 4 - 02d HtDF Examples - area.mp4 8.0 MB
video/8 - 4 - 07d Local Expressions -- Evaluation Rules.mp4 7.7 MB
video/1 - 8 - 01h Using the Stepper.mp4 7.5 MB
video/9 - 7 - 08g - Sudoku -- The Search Intuition.mp4 7.3 MB
video/8 - 3 - 07c Local Expressions -- Lexical Scoping.mp4 7.1 MB
video/7 - 3 - 06c Layout Out a List of Images.mp4 7.1 MB
video/7 - 9 - 06i Templating Mutual Recursion.mp4 6.6 MB
video/4 - 3 - 02c HtDF Examples - yell.mp4 6.5 MB
video/9 - 4 - 08d - Introduction to Search Problems.mp4 5.6 MB
video/9 - 1 - 08a - Generative Recursion.mp4 5.5 MB
video/7 - 7 - 06g List Abbreviations.mp4 5.0 MB
video/9 - 9 - 08i - Sudoku -- Making the Wish List.mp4 4.8 MB
video/8 - 2 - 07b Local Expressions -- Forming and Intuition.mp4 4.7 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.6 MB
video/9 - 5 - 08e - Sudoku -- Terminology.mp4 3.3 MB
video/8 - 7 - 07g Introduction to Abstraction.mp4 3.0 MB
video/8 - 1 - 07a Introduction to Local Expressions.mp4 1.7 MB
code/prob-solution/rolling-lambda-solution.rkt 783.2 KB
code/prob-solution/rolling-lambda-without-geometry-solution.rkt 781.9 KB
quizzes/06h.pdf 780.1 KB
quizzes/05d.pdf 735.0 KB
quizzes/06k.pdf 693.1 KB
quizzes/07c.pdf 676.8 KB
quizzes/07e.pdf 667.7 KB
quizzes/03h.pdf 667.2 KB
quizzes/06b.pdf 646.4 KB
code/prob-starter/rolling-lambda-without-geometry-starter.rkt 630.2 KB
code/prob-starter/rolling-lambda-starter.rkt 630.1 KB
quizzes/05h.pdf 627.3 KB
quizzes/01g.pdf 619.1 KB
quizzes/07k.pdf 613.4 KB
quizzes/01f.pdf 608.3 KB
quizzes/01e.pdf 605.3 KB
quizzes/07d.pdf 599.0 KB
quizzes/06d.pdf 564.5 KB
quizzes/05b.pdf 532.8 KB
quizzes/06g.pdf 509.9 KB
quizzes/02b.pdf 487.9 KB
quizzes/04c.pdf 458.9 KB
quizzes/06e.pdf 439.2 KB
quizzes/03a.pdf 424.2 KB
quizzes/05k.pdf 411.4 KB
quizzes/05f.pdf 399.3 KB
quizzes/03c.pdf 396.4 KB
quizzes/03d.pdf 387.0 KB
quizzes/03k.pdf 378.8 KB
quizzes/04h.pdf 371.3 KB
quizzes/05e.pdf 364.5 KB
quizzes/03i.pdf 342.8 KB
quizzes/08c.pdf 335.2 KB
quizzes/04d.pdf 329.3 KB
quizzes/06f.pdf 315.9 KB
quizzes/01d.pdf 312.3 KB
quizzes/06c.pdf 308.5 KB
quizzes/05g.pdf 304.5 KB
quizzes/04e.pdf 301.5 KB
quizzes/06i.pdf 299.0 KB
quizzes/05j.pdf 294.9 KB
quizzes/01b.pdf 291.1 KB
quizzes/03j.pdf 279.0 KB
code/all problems.pdf 265.1 KB
quizzes/01c.pdf 263.9 KB
recepies/01 core - 02 htdd.pdf 256.7 KB
quizzes/07f.pdf 254.7 KB
quizzes/07j.pdf 240.7 KB
quizzes/04i.pdf 229.4 KB
quizzes/04g.pdf 220.1 KB
quizzes/08j.pdf 217.7 KB
recepies/01 core - 03 data driven templates.pdf 216.8 KB
code/prob-solution/termination-solution.rkt 214.2 KB
code/prob-starter/termination-starter.rkt 212.7 KB
modules/week5 self reference.pdf 205.4 KB
modules/week4 worlds.pdf 204.6 KB
modules/week7 local expression and abstraction.pdf 196.7 KB
modules/week3 data.pdf 195.9 KB
modules/week8 generative recursion.pdf 191.7 KB
modules/week1 primitives.pdf 185.7 KB
quizzes/05c.pdf 180.1 KB
quizzes/08f.pdf 173.2 KB
recepies/01 core - 04 htdw.pdf 170.7 KB
quizzes/02a.pdf 169.3 KB
recepies/01 core - 01 htd.pdf 168.9 KB
modules/week2 functions.pdf 168.8 KB
quizzes/01i.pdf 166.3 KB
modules/week6 mutual reference.pdf 166.2 KB
quizzes/03g.pdf 153.2 KB
recepies/04 abstraction - 02 from type comments.pdf 148.1 KB
code/prob-solution/sudoku-solution.rkt 142.2 KB
recepies/00 design recepies main.pdf 139.0 KB
code/prob-starter/sudoku-v4.rkt 138.8 KB
code/prob-starter/sudoku-v3.rkt 131.9 KB
recepies/03 control driven - 01 function composition.pdf 131.7 KB
code/prob-starter/fractals-starter.rkt 130.7 KB
quizzes/03f.pdf 130.0 KB
code/prob-starter/cantor-starter.rkt 129.5 KB
code/prob-starter/sudoku-v2.rkt 126.9 KB
code/prob-starter/sudoku-v1.rkt 125.9 KB
quizzes/08h.pdf 125.1 KB
code/prob-solution/cat-v4.rkt 123.4 KB
code/prob-starter/sudoku-starter.rkt 122.8 KB
recepies/04 abstraction - 03 abstract functions.pdf 122.6 KB
code/prob-solution/cowabunga-v6.rkt 118.6 KB
code/prob-solution/cowabunga-v5.rkt 117.1 KB
code/prob-starter/add-mouse-handler-starter.rkt 117.0 KB
modules/to do well.pdf 116.3 KB
code/prob-solution/cowabunga-v4.rkt 114.8 KB
code/prob-solution/cat.rkt 113.8 KB
code/prob-starter/cat-v2.rkt 112.4 KB
code/prob-starter/cat-v1.rkt 112.2 KB
code/prob-solution/cowabunga-v3.rkt 111.9 KB
code/prob-starter/cat-starter.rkt 111.3 KB
quizzes/05i.pdf 110.3 KB
code/prob-starter/cowabunga-starter.rkt 109.1 KB
code/prob-solution/cowabunga-v2.rkt 107.9 KB
code/prob-solution/van-koch-solution.rkt 106.8 KB
recepies/03 control driven - 03 generative recursion.pdf 106.8 KB
recepies/03 control driven - 02 backtracking.pdf 106.3 KB
code/prob-solution/cowabunga-v1.rkt 105.5 KB
code/prob-solution/cowabunga-v0.rkt 103.7 KB
quizzes/06l.pdf 102.8 KB
quizzes/07m.pdf 102.4 KB
code/prob-starter/fold-functions-starter.rkt 101.0 KB
code/prob-solution/circle-fractal-solution.rkt 99.5 KB
code/prob-solution/ellipses-solution.rkt 98.4 KB
code/prob-solution/making-rain-filtered-solution.rkt 97.4 KB
quizzes/04b.pdf 96.9 KB
code/prob-solution/tuition-graph-c-solution.rkt 95.6 KB
code/prob-starter/van-koch-starter.rkt 94.5 KB
code/prob-solution/spinning-solution.rkt 94.4 KB
code/prob-starter/ellipses-starter.rkt 94.1 KB
quizzes/07b.pdf 93.1 KB
code/prob-solution/image-organizer-solution.rkt 92.9 KB
code/prob-solution/fold-dir-solution.rkt 92.1 KB
recepies/04 abstraction - 01 from examples.pdf 91.8 KB
code/prob-solution/alternative-tuition-graph-solution.rkt 90.9 KB
code/prob-solution/growing-grass-solution.rkt 88.7 KB
code/prob-starter/arrange-images-v4.rkt 88.6 KB
code/prob-solution/using-built-ins-solution.rkt 88.4 KB
code/prob-starter/circle-fractal-starter.rkt 87.6 KB
code/prob-starter/tuition-graph-v3.rkt 87.4 KB
code/prob-starter/arrange-images-v5.rkt 87.2 KB
code/prob-starter/using-built-ins-starter.rkt 86.0 KB
code/prob-starter/making-rain-filtered-starter.rkt 85.8 KB
code/prob-solution/new-numerals-solution.rkt 85.5 KB
code/prob-starter/tuition-graph-c-starter.rkt 85.5 KB
code/prob-starter/next-color-starter.rkt 84.6 KB
code/prob-solution/breakfast-solution.rkt 84.6 KB
code/prob-solution/abstract-some-solution.rkt 84.4 KB
code/prob-solution/find-person-solution.rkt 84.4 KB
code/prob-starter/spinning-starter.rkt 83.9 KB
code/prob-starter/image-organizer-starter.rkt 83.8 KB
code/prob-starter/encapsulate-total-area-starter.rkt 83.0 KB
code/prob-starter/pythag-starter.rkt 82.8 KB
code/prob-solution/cartesian-solution.rkt 82.8 KB
code/prob-solution/naturals-solution.rkt 82.8 KB
code/prob-solution/trip-solution.rkt 82.6 KB
code/prob-starter/arrange-images-v3.rkt 82.5 KB
code/prob-starter/tuition-graph-starter.rkt 82.1 KB
code/prob-solution/movie-solution.rkt 82.0 KB
code/prob-solution/closures-solution.rkt 82.0 KB
code/prob-solution/abstract-sum-solution.rkt 81.9 KB
code/prob-starter/fold-dir-starter.rkt 81.6 KB
code/prob-starter/cartesian-starter.rkt 81.1 KB
code/prob-solution/student-solution.rkt 81.1 KB
code/prob-starter/closures-starter.rkt 81.0 KB
code/prob-solution/rocket-solution.rkt 80.5 KB
code/prob-solution/dinner-solution.rkt 80.4 KB
code/prob-starter/arrange-images-v2.rkt 80.1 KB
code/prob-starter/naturals-starter.rkt 80.1 KB
code/prob-starter/find-person-starter.rkt 79.8 KB
code/prob-solution/demolish-solution.rkt 79.7 KB
code/prob-solution/image-list-solution.rkt 79.5 KB
code/prob-solution/yell-all-solution.rkt 79.5 KB
code/prob-solution/total-string-length-solution.rkt 79.1 KB
code/prob-starter/growing-grass-starter.rkt 79.1 KB
code/prob-solution/bag-solution.rkt 79.0 KB
code/prob-solution/boxify-solution.rkt 78.7 KB
code/prob-starter/breakfast-starter.rkt 78.7 KB
code/prob-solution/evaluate-boo-solution.rkt 78.6 KB
code/prob-solution/double-solution.rkt 78.6 KB
code/prob-solution/largest-solution.rkt 78.5 KB
code/prob-solution/boolean-list-solution.rkt 78.5 KB
code/prob-solution/direction-solution.rkt 78.5 KB
code/prob-solution/employees-solution.rkt 78.4 KB
code/prob-solution/sum-n-solution.rkt 78.0 KB
code/prob-solution/countdown-to-display-solution.rkt 77.8 KB
code/prob-starter/abstract-some-starter.rkt 77.7 KB
code/prob-starter/evaluate-boo-starter.rkt 77.7 KB
code/prob-starter/alternative-tuition-graph-starter.rkt 77.6 KB
code/prob-starter/abstract-sum-starter.rkt 77.4 KB
code/prob-starter/total-string-length-starter.rkt 77.3 KB
code/prob-starter/bag-starter.rkt 77.3 KB
code/prob-starter/movie-starter.rkt 77.2 KB
code/prob-starter/trip-starter.rkt 77.2 KB
code/prob-starter/yell-all-starter.rkt 77.2 KB
code/prob-starter/countdown-to-display-starter.rkt 77.0 KB
code/prob-starter/largest-starter.rkt 76.9 KB
code/prob-starter/designing-with-lists-1-starter.rkt 76.9 KB
code/prob-starter/sum-n-starter.rkt 76.7 KB
code/prob-starter/student-starter.rkt 76.6 KB
code/prob-starter/dinner-starter.rkt 76.5 KB
code/prob-starter/rocket-starter.rkt 76.3 KB
code/prob-starter/quidditch-recap-starter.rkt 76.3 KB
code/prob-starter/photos-starter.rkt 76.1 KB
code/prob-starter/demolish-starter.rkt 76.1 KB
code/prob-starter/direction-starter.rkt 76.1 KB
code/prob-starter/employees-starter.rkt 76.0 KB
code/prob-starter/boxify-starter.rkt 75.9 KB
code/prob-solution/make-box-solution.rkt 75.9 KB
code/prob-solution/image-area-solution.rkt 75.3 KB
code/prob-starter/evaluate-foo-starter.rkt 75.1 KB
code/prob-starter/image-list-starter.rkt 75.0 KB
code/prob-starter/boolean-list-starter.rkt 74.9 KB
code/prob-starter/wide-only-starter.rkt 74.3 KB
code/prob-solution/summon-solution.rkt 74.3 KB
code/prob-solution/countdown-solution.rkt 74.2 KB
code/prob-starter/new-numerals-starter.rkt 74.2 KB
code/prob-solution/bump-up-solution.rkt 73.9 KB
code/prob-solution/foo-evaluation-solution.rkt 73.8 KB
code/prob-solution/tall-solution.rkt 73.8 KB
code/prob-solution/compare-images-solution.rkt 73.6 KB
code/prob-solution/ensure-question-solution.rkt 73.6 KB
code/prob-solution/less-than-five-solution.rkt 73.6 KB
code/prob-starter/cond-starter.rkt 73.5 KB
code/prob-starter/arrange-images-starter.rkt 73.4 KB
code/prob-solution/best-solution.rkt 73.1 KB
code/prob-solution/overlay-solution.rkt 73.1 KB
code/prob-solution/aisle-solution.rkt 73.0 KB
code/prob-solution/tile-solution.rkt 72.9 KB
code/prob-solution/seat-num-solution.rkt 72.7 KB
code/prob-solution/letter-grade-solution.rkt 72.7 KB
code/prob-starter/summon-starter.rkt 72.5 KB
code/prob-starter/overlay-starter.rkt 72.4 KB
code/prob-solution/area-solution.rkt 72.3 KB
code/prob-starter/compare-images-starter.rkt 72.2 KB
code/prob-solution/yell-solution.rkt 72.2 KB
code/prob-starter/quidditch-starter.rkt 72.2 KB
code/prob-starter/bump-up-starter.rkt 72.2 KB
code/prob-starter/best-starter.rkt 72.1 KB
code/prob-solution/city-name-solution.rkt 72.1 KB
code/prob-starter/tile-starter.rkt 72.0 KB
code/prob-starter/ensure-question-starter.rkt 72.0 KB
code/prob-solution/even-more-foo-evaluation-solution.rkt 72.0 KB
code/prob-solution/evaluation-prims-solution.rkt 72.0 KB
code/prob-solution/more-foo-evaluation-solution.rkt 71.9 KB
code/prob-solution/more-arithmetic-expression-solution.rkt 71.8 KB
code/prob-starter/make-box-starter.rkt 71.8 KB
code/prob-starter/aisle-starter.rkt 71.6 KB
code/prob-starter/countdown-starter.rkt 71.5 KB
code/prob-starter/seat-num-starter.rkt 71.5 KB
code/prob-starter/more-arithmetic-expression-starter.rkt 71.4 KB
code/prob-starter/less-than-five-starter.rkt 71.4 KB
code/prob-starter/image-area-starter.rkt 71.4 KB
code/prob-starter/foo-evaluation-starter.rkt 71.3 KB
code/prob-starter/even-more-foo-evaluation-starter.rkt 71.1 KB
code/prob-starter/letter-grade-starter.rkt 71.0 KB
code/prob-starter/more-foo-evaluation-starter.rkt 71.0 KB
code/prob-starter/city-name-starter.rkt 70.9 KB
code/prob-starter/yell-starter.rkt 70.9 KB
code/prob-starter/evaluation-prims-starter.rkt 70.9 KB
code/prob-starter/tall-starter.rkt 70.8 KB
code/prob-solution/glue-solution.rkt 70.5 KB
code/prob-solution/arithmetic-expression-solution.rkt 70.5 KB
code/prob-starter/double-starter.rkt 70.4 KB
code/prob-starter/arithmetic-expression-starter.rkt 70.3 KB
code/prob-starter/glue-starter.rkt 70.3 KB
code/prob-starter/compound-starter.rkt 70.2 KB
code/prob-starter/area-starter.rkt 69.5 KB
code/prob-starter/fs-v4.rkt 42.9 KB
code/prob-starter/fs-v3.rkt 37.2 KB
subtitles/5 - 10 - 04j HtDW With Compound Data.srt 36.7 KB
code/prob-starter/fs-v2.rkt 32.8 KB
code/prob-starter/fs-v1.rkt 29.4 KB
subtitles/9 - 2 - 08b - Fractals.srt 26.8 KB
code/prob-starter/fs-v6.rkt 24.4 KB
subtitles/8 - 13 - 07m Fold Functions.srt 23.2 KB
subtitles/8 - 11 - 07k Using Built In Abstract Functions.srt 23.0 KB
subtitles/9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.srt 22.0 KB
subtitles/7 - 12 - 06l Backtracking Search.srt 21.3 KB
subtitles/8 - 5 - 07e Local Expressions -- Encapsulation.srt 21.2 KB
subtitles/8 - 10 - 07j Abstraction from Examples - 3.srt 20.9 KB
subtitles/5 - 4 - 04d HtDW Program Through main Function.srt 18.5 KB
subtitles/6 - 12 - 05l A Parlor Trick.srt 18.5 KB
subtitles/9 - 13 - 08z - Summary.srt 18.3 KB
subtitles/7 - 2 - 06b More Helpers - Function Composition.srt 16.7 KB
subtitles/7 - 5 - 06e More Helpers - Domain Knowledge.srt 16.3 KB
subtitles/1 - 7 - 01g Booleans and if Expressions.srt 16.3 KB
subtitles/5 - 7 - 04g Improving a World Program - Add on-key Option.srt 16.2 KB
subtitles/5 - 2 - 04b The big-bang Mechanism.srt 16.2 KB
subtitles/6 - 5 - 05e Revising the Recipes for Lists.srt 16.2 KB
subtitles/6 - 9 - 05i The Reference Rule Part 2.srt 15.7 KB
subtitles/9 - 8 - 08h - Sudoku -- Template Blending.srt 15.6 KB
subtitles/1 - 6 - 01f Function Definitions.srt 15.5 KB
subtitles/7 - 10 - 06j Functions on Mutually Recursive Data - Part 1.srt 15.3 KB
subtitles/4 - 2 - 02b How to Design Functions (Slow Motion).srt 15.0 KB
subtitles/6 - 6 - 05f Designing With Lists 1.srt 14.9 KB
subtitles/9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.srt 14.8 KB
subtitles/6 - 3 - 05c A First List Data Definition.srt 14.5 KB
subtitles/6 - 8 - 05h The Reference Rule Part 1.srt 14.4 KB
subtitles/1 - 4 - 01d Strings and Images.srt 14.2 KB
subtitles/6 - 11 - 05k Natural Numbers.srt 14.2 KB
subtitles/2 - 1 - 03a cond Expressions.srt 14.1 KB
subtitles/9 - 10 - 08j - Sudoku -- Making the Wish List Come True 1.srt 13.5 KB
subtitles/4 - 6 - 02f HtDF Examples - tall.srt 13.5 KB
subtitles/5 - 5 - 04e HtDW Working Through the Wish List.srt 13.4 KB
subtitles/8 - 12 - 07l Closures.srt 13.3 KB
subtitles/2 - 8 - 03h Itemization Data Definitions.srt 13.3 KB
subtitles/9 - 3 - 08c - Termination Arguments.srt 13.3 KB
subtitles/6 - 10 - 05j The Reference Rule Part 3.srt 12.8 KB
subtitles/8 - 6 - 07f Local Expressions -- Avoid Recomputation.srt 12.7 KB
subtitles/8 - 8 - 07h Abstraction from Examples - 1.srt 12.6 KB
subtitles/7 - 8 - 06h Mutually Recursive Data.srt 12.5 KB
subtitles/2 - 11 - 03k HtDF With Itemization.srt 12.5 KB
subtitles/7 - 4 - 06d More Helpers - Operating on a List.srt 12.4 KB
subtitles/8 - 9 - 07i Abstraction from Examples - 2.srt 12.3 KB
subtitles/7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.srt 12.1 KB
subtitles/1 - 2 - 01b Expressions.srt 11.8 KB
subtitles/2 - 7 - 03g Enumeration Data Definitions.srt 11.1 KB
subtitles/2 - 2 - 03b Data Definitions.srt 10.8 KB
subtitles/4 - 1 - 02a How to Design Functions (Full Speed).srt 10.3 KB
subtitles/5 - 3 - 04c How to Design Worlds - Analysis.srt 10.2 KB
subtitles/2 - 3 - 03c Atomic Non-Distinct Data Definitions.srt 10.0 KB
subtitles/1 - 5 - 01e Constant Definitions.srt 9.8 KB
subtitles/8 - 4 - 07d Local Expressions -- Evaluation Rules.srt 9.8 KB
subtitles/6 - 7 - 05g Positions in List Templates.srt 9.8 KB
subtitles/6 - 2 - 05b List Mechanisms.srt 9.7 KB
subtitles/2 - 4 - 03d HtDF with Data Definition.srt 9.4 KB
subtitles/1 - 3 - 01c - Evaluation.srt 9.0 KB
subtitles/8 - 3 - 07c Local Expressions -- Lexical Scoping.srt 8.8 KB
subtitles/1 - 1 - 01a Introduction.srt 8.7 KB
subtitles/2 - 6 - 03f Interval Data Definitions.srt 8.5 KB
subtitles/6 - 4 - 05d A First Function Operating On a List.srt 8.5 KB
subtitles/7 - 6 - 06f More Helpers - Wrap Up.srt 8.5 KB
subtitles/5 - 6 - 04f Improving a World Program - Add SPEED.srt 8.4 KB
subtitles/9 - 7 - 08g - Sudoku -- The Search Intuition.srt 7.8 KB
subtitles/2 - 10 - 03j HtDF With Enumeration.srt 7.5 KB
subtitles/2 - 5 - 03e HtDF Form of Data Orthogonality.srt 7.4 KB
subtitles/1 - 8 - 01h Using the Stepper.srt 7.4 KB
subtitles/1 - 9 - 01i Discovering Primitives.srt 7.3 KB
subtitles/4 - 5 - 02e HtDF Examples - image-area.srt 7.0 KB
subtitles/5 - 9 - 04i Compound Data Definitions.srt 7.0 KB
subtitles/5 - 8 - 04h define-struct.srt 6.4 KB
subtitles/8 - 2 - 07b Local Expressions -- Forming and Intuition.srt 6.4 KB
subtitles/2 - 9 - 03i HtDF With Interval.srt 6.2 KB
subtitles/7 - 7 - 06g List Abbreviations.srt 6.1 KB
subtitles/4 - 4 - 02d HtDF Examples - area.srt 6.0 KB
subtitles/2 - 12 - 03l Structure of Information Flows Through.srt 5.5 KB
subtitles/7 - 9 - 06i Templating Mutual Recursion.srt 5.1 KB
subtitles/7 - 3 - 06c Layout Out a List of Images.srt 4.4 KB
subtitles/9 - 9 - 08i - Sudoku -- Making the Wish List.srt 4.0 KB
subtitles/4 - 3 - 02c HtDF Examples - yell.srt 3.9 KB
code/prob-starter/parameterization-v3.rkt 3.6 KB
subtitles/9 - 5 - 08e - Sudoku -- Terminology.srt 3.6 KB
subtitles/5 - 1 - 04a Interactive Programs.srt 3.2 KB
code/prob-starter/parameterization-starter.rkt 3.1 KB
code/prob-starter/parameterization-v2.rkt 2.8 KB
subtitles/9 - 4 - 08d - Introduction to Search Problems.srt 2.5 KB
subtitles/9 - 1 - 08a - Generative Recursion.srt 2.4 KB
subtitles/6 - 1 - 05a Introduction to Arbitrary Sized Data.srt 1.8 KB
subtitles/7 - 1 - 06a More Helpers and Mutual Helpers.srt 1.7 KB
subtitles/8 - 7 - 07g Introduction to Abstraction.srt 1.4 KB
code/prob-starter/fs-starter.rkt 1.1 KB
subtitles/8 - 1 - 07a Introduction to Local Expressions.srt 924 bytes
code/prob-starter/stepper-starter.rkt 587 bytes
code/prob-starter/function-definitions-starter.rkt 542 bytes

Coursera - Introduction to Systematic Program Design - Part 1 (2013)

File List

Download Torrent

Related Resources

Copyright Infringement