Download Introduction to Systematic Program Design - Part 1 [2013, ENG] Torrent

Torrent Contents Size: 1.32 GB

Introduction to Systematic Program Design - Part 1 [2013, ENG]

code

all problems.pdf

PDF

265.14 KB

prob-solution

abstract-some-solution.rkt	RKT	84.44 KB
abstract-sum-solution.rkt	RKT	81.86 KB
aisle-solution.rkt	RKT	72.96 KB
alternative-tuition-graph-solution.rkt	RKT	90.88 KB
area-solution.rkt	RKT	72.3 KB
arithmetic-expression-solution.rkt	RKT	70.46 KB
bag-solution.rkt	RKT	78.95 KB
best-solution.rkt	RKT	73.13 KB
boolean-list-solution.rkt	RKT	78.51 KB
boxify-solution.rkt	RKT	78.75 KB
breakfast-solution.rkt	RKT	84.58 KB
bump-up-solution.rkt	RKT	73.88 KB
cartesian-solution.rkt	RKT	82.78 KB
cat-v4.rkt	RKT	123.35 KB
cat.rkt	RKT	113.82 KB
circle-fractal-solution.rkt	RKT	99.53 KB
city-name-solution.rkt	RKT	72.06 KB
closures-solution.rkt	RKT	81.99 KB
compare-images-solution.rkt	RKT	73.61 KB
countdown-solution.rkt	RKT	74.25 KB
countdown-to-display-solution.rkt	RKT	77.79 KB
cowabunga-v0.rkt	RKT	103.73 KB
cowabunga-v1.rkt	RKT	105.52 KB
cowabunga-v2.rkt	RKT	107.94 KB
cowabunga-v3.rkt	RKT	111.91 KB
cowabunga-v4.rkt	RKT	114.82 KB
cowabunga-v5.rkt	RKT	117.07 KB
cowabunga-v6.rkt	RKT	118.59 KB
demolish-solution.rkt	RKT	79.75 KB
dinner-solution.rkt	RKT	80.37 KB
direction-solution.rkt	RKT	78.49 KB
double-solution.rkt	RKT	78.55 KB
ellipses-solution.rkt	RKT	98.43 KB
employees-solution.rkt	RKT	78.45 KB
ensure-question-solution.rkt	RKT	73.58 KB
evaluate-boo-solution.rkt	RKT	78.56 KB
evaluation-prims-solution.rkt	RKT	71.99 KB
even-more-foo-evaluation-solution.rkt	RKT	72.02 KB
find-person-solution.rkt	RKT	84.42 KB
fold-dir-solution.rkt	RKT	92.12 KB
foo-evaluation-solution.rkt	RKT	73.77 KB
glue-solution.rkt	RKT	70.51 KB
growing-grass-solution.rkt	RKT	88.73 KB
image-area-solution.rkt	RKT	75.25 KB
image-list-solution.rkt	RKT	79.5 KB
image-organizer-solution.rkt	RKT	92.87 KB
largest-solution.rkt	RKT	78.52 KB
less-than-five-solution.rkt	RKT	73.57 KB
letter-grade-solution.rkt	RKT	72.68 KB
make-box-solution.rkt	RKT	75.92 KB
making-rain-filtered-solution.rkt	RKT	97.4 KB
more-arithmetic-expression-solution.rkt	RKT	71.84 KB
more-foo-evaluation-solution.rkt	RKT	71.88 KB
movie-solution.rkt	RKT	81.99 KB
naturals-solution.rkt	RKT	82.76 KB
new-numerals-solution.rkt	RKT	85.55 KB
overlay-solution.rkt	RKT	73.12 KB
rocket-solution.rkt	RKT	80.52 KB
rolling-lambda-solution.rkt	RKT	783.18 KB
rolling-lambda-without-geometry-solution.rkt	RKT	781.85 KB
seat-num-solution.rkt	RKT	72.68 KB
spinning-solution.rkt	RKT	94.36 KB
student-solution.rkt	RKT	81.06 KB
sudoku-solution.rkt	RKT	142.25 KB
sum-n-solution.rkt	RKT	77.99 KB
summon-solution.rkt	RKT	74.29 KB
tall-solution.rkt	RKT	73.75 KB
termination-solution.rkt	RKT	214.21 KB
tile-solution.rkt	RKT	72.94 KB
total-string-length-solution.rkt	RKT	79.07 KB
trip-solution.rkt	RKT	82.56 KB
tuition-graph-c-solution.rkt	RKT	95.62 KB
using-built-ins-solution.rkt	RKT	88.45 KB
van-koch-solution.rkt	RKT	106.83 KB
yell-all-solution.rkt	RKT	79.48 KB
yell-solution.rkt	RKT	72.2 KB

