Lambda Calculator SE

mars 17, 2024
Évaluation:
Catégorie:
Éducation et ScienceOutils d'éducation
Développeur:
Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford
Type de licence:
Open source
Nombre de téléchargements:
17
Latest version:
2.1.0

Description

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, SpellBoard ou Oxford Learners Bookshelf.

Comment protéger votre Mac contre les logiciels malveillants
En avant
Comment partager des fichiers
En avant
Comment taper avec 10 doigts
En avant

Dernières mises à jour