Charla: "Estructuras de Datos en Lógicas de Predicados: estudio del caso SATQBF".

[Cecilia Betervide]

*Charla:* *"Estructuras de Datos en Lógicas de Predicados: estudio del caso
SATQBF".*
*Disertante:* Dr. José María Turull Torres.
*Día:* lunes *19* de noviembre *de 16 a 20 hs*.
*Lugar:* *Sala de Postgrado II* del Departamento de Informática (1er. piso
del Bloque II)


Durante la disertación se analizará la construcción de una fórmula compleja
de la Lógica de Predicados de Segundo Orden que expresa una propiedad
compleja: la satisfabilidad de fórmulas proposicionales con cuantificadores
en forma prenexa. A través de dicha fórmula se verá cómo hacer uso de
estructuras de datos tales como combinaciones de listas con apuntadores y
árboles en lógicas de predicado, a diferencia de lenguajes de programación.
También se mostrará cómo expresar operaciones aritméticas mediante la
utilización de grafos en segundo orden.



*Invita:*
Departamento de Informática
Fac. de Cs. Fisico Matemáticas y Naturales
UNSL
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.unsl.edu.ar/pipermail/unsl/attachments/20121115/914900cf/attachment.html>