prob-starter

abstract-some-starter.rkt	RKT	77.74 KB
abstract-sum-starter.rkt	RKT	77.44 KB
add-mouse-handler-starter.rkt	RKT	117.03 KB
aisle-starter.rkt	RKT	71.57 KB
alternative-tuition-graph-starter.rkt	RKT	77.58 KB
area-starter.rkt	RKT	69.5 KB
arithmetic-expression-starter.rkt	RKT	70.28 KB
arrange-images-starter.rkt	RKT	73.37 KB
arrange-images-v2.rkt	RKT	80.12 KB
arrange-images-v3.rkt	RKT	82.49 KB
arrange-images-v4.rkt	RKT	88.59 KB
arrange-images-v5.rkt	RKT	87.19 KB
bag-starter.rkt	RKT	77.3 KB
best-starter.rkt	RKT	72.11 KB
boolean-list-starter.rkt	RKT	74.91 KB
boxify-starter.rkt	RKT	75.93 KB
breakfast-starter.rkt	RKT	78.65 KB
bump-up-starter.rkt	RKT	72.17 KB
cantor-starter.rkt	RKT	129.51 KB
cartesian-starter.rkt	RKT	81.08 KB
cat-starter.rkt	RKT	111.29 KB
cat-v1.rkt	RKT	112.21 KB
cat-v2.rkt	RKT	112.45 KB
circle-fractal-starter.rkt	RKT	87.64 KB
city-name-starter.rkt	RKT	70.93 KB
closures-starter.rkt	RKT	81.05 KB
compare-images-starter.rkt	RKT	72.22 KB
compound-starter.rkt	RKT	70.16 KB
cond-starter.rkt	RKT	73.45 KB
countdown-starter.rkt	RKT	71.51 KB
countdown-to-display-starter.rkt	RKT	76.98 KB
cowabunga-starter.rkt	RKT	109.07 KB
demolish-starter.rkt	RKT	76.06 KB
designing-with-lists-1-starter.rkt	RKT	76.85 KB
dinner-starter.rkt	RKT	76.55 KB
direction-starter.rkt	RKT	76.06 KB
double-starter.rkt	RKT	70.45 KB
ellipses-starter.rkt	RKT	94.06 KB
employees-starter.rkt	RKT	76 KB
encapsulate-total-area-starter.rkt	RKT	83.02 KB
ensure-question-starter.rkt	RKT	72.02 KB
evaluate-boo-starter.rkt	RKT	77.66 KB
evaluate-foo-starter.rkt	RKT	75.13 KB
evaluation-prims-starter.rkt	RKT	70.87 KB
even-more-foo-evaluation-starter.rkt	RKT	71.06 KB
find-person-starter.rkt	RKT	79.83 KB
fold-dir-starter.rkt	RKT	81.56 KB
fold-functions-starter.rkt	RKT	101 KB
foo-evaluation-starter.rkt	RKT	71.31 KB
fractals-starter.rkt	RKT	130.69 KB
fs-starter.rkt	RKT	1.11 KB
fs-v1.rkt	RKT	29.42 KB
fs-v2.rkt	RKT	32.76 KB
fs-v3.rkt	RKT	37.19 KB
fs-v4.rkt	RKT	42.95 KB
fs-v6.rkt	RKT	24.37 KB
function-definitions-starter.rkt	RKT	542 B
glue-starter.rkt	RKT	70.28 KB
growing-grass-starter.rkt	RKT	79.06 KB
image-area-starter.rkt	RKT	71.4 KB
image-list-starter.rkt	RKT	74.97 KB
image-organizer-starter.rkt	RKT	83.75 KB
largest-starter.rkt	RKT	76.89 KB
less-than-five-starter.rkt	RKT	71.41 KB
letter-grade-starter.rkt	RKT	71.03 KB
make-box-starter.rkt	RKT	71.77 KB
making-rain-filtered-starter.rkt	RKT	85.84 KB
more-arithmetic-expression-starter.rkt	RKT	71.44 KB
more-foo-evaluation-starter.rkt	RKT	70.98 KB
movie-starter.rkt	RKT	77.23 KB
naturals-starter.rkt	RKT	80.11 KB
new-numerals-starter.rkt	RKT	74.19 KB
next-color-starter.rkt	RKT	84.64 KB
overlay-starter.rkt	RKT	72.39 KB
parameterization-starter.rkt	RKT	3.14 KB
parameterization-v2.rkt	RKT	2.76 KB
parameterization-v3.rkt	RKT	3.62 KB
photos-starter.rkt	RKT	76.07 KB
pythag-starter.rkt	RKT	82.84 KB
quidditch-recap-starter.rkt	RKT	76.28 KB
quidditch-starter.rkt	RKT	72.17 KB
rocket-starter.rkt	RKT	76.3 KB
rolling-lambda-starter.rkt	RKT	630.06 KB
rolling-lambda-without-geometry-starter.rkt	RKT	630.18 KB
seat-num-starter.rkt	RKT	71.5 KB
spinning-starter.rkt	RKT	83.94 KB
stepper-starter.rkt	RKT	587 B
student-starter.rkt	RKT	76.58 KB
sudoku-starter.rkt	RKT	122.83 KB
sudoku-v1.rkt	RKT	125.88 KB
sudoku-v2.rkt	RKT	126.86 KB
sudoku-v3.rkt	RKT	131.89 KB
sudoku-v4.rkt	RKT	138.79 KB
sum-n-starter.rkt	RKT	76.71 KB
summon-starter.rkt	RKT	72.48 KB
tall-starter.rkt	RKT	70.77 KB
termination-starter.rkt	RKT	212.67 KB
tile-starter.rkt	RKT	72.05 KB
total-string-length-starter.rkt	RKT	77.3 KB
trip-starter.rkt	RKT	77.21 KB
tuition-graph-c-starter.rkt	RKT	85.52 KB
tuition-graph-starter.rkt	RKT	82.11 KB
tuition-graph-v3.rkt	RKT	87.38 KB
using-built-ins-starter.rkt	RKT	85.97 KB
van-koch-starter.rkt	RKT	94.51 KB
wide-only-starter.rkt	RKT	74.31 KB
yell-all-starter.rkt	RKT	77.18 KB
yell-starter.rkt	RKT	70.92 KB

