Torrent Info
Title Coursera - Introduction to Systematic Program Design - Part 1 (2013)
Category
Size 1.32GB

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