Lambda Calculator Lambda Calculus gemakkelijk gemaakt.
Download nu

Lambda Calculator Rangschikking & Samenvatting

Lambda Calculator Tags

rekenmachine berekenen calculus Subtractiecalculator veterinaire calculus lambda uitdrukkingen lambda calculus compiler erlang calculus lambda expressie Pi-calculus simulator Lambda vergelijking differentiaalrekening integrale calculus lambda parameter lambda calculator Lambda Calculus reductie sequentie PI-calculusmodel Calculus-programmering Eenvoudig plattegrond MDS tot pot Memory Manager voor Fortran Calculus-programmering LG KG195 spellen H3PO3 sterk zuur Nostradamus Prophecy 1971 gemiddelde calculator MP4-videotag navigator smartphone gratis WordPad to Jar MapLestory REPEAT-programma Fortran Calculus-compiler Fortran Calculus-taal furc

Lambda Calculator Beschrijving

Lambda Calculator is een handige, op Java gebaseerde motor die speciaal is ontworpen voor de Lambda Calculus. Hiermee kan de gebruiker een lambda-expressie invoeren en de volgorde van verlagingen door de motor worden genomen om de uitdrukking tot normale vorm te verminderen. Het programma maakt een verscheidenheid aan aanpassingsmogelijkheden mogelijk, waaronder keuzes tussen de zuivere calculus en een eenvoudige toegepaste calculus en tussen enthousiaste en luie evaluatie. Het is een handig hulpmiddel voor het leren en experimenteren met de Lambda Calculus.

Lambda Calculator Gerelateerde software