modules

to do well.pdf	PDF	116.28 KB
week1 primitives.pdf	PDF	185.71 KB
week2 functions.pdf	PDF	168.78 KB
week3 data.pdf	PDF	195.9 KB
week4 worlds.pdf	PDF	204.6 KB
week5 self reference.pdf	PDF	205.37 KB
week6 mutual reference.pdf	PDF	166.22 KB
week7 local expression and abstraction.pdf	PDF	196.67 KB
week8 generative recursion.pdf	PDF	191.75 KB

overview.pdf

PDF

15.24 MB

quizzes

01b.pdf	PDF	291.09 KB
01c.pdf	PDF	263.94 KB
01d.pdf	PDF	312.25 KB
01e.pdf	PDF	605.26 KB
01f.pdf	PDF	608.27 KB
01g.pdf	PDF	619.06 KB
01i.pdf	PDF	166.29 KB
02a.pdf	PDF	169.32 KB
02b.pdf	PDF	487.95 KB
03a.pdf	PDF	424.21 KB
03c.pdf	PDF	396.4 KB
03d.pdf	PDF	386.98 KB
03f.pdf	PDF	129.99 KB
03g.pdf	PDF	153.24 KB
03h.pdf	PDF	667.24 KB
03i.pdf	PDF	342.77 KB
03j.pdf	PDF	279.03 KB
03k.pdf	PDF	378.8 KB
04b.pdf	PDF	96.92 KB
04c.pdf	PDF	458.92 KB
04d.pdf	PDF	329.27 KB
04e.pdf	PDF	301.53 KB
04g.pdf	PDF	220.09 KB
04h.pdf	PDF	371.29 KB
04i.pdf	PDF	229.35 KB
05b.pdf	PDF	532.76 KB
05c.pdf	PDF	180.1 KB
05d.pdf	PDF	735.02 KB
05e.pdf	PDF	364.52 KB
05f.pdf	PDF	399.26 KB
05g.pdf	PDF	304.46 KB
05h.pdf	PDF	627.31 KB
05i.pdf	PDF	110.35 KB
05j.pdf	PDF	294.88 KB
05k.pdf	PDF	411.43 KB
06b.pdf	PDF	646.42 KB
06c.pdf	PDF	308.53 KB
06d.pdf	PDF	564.5 KB
06e.pdf	PDF	439.16 KB
06f.pdf	PDF	315.94 KB
06g.pdf	PDF	509.88 KB
06h.pdf	PDF	780.08 KB
06i.pdf	PDF	298.98 KB
06k.pdf	PDF	693.07 KB
06l.pdf	PDF	102.77 KB
07b.pdf	PDF	93.06 KB
07c.pdf	PDF	676.81 KB
07d.pdf	PDF	599.04 KB
07e.pdf	PDF	667.68 KB
07f.pdf	PDF	254.73 KB
07j.pdf	PDF	240.68 KB
07k.pdf	PDF	613.38 KB
07m.pdf	PDF	102.41 KB
08c.pdf	PDF	335.23 KB
08f.pdf	PDF	173.23 KB
08h.pdf	PDF	125.09 KB
08j.pdf	PDF	217.74 KB

