Publicado el 20 de Junio del 2017
757 visualizaciones desde el 20 de Junio del 2017
176,4 KB
20 paginas
Creado hace 9a (22/09/2015)
Lógica
Proposicional
Introducción
Sintaxis
Fórmulas
Inducción sobre
fórmulas
Semántica
Funciones de verdad
Valoraciones
Consecuencia Lógica
y satisfactibilidad
Problemas de
decisión
Tema 1:
Sintaxis y Semántica de la Lógica
Proposicional
Dpto. Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Lógica Informática
(Tecnologías Informáticas)
Curso 2015–16
Contenido
Introducción
Sintaxis
Fórmulas
Inducción sobre fórmulas
Semántica
Funciones de verdad
Valor...
Crear cuenta
21 visualizaciones durante los últimos 90 días