Skip to content

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

Unverified source. This magnet is from an unverified source. The content may be unsafe or mislabeled. Proceed with caution.
Title: Coursera - Introduction to Systematic Program DesignGroup: NOGRP
Info Hash
99771123D5D176537FB125530DF6E706EC286920
Source
Unverified
Total Size
1.32 GB
Total Files
100
Seeders
1
Leechers
0
Health
1.00
Score
2
Type
App

File List

FileSize
soft/racket-5.3.5-bin-i386-win32.exe51.71 MB
video/5 - 10 - 04j HtDW With Compound Data.mp444.66 MB
video/1 - 1 - 01a Introduction.mp429.27 MB
video/5 - 4 - 04d HtDW Program Through main Function.mp429.22 MB
video/7 - 12 - 06l Backtracking Search.mp428.67 MB
video/7 - 5 - 06e More Helpers - Domain Knowledge.mp426.11 MB
video/4 - 1 - 02a How to Design Functions (Full Speed).mp425.22 MB
video/9 - 2 - 08b - Fractals.mp424.79 MB
video/8 - 13 - 07m Fold Functions.mp422.89 MB
video/9 - 11 - 08k - Sudoku -- Making the Wish List Come True 2.mp421.65 MB
video/9 - 12 - 08l - Sudoku -- Making the Wish List Come True 3.mp421.42 MB
video/4 - 2 - 02b How to Design Functions (Slow Motion).mp421.2 MB
video/5 - 7 - 04g Improving a World Program - Add on-key Option.mp421.07 MB
video/6 - 8 - 05h The Reference Rule Part 1.mp420.64 MB
video/6 - 6 - 05f Designing With Lists 1.mp420.57 MB
video/8 - 5 - 07e Local Expressions -- Encapsulation.mp420.41 MB
video/8 - 11 - 07k Using Built In Abstract Functions.mp420.27 MB
video/1 - 7 - 01g Booleans and if Expressions.mp420.25 MB
video/4 - 6 - 02f HtDF Examples - tall.mp419.82 MB
video/6 - 12 - 05l A Parlor Trick.mp419 MB
video/1 - 6 - 01f Function Definitions.mp418.56 MB
video/9 - 8 - 08h - Sudoku -- Template Blending.mp418.4 MB
video/2 - 8 - 03h Itemization Data Definitions.mp418.36 MB
video/6 - 10 - 05j The Reference Rule Part 3.mp418.18 MB
video/8 - 10 - 07j Abstraction from Examples - 3.mp418.13 MB
video/6 - 3 - 05c A First List Data Definition.mp418.1 MB
video/7 - 4 - 06d More Helpers - Operating on a List.mp417.99 MB
video/2 - 1 - 03a cond Expressions.mp417.04 MB
video/2 - 11 - 03k HtDF With Itemization.mp416.56 MB
video/1 - 4 - 01d Strings and Images.mp416.34 MB
video/6 - 9 - 05i The Reference Rule Part 2.mp416.29 MB
video/6 - 5 - 05e Revising the Recipes for Lists.mp416.18 MB
video/1 - 2 - 01b Expressions.mp415.81 MB
video/5 - 5 - 04e HtDW Working Through the Wish List.mp415.66 MB
overview.pdf15.24 MB
video/9 - 6 - 08f - Sudoku -- Data Definitions and Primitives.mp415.12 MB
video/2 - 7 - 03g Enumeration Data Definitions.mp415.12 MB
video/9 - 13 - 08z - Summary.mp415.04 MB
video/1 - 5 - 01e Constant Definitions.mp414.88 MB
video/9 - 10 - 08j - Sudoku -- Making the Wish List Come True 1.mp414.7 MB
video/7 - 10 - 06j Functions on Mutually Recursive Data - Part 1.mp414.65 MB
video/6 - 11 - 05k Natural Numbers.mp414.55 MB
video/1 - 3 - 01c - Evaluation.mp414.49 MB
video/7 - 8 - 06h Mutually Recursive Data.mp414.34 MB
video/7 - 2 - 06b More Helpers - Function Composition.mp414.22 MB
video/7 - 11 - 06k Functions on Mutually Recursive Data - Part 2.mp414.19 MB
video/8 - 12 - 07l Closures.mp413.47 MB
video/2 - 2 - 03b Data Definitions.mp413.22 MB
video/8 - 6 - 07f Local Expressions -- Avoid Recomputation.mp413.22 MB
video/2 - 3 - 03c Atomic Non-Distinct Data Definitions.mp413.09 MB
video/2 - 4 - 03d HtDF with Data Definition.mp413.03 MB
video/9 - 3 - 08c - Termination Arguments.mp412.95 MB
video/8 - 9 - 07i Abstraction from Examples - 2.mp412.9 MB
video/1 - 9 - 01i Discovering Primitives.mp412.87 MB
video/8 - 8 - 07h Abstraction from Examples - 1.mp412.67 MB
video/5 - 3 - 04c How to Design Worlds - Analysis.mp412.21 MB
video/5 - 2 - 04b The big-bang Mechanism.mp412.06 MB
video/6 - 4 - 05d A First Function Operating On a List.mp412.04 MB
video/4 - 5 - 02e HtDF Examples - image-area.mp411.96 MB
video/2 - 6 - 03f Interval Data Definitions.mp411.16 MB
video/2 - 5 - 03e HtDF Form of Data Orthogonality.mp410.31 MB
video/7 - 6 - 06f More Helpers - Wrap Up.mp410.04 MB
video/5 - 9 - 04i Compound Data Definitions.mp410.02 MB
video/5 - 6 - 04f Improving a World Program - Add SPEED.mp49.57 MB
video/2 - 12 - 03l Structure of Information Flows Through.mp49.19 MB
video/6 - 7 - 05g Positions in List Templates.mp49.03 MB
video/2 - 10 - 03j HtDF With Enumeration.mp49 MB
video/2 - 9 - 03i HtDF With Interval.mp49 MB
video/6 - 2 - 05b List Mechanisms.mp48.93 MB
video/5 - 1 - 04a Interactive Programs.mp48.02 MB
video/5 - 8 - 04h define-struct.mp48.01 MB
video/4 - 4 - 02d HtDF Examples - area.mp47.99 MB
video/8 - 4 - 07d Local Expressions -- Evaluation Rules.mp47.71 MB
video/1 - 8 - 01h Using the Stepper.mp47.45 MB
video/9 - 7 - 08g - Sudoku -- The Search Intuition.mp47.3 MB
video/8 - 3 - 07c Local Expressions -- Lexical Scoping.mp47.12 MB
video/7 - 3 - 06c Layout Out a List of Images.mp47.12 MB
video/7 - 9 - 06i Templating Mutual Recursion.mp46.57 MB
video/4 - 3 - 02c HtDF Examples - yell.mp46.48 MB
video/9 - 4 - 08d - Introduction to Search Problems.mp45.6 MB
video/9 - 1 - 08a - Generative Recursion.mp45.46 MB
video/7 - 7 - 06g List Abbreviations.mp45.04 MB
video/9 - 9 - 08i - Sudoku -- Making the Wish List.mp44.83 MB
video/8 - 2 - 07b Local Expressions -- Forming and Intuition.mp44.71 MB
video/6 - 1 - 05a Introduction to Arbitrary Sized Data.mp44.7 MB
video/7 - 1 - 06a More Helpers and Mutual Helpers.mp44.63 MB
video/9 - 5 - 08e - Sudoku -- Terminology.mp43.25 MB
video/8 - 7 - 07g Introduction to Abstraction.mp43.01 MB
video/8 - 1 - 07a Introduction to Local Expressions.mp41.72 MB
code/prob-solution/rolling-lambda-solution.rkt783.18 KB
code/prob-solution/rolling-lambda-without-geometry-solution.rkt781.85 KB
quizzes/06h.pdf780.08 KB
quizzes/05d.pdf735.02 KB
quizzes/06k.pdf693.07 KB
quizzes/07c.pdf676.81 KB
quizzes/07e.pdf667.68 KB
quizzes/03h.pdf667.24 KB
quizzes/06b.pdf646.42 KB
code/prob-starter/rolling-lambda-without-geometry-starter.rkt630.18 KB
code/prob-starter/rolling-lambda-starter.rkt630.06 KB

Trackers

No trackers found.