Showing 0–0 of 0 results
| # | Exercise Title | Features | Description | Platform | Keywords |
|---|---|---|---|---|---|
| 1 | Practicing Lambda Calculus Reduction | Tracing Exercise | Algorithm Proficiency Exercise for determining reduction orders in Lambda Calculus expressions. | OpenDSA | Lambda Calculus |
| 2 | Lambda Calculus: Alpha Conversion | Calculation Exercise, Battery | A collection of self-practice questions related to alpha conversion in the Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 3 | Lambda Calculus: Beta-Redex | Question, Battery | A collection of self-practice questions related to Beta-redexes in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 4 | Lambda Calculus: Beta-Redex and Alpha Conversion | Question, Battery | A collection of self-practice questions related to Beta-redexes with Alpha conversion in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 5 | Lambda Calculus: Performing Beta Reductions | Question, Battery | A collection of self-practice questions related to performing Beta-reduction in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 6 | Lambda Calculus: Beta Reduction Order 1 | Question, Battery | A collection of self-practice questions related to Beta reduction order in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 7 | Lambda Calculus: Beta Reduction Order 2 | Question, Battery | A second collection of self-practice questions related to Beta reduction order in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 8 | Lambda Calculus: If-Then-Else in Church Encoding | Question | Question related to if-then-else in Church encoding in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 9 | Lambda Calculus: Church Numerals | Tracing Exercise | A collection of self-practice questions related to Church numerals in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 10 | Lambda Calculus: OR in Church Encoding | Question | Question related to OR in Church encoding in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 11 | Lambda Calculus: Bound Variables | Calculation Exercise, Battery | A collection of self-practice questions related to identifying bound variables in a Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 12 | Lambda Calculus: Free Variables | Calculation Exercise, Battery | A collection of self-practice questions related to identifying free variables in a Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 13 | Lambda Calculus: Semantics | Question | A collection of self-practice questions related to semantics of the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 14 | Lambda Calculus: Syntax 1 | Question, Battery | A collection of self-practice questions related to syntax of the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 15 | Lambda Calculus: Syntax 2 | Question, Battery | A second collection of self-practice questions related to syntax of the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 16 | Lambda Calculus: Substitution 1 | Tracing Exercise, Battery | A collection of self-practice questions related to substitution in the Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 17 | Lambda Calculus: Substitution 2 | Tracing Exercise, Battery | A second collection of self-practice questions related to substitution in the Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 18 | Lambda Calculus: Substitution Subcases 1 | Question, Battery | A collection of self-practice questions related to substitution subcases in the Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 19 | Lambda Calculus: Substitution Subcases 2 | Question, Battery | A second collection of self-practice questions related to substitution subcases in the Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 20 | Lambda Calculus: Substitution Subcases 3 | Question, Battery | A third collection of self-practice questions related to substitution subcases in the Lambda Calculus expression. | OpenDSA | Lambda Calculus |
| 21 | Lambda Calculus: How to Build a Parse Tree | Algorithm Visualization, Code Tracing Presentation | Slideshow visualizing building a parse tree for lambda calculus expressions. | OpenDSA | Lambda Calculus |
| 22 | Applicative-order reduction Proficiency Exercise | Tracing Exercise | Algorithm Proficiency Exercise for determining applicative-order reduction in Lambda Calculus expressions. | OpenDSA | Lambda Calculus |
| 23 | Normal-order reduction Proficiency Exercise | Tracing Exercise | Algorithm Proficiency Exercise for determining normal-order reduction in Lambda Calculus expressions. | OpenDSA | Lambda Calculus |
| 24 | Identifying Fixed Point Combinators | Question, Battery | A collection of self-practice questions related to identifying fixed point combinators in the Lambda Calculus. | OpenDSA | Lambda Calculus |
| 25 | Reduction of True and False using Church Bools | Algorithm Visualization | Slideshow visualizing reduction of true and false using Church bools. | OpenDSA | Lambda Calculus |
| 26 | Church Numerals 2 | Algorithm Visualization | Slideshow illustrating reduction for Church numerals: Multiplication. | OpenDSA | Lambda Calculus |
| 27 | Church Numerals | Algorithm Visualization | Slideshow illustrating reduction for Church numerals. | OpenDSA | Lambda Calculus |
| 28 | Context-Free Grammar Transformation: Remove Lambda Productions Frameset | Programmed Instruction | Programmed Instruction Frameset discussing removing lambda productions from Context-Free Grammars. | OpenDSA | Context-Free Grammar |
| 29 | CFG Transformation Exercise 1 | Grammar Construction Exercise | User creates an equivalent CFG with no usless, lambda, or unit productions: Exercise 1. | OpenDSA | Context-Free Grammar |
| 30 | CFG Transformation Exercise 2 | Grammar Construction Exercise | User creates an equivalent CFG with no usless, lambda, or unit productions: Exercise 2. | OpenDSA | Context-Free Grammar |