Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática

Abstract

El presente trabajo define una taxonomía para la clasificación de recursos digitales del ámbito de la lógica tradicional, y más concretamente los recursos que se podrían generar en el ámbito de la asignatura de Lógica Matemática del plan de estudios de las titulaciones de Ingeniería Técnica de Gestión y de Sistemas impartidas en la Universitat Oberta de Catalunya (UOC).

This paper defines a taxonomy for the classification of digital resources in the field of traditional logic, and specifically for the resources that could be generated in the field of the subject of Mathematical Logic included in the curricula of the Technical Engineering in Computer Management and the Technical Engineering in Computer Systems and Management Systems degrees taught at the Universitat Oberta de Catalunya (UOC).

Aquest treball defineix una taxonomia per a la classificació de recursos digitals de l'àmbit de la lògica tradicional, i més concretament els recursos que es podrien generar en l'àmbit de l'assignatura de Lògica Matemàtica del pla d'estudis de les titulacions d'Enginyeria Tècnica de Gestió i de Sistemes impartides a la Universitat Oberta de Catalunya (UOC).