Argumentos didácticos a favor de los Tableaux Semánticos

Actualmente existe consenso en la comunidad académica sobre la importancia de incorporar al menos los conceptos básicos acerca de los Sistemas Formales dentro de la currícula de grado de Ciencias de la Computación [1]. En general, se alcanza a cubrir tanto la lógica proposicional como la lógica de p...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Simari, Guillermo Ricardo, Stankevicius, Alejandro G.
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	1998
Materias:	Ciencias Informáticas Educación tableaux semántico programa de enseñanza Lógica cálculo proposicional
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24838
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-24838
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Educación tableaux semántico programa de enseñanza Lógica cálculo proposicional
spellingShingle	Ciencias Informáticas Educación tableaux semántico programa de enseñanza Lógica cálculo proposicional Simari, Guillermo Ricardo Stankevicius, Alejandro G. Argumentos didácticos a favor de los Tableaux Semánticos
topic_facet	Ciencias Informáticas Educación tableaux semántico programa de enseñanza Lógica cálculo proposicional
description	Actualmente existe consenso en la comunidad académica sobre la importancia de incorporar al menos los conceptos básicos acerca de los Sistemas Formales dentro de la currícula de grado de Ciencias de la Computación [1]. En general, se alcanza a cubrir tanto la lógica proposicional como la lógica de primer orden. Al abordar cada teoría debemos definir algún sistema de prueba (empleado a la hora de determinar el conjunto de teoremas sancionados por la misma). El enfoque clásico propone adoptar la resolución básica (ground resolution) o las tablas de verdad, para el cálculo proposicional, y resolución general para el cálculo de predicados. El objetivo de este trabajo consiste en fundamentar la elección del Tableau Semántico Proposicional(TSP) como una alternativa más apropiada desde un punto de vista didáctico a la hora de introducir un sistema de prueba para el cálculo proposicional. Este nuevo enfoque ha sido aplicado por la cátedra de la asignatura "Lógica para Ciencias de la Computación", con satisfactorios resultados. A manera de síntesis de las virtudes expuestas, se desarrollara una implementación abstracta de TSP, apropiada para acompañar la presentación de la teoría, que reduce la distancia entre los conceptos formales que deben ser introducidos y la experiencia previa de los alumnos.
format	Objeto de conferencia Objeto de conferencia
author	Simari, Guillermo Ricardo Stankevicius, Alejandro G.
author_facet	Simari, Guillermo Ricardo Stankevicius, Alejandro G.
author_sort	Simari, Guillermo Ricardo
title	Argumentos didácticos a favor de los Tableaux Semánticos
title_short	Argumentos didácticos a favor de los Tableaux Semánticos
title_full	Argumentos didácticos a favor de los Tableaux Semánticos
title_fullStr	Argumentos didácticos a favor de los Tableaux Semánticos
title_full_unstemmed	Argumentos didácticos a favor de los Tableaux Semánticos
title_sort	argumentos didácticos a favor de los tableaux semánticos
publishDate	1998
url	http://sedici.unlp.edu.ar/handle/10915/24838
work_keys_str_mv	AT simariguillermoricardo argumentosdidacticosafavordelostableauxsemanticos AT stankeviciusalejandrog argumentosdidacticosafavordelostableauxsemanticos
bdutipo_str	Repositorios
_version_	1764820466409668609

Argumentos didácticos a favor de los Tableaux Semánticos

Ejemplares similares