Ontdek de ongetypeerde lambda calculus, een van de meest fundamentele systemen in de computer. Te beginnen met een opmerkelijk eenvoudige set van regels, alle berekening is mogelijk. Maar alleen omdat de regels eenvoudig zijn, betekent niet dat de lambda-calculus eenvoudig is: je hebt wat slimheid en creativiteit nodig om op een punt te komen waar je alles berekenen. Met deze app u lambda-calculusuitdrukkingen (lambda's, variabelen en functieaanroepen) visueel maken en evalueren. Probeer booleans, kerkcijfers of de Y-combinator uit. Werkt geweldig op tablets! Op telefoons, werkt het beste in landschap modus.
Programmadetails
- Categorie: Onderwijs > Onderwijs - en trainingstools
- Publisher: Alan Pierce
- Licentie: Gratis
- Prijs: N/A
- Versie: 1.1.0
- Platform: android