Lambda Calculator SE

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

Ooops

le lien de téléchargement a disparu

Type de licence: Open source

Nombre de téléchargements:23

Latest version:2.1

Signaler des informations incorrectes

Captures d'écran

Description

Notre site web vous offre de télécharger gratuitement Lambda Calculator SE 2.1.0. Retrouvez ce programme dans notre catégoie Éducation et Science et plus précisément Outils d'éducation. Les analyses de notre antivirus intégré indiquent que ce fichier est reconnu sans virus. 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, Toolsmart Free Humanize AI ou Maths Practice Exam Creator - Year 10.

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts