Tracejador Interactiu de Lambda-Càlcul Web – TILC(W)

Abstract

Actualment, a la Universitat de Girona s’ofereix el Grau en Enginyeria Informàtica on al 3r curs es fa l’assignatura de “Paradigmes i Llenguatges de Programació”. Dins d’aquesta assignatura s’ensenyen diferents paradigmes que no es presenten fins a aquest curs i apareix la programació funcional, concretament es presenta la seva base, el Lambda-Càlcul. La Teoria del Lambda-Càlcul pot resultar complicada o difícil d’entendre en un primer moment. L’objectiu d’aquest projecte és facilitar aquest aprenentatge mitjançant una aplicació web gràfica que presenti aquests conceptes d’una manera visual. El que es pretén és crear una eina de caràcter educatiu on-line a disposició dels estudiants que cursen la matèria i també per als professors que imparteixen l’assignatura