MÉTODOS LÓGICOS DE AUTOMATIZACIÓN DEL RAZONAMIENTO

Cod.31101184

REQUISITOS PREVIOS RECOMENDABLES

Conceptos lógicos básicos

Sería deseable que el estudiante partiera de un conocimiento básico sobre Lógica (Proposiciones y Predicados). Al menos, al nivel introductorio usual en los cursos iniciales de la licenciatura de Informática.

Si no es así, quizá se requiera del alumno algunas (pocas) horas adicionales de estudio.

Conceptos básicos de Ciencias de la Computación

Sería también deseable que el estudiante estuviera familiarizado con la expresión semiformal de programas en pseudocódigo, y con los conceptos básicos de complejidad computacional (complejidad temporal, clases P y NP; complejidad espacial, clase PSPACE).

Un ruego: si no ha cursado estudios previos en Informática, puede ponerse en contacto con el profesor de la asignatura para solicitar materiales introductorios (antes del comienzo del curso). De esta forma, se puede empezar el mismo presuponiendo un nivel homogéneo.