modified on 27 sep 2007 at 12:41 ••• 7.574 views

Teoría de Modelos

De Master

(Diferencias entre revisiones)
(Contenido)
 
(6 ediciones intermedias no se muestran.)
Línea 1: Línea 1:
= Contenido =
= Contenido =
-
Dentro del contexto general descrito en el curso Seminario de Lógica
+
Breve descripción del contenido
-
Matemática, este curso profundiza en el estudio, mediante las herramientas de la Lógica Matemática, de una
+
-
teoría particular: la Teoría de Números. Para ello, en primer lugar se identifica la teoría formal que sirve de
+
-
base para el desarrollo de la Teoría de Números: la Aritmética de Peano. A continuación, se aislan diversos
+
-
principios combinatorios (inducción, colección, minimización, etc.) que resultan útiles para la axiomatización
+
-
de la teoría. Se obtienen de este modo varias subteorías, o fragmentos, de la Aritmética que son analizados
+
-
en detalle, presentado resultados informativos de su potencia y limitaciones, tanto desde el punto de vista de
+
-
la Teoría de Modelos, como de la Teoría de la Demostración.
+
-
El objetivo del curso es el análisis de las relaciones existentes entre diversos principios combinatorios
+
-
(inducción, colección, minimización, etc.) que resultan útiles para la axiomatización de la Aritmética. Con
+
-
este fin se utilizan como herramienta básica distintos tipos de modelos no estándar de las teorías
+
-
axiomatizadas por algunos de estos principios. De forma más concreta se pretende:
+
-
* Conocer métodos formales para el análisis de teorías de la Aritmética.
+
a) La lógica de primer orden: un marco para la representación del conocimiento y la resolución de problemas combinatorios.
-
* Construir modelos no estándar con propiedades específicas que permitan separar teorías o establecer resultados de conservación.
+
-
* Obtener explícitamente propiedades no demostrables en algunas teorías de la Aritmética concretas.
+
-
Los contenidos del curso son:
+
b) El paradigma de la "Programación con conjuntos de respuestas" (ASP = Answer Set Programming).
-
* Elementos definibles.
+
c) Fundamentos teóricos de la programación con conjuntos de respuestas. Modelos estables.
-
* Segmentos iniciales y saturación recursiva.
+
-
* Resultados de conservación.
+
-
* Modelos existencialmente cerrados.
+
-
* Funciones computables demostrablementes totales.
+
-
== Programa de la asignatura ==
+
d) Aplicaciones de la programación con conjuntos de respuestas (modelado de dominios dinámicos, planificación, razonamiento probabilístico, ...)
-
== Página Web ==
+
 
 +
== [http://www.us.es/estudios/master/master_M095/asignatura_50950017 Programa de la asignatura] ==
 +
 
 +
== [http://ev.us.es Página Web] ==
 +
 
 +
Espacio de enseñanza virtual de la Universidad de Sevilla.

última version al 12:41 27 sep 2007

Contenido

Breve descripción del contenido

a) La lógica de primer orden: un marco para la representación del conocimiento y la resolución de problemas combinatorios.

b) El paradigma de la "Programación con conjuntos de respuestas" (ASP = Answer Set Programming).

c) Fundamentos teóricos de la programación con conjuntos de respuestas. Modelos estables.

d) Aplicaciones de la programación con conjuntos de respuestas (modelado de dominios dinámicos, planificación, razonamiento probabilístico, ...)


Programa de la asignatura

Página Web

Espacio de enseñanza virtual de la Universidad de Sevilla.