De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal

Este artículo desarrolla una propuesta para comprender el aprendizaje en la construcción de demostraciones en sistemas deductivos en lógica formal. Se centra en la tensión entre el nivel formal, necesario y riguroso de los sistemas deductivos y la dimensión social, cambiante y flexible de la enseñan...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Dassie Wilke, Milena
Formato: Artículo revista
Lenguaje:Español
Publicado: Facultad de Filosofía y Humanidades. Secretaría de Investigación, Ciencia y Técnica. Secretaría Académica 2025
Materias:
demostraciones
aprendizaje
lógica formal
proofs
learning
formal logic
Acceso en línea:https://revistas.unc.edu.ar/index.php/sintesis/article/view/50277
Aporte de:
Síntesis de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares