Flashcards
2022 - wk2
Cards in this deck (10)
- 1What is an expression again? Remember church-rosser actually is unique normal form thing. Also not every expression has a normal form.
- 2Different evaluation orders and their properties?
- 3How to create a n-argument function?
- 4What is the associating of function applications?
- 5Association of function abstraction?
- 6Parentheses and the scope of abstractions?
- 7True, false and ifelse expressions?
- 8Not, or, and expressions?
- 9Zero and successor functions?
- 10Exponential function?
Information
- Description
- Mathematics Flashcards on 2022 - wk2, created by Keenan Lee on 09/11/2019.
- Created by
- Keenan Lee · Nov 2019
- Updated
- Nov 10, 2019
- Views
- 2
- Rating