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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
1998
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24838 |
Aporte de: |
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 |