Coursera - Introduction to Systematic Program Design - Part 1 (2013)
大小
1.32 GB
文件数
437
Info Hash:
99771123D5D176537FB125530DF6E706EC286920
收录时间
2026-01-09 06:27:45
更新时间
2026-01-09 06:27:45
文件列表 (437)
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
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
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/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/03d.pdf
386.98 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.6 KB
modules/week7 local expression and abstraction.pdf
196.67 KB
modules/week3 data.pdf
195.9 KB
modules/week8 generative recursion.pdf
191.75 KB
modules/week1 primitives.pdf
185.71 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 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.4 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
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.5 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.3 KB
code/prob-starter/bag-starter.rkt
77.3 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.3 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 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.3 KB
code/prob-starter/compare-images-starter.rkt
72.22 KB
code/prob-solution/yell-solution.rkt
72.2 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.5 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.4 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.5 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.3 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.3 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.5 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.7 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.4 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