Estadísticas del PDF: Tema 6: Sintaxis y semántica de la lógica de primer orden

Tema 6: Sintaxis y semántica de la lógica de primer orden

Publicado el 20 de Junio del 2017
465 visualizaciones desde el 20 de Junio del 2017
258,2 KB
32 paginas
Creado hace 5a (05/11/2015)
Lógica de primer

orden

Introducción

Sintaxis
Lenguajes de primer
orden
Términos y fórmulas
Sustituciones

Semántica
Estructuras
Interpretación de
términos y fórmulas
Consecuencia lógica y
validez

Tema 6: Sintaxis y semántica de la lógica de

primer orden

Depto. Ciencias de la Computación Inteligencia Artificial

Universidad de Sevilla

Lógica Informática (Tecnologías Informáticas)

Curso 2015–16

Contenido

Introducción

Sintaxis

Lenguajes de primer orden
Términos y fórmulas
Sustituciones
...

16 visualizaciones durante los últimos 90 días


1
0