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

Ejemplares similares

Ejemplares similares