Item


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

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

Manager: Villaret i Ausellé, Mateu
Other contributions: Universitat de Girona. Escola Politècnica Superior
Author: Gallart Garangou, Oriol
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
Document access: http://hdl.handle.net/2072/296763
Language: cat
Rights: Attribution-NonCommercial-NoDerivs 3.0 Spain
Rights URI: http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Subject: Càlcul lambda -- Ensenyament assistit per ordinador
Interfícies gràfiques d’usuari (Informàtica)
Lambda calculus -- Computer-assisted instruction
Graphical user interfaces (Computer systems)
Title: Tracejador Interactiu de Lambda-Càlcul Web – TILC(W)
Type: info:eu-repo/semantics/bachelorThesis
Repository: Recercat

Subjects

Authors