recepies

00 design recepies main.pdf	PDF	139.04 KB
01 core - 01 htd.pdf	PDF	168.92 KB
01 core - 02 htdd.pdf	PDF	256.74 KB
01 core - 03 data driven templates.pdf	PDF	216.77 KB
01 core - 04 htdw.pdf	PDF	170.71 KB
03 control driven - 01 function composition.pdf	PDF	131.68 KB
03 control driven - 02 backtracking.pdf	PDF	106.34 KB
03 control driven - 03 generative recursion.pdf	PDF	106.81 KB
04 abstraction - 01 from examples.pdf	PDF	91.81 KB
04 abstraction - 02 from type comments.pdf	PDF	148.09 KB
04 abstraction - 03 abstract functions.pdf	PDF	122.57 KB

soft

racket-5.3.5-bin-i386-win32.exe

EXE

51.71 MB

subtitles

1 - 1 - 01a Introduction.srt	SRT	8.7 KB
1 - 2 - 01b Expressions.srt	SRT	11.75 KB
1 - 3 - 01c - Evaluation.srt	SRT	8.98 KB
1 - 4 - 01d Strings and Images.srt	SRT	14.25 KB
1 - 5 - 01e Constant Definitions.srt	SRT	9.83 KB
1 - 6 - 01f Function Definitions.srt	SRT	15.47 KB
1 - 7 - 01g Booleans and if Expressions.srt	SRT	16.33 KB
1 - 8 - 01h Using the Stepper.srt	SRT	7.39 KB
1 - 9 - 01i Discovering Primitives.srt	SRT	7.33 KB
2 - 1 - 03a cond Expressions.srt	SRT	14.08 KB
2 - 10 - 03j HtDF With Enumeration.srt	SRT	7.55 KB
2 - 11 - 03k HtDF With Itemization.srt	SRT	12.5 KB
2 - 12 - 03l Structure of Information Flows Through.srt	SRT	5.52 KB
2 - 2 - 03b Data Definitions.srt	SRT	10.84 KB
2 - 3 - 03c Atomic Non-Distinct Data Definitions.srt	SRT	9.96 KB
2 - 4 - 03d HtDF with Data Definition.srt	SRT	9.42 KB
2 - 5 - 03e HtDF Form of Data Orthogonality.srt	SRT	7.41 KB
2 - 6 - 03f Interval Data Definitions.srt	SRT	8.54 KB
2 - 7 - 03g Enumeration Data Definitions.srt	SRT	11.08 KB
2 - 8 - 03h Itemization Data Definitions.srt	SRT	13.28 KB
2 - 9 - 03i HtDF With Interval.srt	SRT	6.17 KB
4 - 1 - 02a How to Design Functions (Full Speed).srt	SRT	10.32 KB
4 - 2 - 02b How to Design Functions (Slow Motion).srt	SRT	14.98 KB
4 - 3 - 02c HtDF Examples - yell.srt	SRT	3.86 KB
4 - 4 - 02d HtDF Examples - area.srt	SRT	5.98 KB
4 - 5 - 02e HtDF Examples - image-area.srt	SRT	7.04 KB
4 - 6 - 02f HtDF Examples - tall.srt	SRT	13.48 KB
5 - 1 - 04a Interactive Programs.srt	SRT	3.15 KB
5 - 10 - 04j HtDW With Compound Data.srt	SRT	36.71 KB
5 - 2 - 04b The big-bang Mechanism.srt	SRT	16.17 KB
5 - 3 - 04c How to Design Worlds - Analysis.srt	SRT	10.19 KB
5 - 4 - 04d HtDW Program Through main Function.srt	SRT	18.49 KB
5 - 5 - 04e HtDW Working Through the Wish List.srt	SRT	13.38 KB
5 - 6 - 04f Improving a World Program - Add SPEED.srt	SRT	8.35 KB
5 - 7 - 04g Improving a World Program - Add on-key Option.srt	SRT	16.21 KB
5 - 8 - 04h define-struct.srt	SRT	6.44 KB
5 - 9 - 04i Compound Data Definitions.srt	SRT	6.98 KB
6 - 1 - 05a Introduction to Arbitrary Sized Data.srt	SRT	1.77 KB
6 - 10 - 05j The Reference Rule Part 3.srt	SRT	12.76 KB
6 - 11 - 05k Natural Numbers.srt	SRT	14.17 KB
6 - 12 - 05l A Parlor Trick.srt	SRT	18.47 KB
6 - 2 - 05b List Mechanisms.srt	SRT	9.72 KB
6 - 3 - 05c A First List Data Definition.srt	SRT	14.52 KB
6 - 4 - 05d A First Function Operating On a List.srt	SRT	8.53 KB
6 - 5 - 05e Revising the Recipes for Lists.srt	SRT	16.17 KB
6 - 6 - 05f Designing With Lists 1.srt	SRT	14.88 KB
6 - 7 - 05g Positions in List Templates.srt	SRT	9.77 KB
6 - 8 - 05h The Reference Rule Part 1.srt	SRT	14.38 KB
6 - 9 - 05i The Reference Rule Part 2.srt	SRT	15.72 KB
7 - 1 - 06a More Helpers and Mutual Helpers.srt	SRT	1.74 KB
7 - 10 - 06j Functions on Mutually Recursive Data - Part 1.srt	SRT	15.25 KB
7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.srt	SRT	12.13 KB
7 - 12 - 06l Backtracking Search.srt	SRT	21.3 KB
7 - 2 - 06b More Helpers - Function Composition.srt	SRT	16.66 KB
7 - 3 - 06c Layout Out a List of Images.srt	SRT	4.43 KB
7 - 4 - 06d More Helpers - Operating on a List.srt	SRT	12.39 KB
7 - 5 - 06e More Helpers - Domain Knowledge.srt	SRT	16.34 KB
7 - 6 - 06f More Helpers - Wrap Up.srt	SRT	8.47 KB
7 - 7 - 06g List Abbreviations.srt	SRT	6.06 KB
7 - 8 - 06h Mutually Recursive Data.srt	SRT	12.52 KB
7 - 9 - 06i Templating Mutual Recursion.srt	SRT	5.07 KB
8 - 1 - 07a Introduction to Local Expressions.srt	SRT	924 B
8 - 10 - 07j Abstraction from Examples - 3.srt	SRT	20.89 KB
8 - 11 - 07k Using Built In Abstract Functions.srt	SRT	22.97 KB
8 - 12 - 07l Closures.srt	SRT	13.3 KB
8 - 13 - 07m Fold Functions.srt	SRT	23.15 KB
8 - 2 - 07b Local Expressions -- Forming and Intuition.srt	SRT	6.36 KB
8 - 3 - 07c Local Expressions -- Lexical Scoping.srt	SRT	8.82 KB
8 - 4 - 07d Local Expressions -- Evaluation Rules.srt	SRT	9.78 KB
8 - 5 - 07e Local Expressions -- Encapsulation.srt	SRT	21.16 KB
8 - 6 - 07f Local Expressions -- Avoid Recomputation.srt	SRT	12.71 KB
8 - 7 - 07g Introduction to Abstraction.srt	SRT	1.44 KB
8 - 8 - 07h Abstraction from Examples - 1.srt	SRT	12.64 KB
8 - 9 - 07i Abstraction from Examples - 2.srt	SRT	12.31 KB
9 - 1 - 08a - Generative Recursion.srt	SRT	2.4 KB
9 - 10 - 08j - Sudoku -- Making the Wish List Come True 1.srt	SRT	13.49 KB
9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.srt	SRT	22.01 KB
9 - 13 - 08z - Summary.srt	SRT	18.32 KB
9 - 2 - 08b - Fractals.srt	SRT	26.81 KB
9 - 3 - 08c - Termination Arguments.srt	SRT	13.27 KB
9 - 4 - 08d - Introduction to Search Problems.srt	SRT	2.53 KB
9 - 5 - 08e - Sudoku -- Terminology.srt	SRT	3.59 KB
9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.srt	SRT	14.78 KB
9 - 7 - 08g - Sudoku -- The Search Intuition.srt	SRT	7.82 KB
9 - 8 - 08h - Sudoku -- Template Blending.srt	SRT	15.57 KB
9 - 9 - 08i - Sudoku -- Making the Wish List.srt	SRT	3.97 KB

