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

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

Create Tool:

Create Time:1970-01-01 08:00:00

File Size:1348.01 MB

File Count:437

File Hash:99771123d5d176537fb125530df6e706ec286920

Magnet Link:

Magnet Link:

Torrent File:

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.20 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.00 MB
video/1 - 6 - 01f Function Definitions.mp4 18.56 MB
video/9 - 8 - 08h - Sudoku -- Template Blending.mp4 18.40 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.10 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.70 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.90 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.00 MB
video/2 - 9 - 03i HtDF With Interval.mp4 9.00 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.30 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.60 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.70 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
quizzes/05h.pdf 627.31 KB
quizzes/01g.pdf 619.06 KB
quizzes/07k.pdf 613.38 KB
quizzes/01f.pdf 608.27 KB
quizzes/01e.pdf 605.26 KB
quizzes/07d.pdf 599.04 KB
quizzes/06d.pdf 564.50 KB
quizzes/05b.pdf 532.76 KB
quizzes/06g.pdf 509.88 KB
quizzes/02b.pdf 487.95 KB
quizzes/04c.pdf 458.92 KB
quizzes/06e.pdf 439.16 KB
quizzes/03a.pdf 424.21 KB
quizzes/05k.pdf 411.43 KB
quizzes/05f.pdf 399.26 KB
quizzes/03c.pdf 396.40 KB
quizzes/03d.pdf 386.98 KB
quizzes/03k.pdf 378.80 KB
quizzes/04h.pdf 371.29 KB
quizzes/05e.pdf 364.52 KB
quizzes/03i.pdf 342.77 KB
quizzes/08c.pdf 335.23 KB
quizzes/04d.pdf 329.27 KB
quizzes/06f.pdf 315.94 KB
quizzes/01d.pdf 312.25 KB
quizzes/06c.pdf 308.53 KB
quizzes/05g.pdf 304.46 KB
quizzes/04e.pdf 301.53 KB
quizzes/06i.pdf 298.98 KB
quizzes/05j.pdf 294.88 KB
quizzes/01b.pdf 291.09 KB
quizzes/03j.pdf 279.03 KB
code/all problems.pdf 265.14 KB
quizzes/01c.pdf 263.94 KB
recepies/01 core - 02 htdd.pdf 256.74 KB
quizzes/07f.pdf 254.73 KB
quizzes/07j.pdf 240.68 KB
quizzes/04i.pdf 229.35 KB
quizzes/04g.pdf 220.09 KB
quizzes/08j.pdf 217.74 KB
recepies/01 core - 03 data driven templates.pdf 216.77 KB
code/prob-solution/termination-solution.rkt 214.21 KB
code/prob-starter/termination-starter.rkt 212.67 KB
modules/week5 self reference.pdf 205.37 KB
modules/week4 worlds.pdf 204.60 KB
modules/week7 local expression and abstraction.pdf 196.67 KB
modules/week3 data.pdf 195.90 KB
modules/week8 generative recursion.pdf 191.75 KB
modules/week1 primitives.pdf 185.71 KB
quizzes/05c.pdf 180.10 KB
quizzes/08f.pdf 173.23 KB
recepies/01 core - 04 htdw.pdf 170.71 KB
quizzes/02a.pdf 169.32 KB
recepies/01 core - 01 htd.pdf 168.92 KB
modules/week2 functions.pdf 168.78 KB
quizzes/01i.pdf 166.29 KB
modules/week6 mutual reference.pdf 166.22 KB
quizzes/03g.pdf 153.24 KB
recepies/04 abstraction - 02 from type comments.pdf 148.09 KB
code/prob-solution/sudoku-solution.rkt 142.25 KB
recepies/00 design recepies main.pdf 139.04 KB
code/prob-starter/sudoku-v4.rkt 138.79 KB
code/prob-starter/sudoku-v3.rkt 131.89 KB
recepies/03 control driven - 01 function composition.pdf 131.68 KB
code/prob-starter/fractals-starter.rkt 130.69 KB
quizzes/03f.pdf 129.99 KB
code/prob-starter/cantor-starter.rkt 129.51 KB
code/prob-starter/sudoku-v2.rkt 126.86 KB
code/prob-starter/sudoku-v1.rkt 125.88 KB
quizzes/08h.pdf 125.09 KB
code/prob-solution/cat-v4.rkt 123.35 KB
code/prob-starter/sudoku-starter.rkt 122.83 KB
recepies/04 abstraction - 03 abstract functions.pdf 122.57 KB
code/prob-solution/cowabunga-v6.rkt 118.59 KB
code/prob-solution/cowabunga-v5.rkt 117.07 KB
code/prob-starter/add-mouse-handler-starter.rkt 117.03 KB
modules/to do well.pdf 116.28 KB
code/prob-solution/cowabunga-v4.rkt 114.82 KB
code/prob-solution/cat.rkt 113.82 KB
code/prob-starter/cat-v2.rkt 112.45 KB
code/prob-starter/cat-v1.rkt 112.21 KB
code/prob-solution/cowabunga-v3.rkt 111.91 KB
code/prob-starter/cat-starter.rkt 111.29 KB
quizzes/05i.pdf 110.35 KB
code/prob-starter/cowabunga-starter.rkt 109.07 KB
code/prob-solution/cowabunga-v2.rkt 107.94 KB
code/prob-solution/van-koch-solution.rkt 106.83 KB
recepies/03 control driven - 03 generative recursion.pdf 106.81 KB
recepies/03 control driven - 02 backtracking.pdf 106.34 KB
code/prob-solution/cowabunga-v1.rkt 105.52 KB
code/prob-solution/cowabunga-v0.rkt 103.73 KB
quizzes/06l.pdf 102.77 KB
quizzes/07m.pdf 102.41 KB
code/prob-starter/fold-functions-starter.rkt 101.00 KB
code/prob-solution/circle-fractal-solution.rkt 99.53 KB
code/prob-solution/ellipses-solution.rkt 98.43 KB
code/prob-solution/making-rain-filtered-solution.rkt 97.40 KB
quizzes/04b.pdf 96.92 KB
code/prob-solution/tuition-graph-c-solution.rkt 95.62 KB
code/prob-starter/van-koch-starter.rkt 94.51 KB
code/prob-solution/spinning-solution.rkt 94.36 KB
code/prob-starter/ellipses-starter.rkt 94.06 KB
quizzes/07b.pdf 93.06 KB
code/prob-solution/image-organizer-solution.rkt 92.87 KB
code/prob-solution/fold-dir-solution.rkt 92.12 KB
recepies/04 abstraction - 01 from examples.pdf 91.81 KB
code/prob-solution/alternative-tuition-graph-solution.rkt 90.88 KB
code/prob-solution/growing-grass-solution.rkt 88.73 KB
code/prob-starter/arrange-images-v4.rkt 88.59 KB
code/prob-solution/using-built-ins-solution.rkt 88.45 KB
code/prob-starter/circle-fractal-starter.rkt 87.64 KB
code/prob-starter/tuition-graph-v3.rkt 87.38 KB
code/prob-starter/arrange-images-v5.rkt 87.19 KB
code/prob-starter/using-built-ins-starter.rkt 85.97 KB
code/prob-starter/making-rain-filtered-starter.rkt 85.84 KB
code/prob-solution/new-numerals-solution.rkt 85.55 KB
code/prob-starter/tuition-graph-c-starter.rkt 85.52 KB
code/prob-starter/next-color-starter.rkt 84.64 KB
code/prob-solution/breakfast-solution.rkt 84.58 KB
code/prob-solution/abstract-some-solution.rkt 84.44 KB
code/prob-solution/find-person-solution.rkt 84.42 KB
code/prob-starter/spinning-starter.rkt 83.94 KB
code/prob-starter/image-organizer-starter.rkt 83.75 KB
code/prob-starter/encapsulate-total-area-starter.rkt 83.02 KB
code/prob-starter/pythag-starter.rkt 82.84 KB
code/prob-solution/cartesian-solution.rkt 82.78 KB
code/prob-solution/naturals-solution.rkt 82.76 KB
code/prob-solution/trip-solution.rkt 82.56 KB
code/prob-starter/arrange-images-v3.rkt 82.49 KB
code/prob-starter/tuition-graph-starter.rkt 82.11 KB
code/prob-solution/movie-solution.rkt 81.99 KB
code/prob-solution/closures-solution.rkt 81.99 KB
code/prob-solution/abstract-sum-solution.rkt 81.86 KB
code/prob-starter/fold-dir-starter.rkt 81.56 KB
code/prob-starter/cartesian-starter.rkt 81.08 KB
code/prob-solution/student-solution.rkt 81.06 KB
code/prob-starter/closures-starter.rkt 81.05 KB
code/prob-solution/rocket-solution.rkt 80.52 KB
code/prob-solution/dinner-solution.rkt 80.37 KB
code/prob-starter/arrange-images-v2.rkt 80.12 KB
code/prob-starter/naturals-starter.rkt 80.11 KB
code/prob-starter/find-person-starter.rkt 79.83 KB
code/prob-solution/demolish-solution.rkt 79.75 KB
code/prob-solution/image-list-solution.rkt 79.50 KB
code/prob-solution/yell-all-solution.rkt 79.48 KB
code/prob-solution/total-string-length-solution.rkt 79.07 KB
code/prob-starter/growing-grass-starter.rkt 79.06 KB
code/prob-solution/bag-solution.rkt 78.95 KB
code/prob-solution/boxify-solution.rkt 78.75 KB
code/prob-starter/breakfast-starter.rkt 78.65 KB
code/prob-solution/evaluate-boo-solution.rkt 78.56 KB
code/prob-solution/double-solution.rkt 78.55 KB
code/prob-solution/largest-solution.rkt 78.52 KB
code/prob-solution/boolean-list-solution.rkt 78.51 KB
code/prob-solution/direction-solution.rkt 78.49 KB
code/prob-solution/employees-solution.rkt 78.45 KB
code/prob-solution/sum-n-solution.rkt 77.99 KB
code/prob-solution/countdown-to-display-solution.rkt 77.79 KB
code/prob-starter/abstract-some-starter.rkt 77.74 KB
code/prob-starter/evaluate-boo-starter.rkt 77.66 KB
code/prob-starter/alternative-tuition-graph-starter.rkt 77.58 KB
code/prob-starter/abstract-sum-starter.rkt 77.44 KB
code/prob-starter/total-string-length-starter.rkt 77.30 KB
code/prob-starter/bag-starter.rkt 77.30 KB
code/prob-starter/movie-starter.rkt 77.23 KB
code/prob-starter/trip-starter.rkt 77.21 KB
code/prob-starter/yell-all-starter.rkt 77.18 KB
code/prob-starter/countdown-to-display-starter.rkt 76.98 KB
code/prob-starter/largest-starter.rkt 76.89 KB
code/prob-starter/designing-with-lists-1-starter.rkt 76.85 KB
code/prob-starter/sum-n-starter.rkt 76.71 KB
code/prob-starter/student-starter.rkt 76.58 KB
code/prob-starter/dinner-starter.rkt 76.55 KB
code/prob-starter/rocket-starter.rkt 76.30 KB
code/prob-starter/quidditch-recap-starter.rkt 76.28 KB
code/prob-starter/photos-starter.rkt 76.07 KB
code/prob-starter/demolish-starter.rkt 76.06 KB
code/prob-starter/direction-starter.rkt 76.06 KB
code/prob-starter/employees-starter.rkt 76.00 KB
code/prob-starter/boxify-starter.rkt 75.93 KB
code/prob-solution/make-box-solution.rkt 75.92 KB
code/prob-solution/image-area-solution.rkt 75.25 KB
code/prob-starter/evaluate-foo-starter.rkt 75.13 KB
code/prob-starter/image-list-starter.rkt 74.97 KB
code/prob-starter/boolean-list-starter.rkt 74.91 KB
code/prob-starter/wide-only-starter.rkt 74.31 KB
code/prob-solution/summon-solution.rkt 74.29 KB
code/prob-solution/countdown-solution.rkt 74.25 KB
code/prob-starter/new-numerals-starter.rkt 74.19 KB
code/prob-solution/bump-up-solution.rkt 73.88 KB
code/prob-solution/foo-evaluation-solution.rkt 73.77 KB
code/prob-solution/tall-solution.rkt 73.75 KB
code/prob-solution/compare-images-solution.rkt 73.61 KB
code/prob-solution/ensure-question-solution.rkt 73.58 KB
code/prob-solution/less-than-five-solution.rkt 73.57 KB
code/prob-starter/cond-starter.rkt 73.45 KB
code/prob-starter/arrange-images-starter.rkt 73.37 KB
code/prob-solution/best-solution.rkt 73.13 KB
code/prob-solution/overlay-solution.rkt 73.12 KB
code/prob-solution/aisle-solution.rkt 72.96 KB
code/prob-solution/tile-solution.rkt 72.94 KB
code/prob-solution/seat-num-solution.rkt 72.68 KB
code/prob-solution/letter-grade-solution.rkt 72.68 KB
code/prob-starter/summon-starter.rkt 72.48 KB
code/prob-starter/overlay-starter.rkt 72.39 KB
code/prob-solution/area-solution.rkt 72.30 KB
code/prob-starter/compare-images-starter.rkt 72.22 KB
code/prob-solution/yell-solution.rkt 72.20 KB
code/prob-starter/quidditch-starter.rkt 72.17 KB
code/prob-starter/bump-up-starter.rkt 72.17 KB
code/prob-starter/best-starter.rkt 72.11 KB
code/prob-solution/city-name-solution.rkt 72.06 KB
code/prob-starter/tile-starter.rkt 72.05 KB
code/prob-starter/ensure-question-starter.rkt 72.02 KB
code/prob-solution/even-more-foo-evaluation-solution.rkt 72.02 KB
code/prob-solution/evaluation-prims-solution.rkt 71.99 KB
code/prob-solution/more-foo-evaluation-solution.rkt 71.88 KB
code/prob-solution/more-arithmetic-expression-solution.rkt 71.84 KB
code/prob-starter/make-box-starter.rkt 71.77 KB
code/prob-starter/aisle-starter.rkt 71.57 KB
code/prob-starter/countdown-starter.rkt 71.51 KB
code/prob-starter/seat-num-starter.rkt 71.50 KB
code/prob-starter/more-arithmetic-expression-starter.rkt 71.44 KB
code/prob-starter/less-than-five-starter.rkt 71.41 KB
code/prob-starter/image-area-starter.rkt 71.40 KB
code/prob-starter/foo-evaluation-starter.rkt 71.31 KB
code/prob-starter/even-more-foo-evaluation-starter.rkt 71.06 KB
code/prob-starter/letter-grade-starter.rkt 71.03 KB
code/prob-starter/more-foo-evaluation-starter.rkt 70.98 KB
code/prob-starter/city-name-starter.rkt 70.93 KB
code/prob-starter/yell-starter.rkt 70.92 KB
code/prob-starter/evaluation-prims-starter.rkt 70.87 KB
code/prob-starter/tall-starter.rkt 70.77 KB
code/prob-solution/glue-solution.rkt 70.51 KB
code/prob-solution/arithmetic-expression-solution.rkt 70.46 KB
code/prob-starter/double-starter.rkt 70.45 KB
code/prob-starter/arithmetic-expression-starter.rkt 70.28 KB
code/prob-starter/glue-starter.rkt 70.28 KB
code/prob-starter/compound-starter.rkt 70.16 KB
code/prob-starter/area-starter.rkt 69.50 KB
code/prob-starter/fs-v4.rkt 42.95 KB
code/prob-starter/fs-v3.rkt 37.19 KB
subtitles/5 - 10 - 04j HtDW With Compound Data.srt 36.71 KB
code/prob-starter/fs-v2.rkt 32.76 KB
code/prob-starter/fs-v1.rkt 29.42 KB
subtitles/9 - 2 - 08b - Fractals.srt 26.81 KB
code/prob-starter/fs-v6.rkt 24.37 KB
subtitles/8 - 13 - 07m Fold Functions.srt 23.15 KB
subtitles/8 - 11 - 07k Using Built In Abstract Functions.srt 22.97 KB
subtitles/9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.srt 22.01 KB
subtitles/7 - 12 - 06l Backtracking Search.srt 21.30 KB
subtitles/8 - 5 - 07e Local Expressions -- Encapsulation.srt 21.16 KB
subtitles/8 - 10 - 07j Abstraction from Examples - 3.srt 20.89 KB
subtitles/5 - 4 - 04d HtDW Program Through main Function.srt 18.49 KB
subtitles/6 - 12 - 05l A Parlor Trick.srt 18.47 KB
subtitles/9 - 13 - 08z - Summary.srt 18.32 KB
subtitles/7 - 2 - 06b More Helpers - Function Composition.srt 16.66 KB
subtitles/7 - 5 - 06e More Helpers - Domain Knowledge.srt 16.34 KB
subtitles/1 - 7 - 01g Booleans and if Expressions.srt 16.33 KB
subtitles/5 - 7 - 04g Improving a World Program - Add on-key Option.srt 16.21 KB
subtitles/5 - 2 - 04b The big-bang Mechanism.srt 16.17 KB
subtitles/6 - 5 - 05e Revising the Recipes for Lists.srt 16.17 KB
subtitles/6 - 9 - 05i The Reference Rule Part 2.srt 15.72 KB
subtitles/9 - 8 - 08h - Sudoku -- Template Blending.srt 15.57 KB
subtitles/1 - 6 - 01f Function Definitions.srt 15.47 KB
subtitles/7 - 10 - 06j Functions on Mutually Recursive Data - Part 1.srt 15.25 KB
subtitles/4 - 2 - 02b How to Design Functions (Slow Motion).srt 14.98 KB
subtitles/6 - 6 - 05f Designing With Lists 1.srt 14.88 KB
subtitles/9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.srt 14.78 KB
subtitles/6 - 3 - 05c A First List Data Definition.srt 14.52 KB
subtitles/6 - 8 - 05h The Reference Rule Part 1.srt 14.38 KB
subtitles/1 - 4 - 01d Strings and Images.srt 14.25 KB
subtitles/6 - 11 - 05k Natural Numbers.srt 14.17 KB
subtitles/2 - 1 - 03a cond Expressions.srt 14.08 KB
subtitles/9 - 10 - 08j - Sudoku -- Making the Wish List Come True 1.srt 13.49 KB
subtitles/4 - 6 - 02f HtDF Examples - tall.srt 13.48 KB
subtitles/5 - 5 - 04e HtDW Working Through the Wish List.srt 13.38 KB
subtitles/8 - 12 - 07l Closures.srt 13.30 KB
subtitles/2 - 8 - 03h Itemization Data Definitions.srt 13.28 KB
subtitles/9 - 3 - 08c - Termination Arguments.srt 13.27 KB
subtitles/6 - 10 - 05j The Reference Rule Part 3.srt 12.76 KB
subtitles/8 - 6 - 07f Local Expressions -- Avoid Recomputation.srt 12.71 KB
subtitles/8 - 8 - 07h Abstraction from Examples - 1.srt 12.64 KB
subtitles/7 - 8 - 06h Mutually Recursive Data.srt 12.52 KB
subtitles/2 - 11 - 03k HtDF With Itemization.srt 12.50 KB
subtitles/7 - 4 - 06d More Helpers - Operating on a List.srt 12.39 KB
subtitles/8 - 9 - 07i Abstraction from Examples - 2.srt 12.31 KB
subtitles/7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.srt 12.13 KB
subtitles/1 - 2 - 01b Expressions.srt 11.75 KB
subtitles/2 - 7 - 03g Enumeration Data Definitions.srt 11.08 KB
subtitles/2 - 2 - 03b Data Definitions.srt 10.84 KB
subtitles/4 - 1 - 02a How to Design Functions (Full Speed).srt 10.32 KB
subtitles/5 - 3 - 04c How to Design Worlds - Analysis.srt 10.19 KB
subtitles/2 - 3 - 03c Atomic Non-Distinct Data Definitions.srt 9.96 KB
subtitles/1 - 5 - 01e Constant Definitions.srt 9.83 KB
subtitles/8 - 4 - 07d Local Expressions -- Evaluation Rules.srt 9.78 KB
subtitles/6 - 7 - 05g Positions in List Templates.srt 9.77 KB
subtitles/6 - 2 - 05b List Mechanisms.srt 9.72 KB
subtitles/2 - 4 - 03d HtDF with Data Definition.srt 9.42 KB
subtitles/1 - 3 - 01c - Evaluation.srt 8.98 KB
subtitles/8 - 3 - 07c Local Expressions -- Lexical Scoping.srt 8.82 KB
subtitles/1 - 1 - 01a Introduction.srt 8.70 KB
subtitles/2 - 6 - 03f Interval Data Definitions.srt 8.54 KB
subtitles/6 - 4 - 05d A First Function Operating On a List.srt 8.53 KB
subtitles/7 - 6 - 06f More Helpers - Wrap Up.srt 8.47 KB
subtitles/5 - 6 - 04f Improving a World Program - Add SPEED.srt 8.35 KB
subtitles/9 - 7 - 08g - Sudoku -- The Search Intuition.srt 7.82 KB
subtitles/2 - 10 - 03j HtDF With Enumeration.srt 7.55 KB
subtitles/2 - 5 - 03e HtDF Form of Data Orthogonality.srt 7.41 KB
subtitles/1 - 8 - 01h Using the Stepper.srt 7.39 KB
subtitles/1 - 9 - 01i Discovering Primitives.srt 7.33 KB
subtitles/4 - 5 - 02e HtDF Examples - image-area.srt 7.04 KB
subtitles/5 - 9 - 04i Compound Data Definitions.srt 6.98 KB
subtitles/5 - 8 - 04h define-struct.srt 6.44 KB
subtitles/8 - 2 - 07b Local Expressions -- Forming and Intuition.srt 6.36 KB
subtitles/2 - 9 - 03i HtDF With Interval.srt 6.17 KB
subtitles/7 - 7 - 06g List Abbreviations.srt 6.06 KB
subtitles/4 - 4 - 02d HtDF Examples - area.srt 5.98 KB
subtitles/2 - 12 - 03l Structure of Information Flows Through.srt 5.52 KB
subtitles/7 - 9 - 06i Templating Mutual Recursion.srt 5.07 KB
subtitles/7 - 3 - 06c Layout Out a List of Images.srt 4.43 KB
subtitles/9 - 9 - 08i - Sudoku -- Making the Wish List.srt 3.97 KB
subtitles/4 - 3 - 02c HtDF Examples - yell.srt 3.86 KB
code/prob-starter/parameterization-v3.rkt 3.62 KB
subtitles/9 - 5 - 08e - Sudoku -- Terminology.srt 3.59 KB
subtitles/5 - 1 - 04a Interactive Programs.srt 3.15 KB
code/prob-starter/parameterization-starter.rkt 3.14 KB
code/prob-starter/parameterization-v2.rkt 2.76 KB
subtitles/9 - 4 - 08d - Introduction to Search Problems.srt 2.53 KB
subtitles/9 - 1 - 08a - Generative Recursion.srt 2.40 KB
subtitles/6 - 1 - 05a Introduction to Arbitrary Sized Data.srt 1.77 KB
subtitles/7 - 1 - 06a More Helpers and Mutual Helpers.srt 1.74 KB
subtitles/8 - 7 - 07g Introduction to Abstraction.srt 1.44 KB
code/prob-starter/fs-starter.rkt 1.11 KB
subtitles/8 - 1 - 07a Introduction to Local Expressions.srt 924 B
code/prob-starter/stepper-starter.rkt 587 B
code/prob-starter/function-definitions-starter.rkt 542 B
No trackers found

TorrentBank
Copyright © 2024