Lambda Calculator SE

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

Ooops

Vaya, el enlace de descarga ya no está

Tipo de licencia: Código abierto

Descargas totales:23

Latest version:2.1

Reportar información incorrecta

Capturas de pantalla

Descripción

Lambda Calculator SE 2.1.0 puede descargarse desde nuestra biblioteca de programas gratuitamente. Nuestro propio antivirus ha comprobado esta descarga y ha determinado que está libre de virus. La herramienta forma parte del grupo de aplicaciones sobre Educación y Ciencia. El auténtico artífice de este programa sin coste es Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford.

Del desarrollador:

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.

Quizás esté interesado en probar otros programas, como Delay Time Calculator o Physics 101 SE, que podrían ser similares a Lambda Calculator SE.

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos