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
Date: 2015 June
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
Format: application/pdf
Document access: http://hdl.handle.net/10256/11504
Language: cat
Collection: Enginyeria Informàtica (TFG)
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: DUGiDocs

Subjects

Authors