Lambda Calculator SE

par Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford

Télécharger depuis le site Web du développeur

Type de licence: Open source

Nombre de téléchargements:18

Latest version:2.1

Signaler des informations incorrectes

Captures d'écran

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, Maths Practice Exam Creator - Year 10 ou Soliloquy Composer.

Télécharger Lambda Calculator SE depuis le site Web du développeur

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts