Resolución en lógicas anotadas sobre birretículos

Este trabajo presenta los elementos básicos de la lógica de Primer Orden: su sintaxis y su semántica. Describimos un tipo especial de fórmula, llamado formas normales, que nos permiten automatizar los procesos; definimos las aplicaciones de sustitución y formalizamos el concepto de Resolución en el...

Full description

Autores:

Ramírez Osorio, Ricardo Neftalí

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2009

Institución:

Universidad del Valle

Repositorio:

Repositorio Digital Univalle

Idioma:

spa

OAI Identifier:

oai:bibliotecadigital.univalle.edu.co:10893/23716

Acceso en línea:

https://hdl.handle.net/10893/23716

Palabra clave:

Lógica de Primer Orden
 Lógica matemática
 Programación lógica

Rights

openAccess

License

Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)