Poznaj nietypowanego rachunku lambda, jeden z najbardziej podstawowych systemów w informatyce. Począwszy od niezwykle prostego zestawu reguł, wszystkie obliczenia są możliwe. Ale to, że zasady są proste, nie oznacza, że rachunek lambda jest łatwy: potrzebujesz sprytu i kreatywności, aby dostać się do punktu, w którym możesz wszystko obliczyć. Ta aplikacja pozwala wizualnie tworzyć wyrażenia lambda rachunku (lambdas, zmienne i wywołania funkcji) i ocenić je. Wypróbuj wartości logiczne, cyfry kościelne lub kombinator Y. Działa świetnie na tabletach! Na telefonach najlepiej sprawdza się w trybie poziomym.
Szczegóły programu
- Kategorii: Edukacji > Narzędzia do nauczania i szkolenia
- Wydawca: Alan Pierce
- Licencji: Wolna
- Cena: N/A
- Wersja: 1.1.0
- Platformy: android