video

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

Description

Show full description

Related Torrents

TORRENT NAME	SIZE	FILES	AGE	SEED	LEECH	SOURCE
Udemy - Introduction To Narrow Ai And General Ai Posted by freecoursewb in Other Posted in Other 5 1.2 GB 2 months ago freecoursewb	Size 1.2 GB	Files 11	Age 2 months ago	Seeds 5	Leechs 8	Source
Udemy - Introduction to PFAS for Suppliers Posted by freecoursewb in Other Posted in Other 0 794.5 MB 2 months ago freecoursewb	Size 794.5 MB	Files 15	Age 2 months ago	Seeds 0	Leechs 0	Source
Udemy - Introduction To Ai And Big Data Posted by freecoursewb in Other Posted in Other 14 2.4 GB 3 months ago freecoursewb	Size 2.4 GB	Files 19	Age 3 months ago	Seeds 14	Leechs 20	Source
Udemy - Introduction To Micropython Using The Pyboard Posted by freecoursewb in Other Posted in Other 0 3.4 GB 3 months ago freecoursewb	Size 3.4 GB	Files 57	Age 3 months ago	Seeds 0	Leechs 0	Source
Udemy - Introduction To Automotive Functional Safety (Fusa) Posted by freecoursewb in Other Posted in Other 0 890 MB 3 months ago freecoursewb	Size 890 MB	Files 12	Age 3 months ago	Seeds 0	Leechs 0	Source

Introduction to Systematic Program Design - Part 1 [2013, ENG]

Torrent Contents Size: 1.32 GB

Description

Related Torrents

Location

Trackers

Latest News

Latest Searches

Sites In Our Index

Popular Tags

Tracker name
http://bt3.t-ru.org/ann?magnet
http://bt1.t-ru.org/ann
http://bt2.t-ru.org/ann
http://bt4.t-ru.org/ann
udp://tracker.opentrackr.org:1337
udp://open.stealth.si:80/announce
udp://tracker.torrent.eu.org:451/announce
udp://exodus.desync.com:6969
udp://open.demonii.com:1337/announce
udp://tracker.coppersurfer.tk:6969
udp://p4p.arenabg.com:1337
udp://tracker.internetwarriors.net:1337