Lambda Calculator SE 2.1.0 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Retrouvez ce programme dans notre catégoie Éducation et Science et plus précisément Outils d'éducation. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. Ce logiciel gratuit a été à l'origine créé par Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford.
Du développeur:
The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice derivations in the typed lambda calculus. It is designed for both students and teachers, with modules for online classroom instruction, graded homework assignments, and self-guided practice.
Utilisateur de Lambda Calculator SE, vous pourriez être intéressé aussi par ces programmes : Mathematica, Maths Practice Exam Creator - Year 10 ou Soliloquy Composer.