| De Calculator Penn Lambda Een gratis software om Lambda Calculus te typen |
Download nu |
De Calculator Penn Lambda Rangschikking & Samenvatting
- Naam uitgever:
- The Penn Lambda Calculator Team
- Uitgever website:
- http://www.ling.upenn.edu/lambda/
- Besturingssystemen:
- Mac OS X
De Calculator Penn Lambda Tags
De Calculator Penn Lambda Beschrijving
Een gratis software om Lambda Calculus te typen De Calculator Penn Lambda is een gratis en gebruiksvriendelijk, interactief, grafisch, pedagogisch computerprogramma dat studenten van natuurlijke taal formeel semantiek helpt om de typed lambda calculus te oefenen. Het doel van het Penn Lambda Calculator-project is om leraren en studenten een software te bieden Dat helpt hen bij het beheersen van het middelpunt van inleidende cursussen naar formele semantiek: de Lambda-calculus. Het belangrijkste kenmerk van deze software is de geavanceerde routines die veel voorkomende fouten detecteren en "Smart" feedback naar de studentengebruiker retourneren.
De Calculator Penn Lambda Gerelateerde software