Lambda Calculator SE 2.1.0 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist.
Diese kostenlose Software wurde ursprünglich von Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford designt. Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Diese Software gehört zur Kategorie "Bildung und Wissenschaft" und Unterkategorie "Lehrsoftware".
Vom Entwickler:
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.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Delay Time Calculator oder Physics 101 SE informieren, die an Lambda Calculator SE ähnlich sein können.