<u>Charla:</u> <b><i>"Estructuras de Datos en Lógicas de Predicados: estudio del caso SATQBF".</i></b><div><u>Disertante:</u> Dr. José María Turull Torres.<div><u>Día:</u> lunes <b>19</b> de noviembre <b>de 16 a 20 hs</b>.</div>
<div><u>Lugar:</u> <b>Sala de Postgrado II</b> del Departamento de Informática (1er. piso del Bloque II)</div><div><br><br>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.<br>
<br><br><br><u>Invita:</u> </div><div>Departamento de Informática</div><div>Fac. de Cs. Fisico Matemáticas y Naturales</div><div>UNSL</div></div><div>         </div>