MÓDULO I: AUTÓMATAS FINITOS.(4.5 Horas)

TEMA I.1
AUTÓMATAS FINITOS  Y AUTÓMATAS DE PILA
1.1.- Antecedentes
1.2.- Autómatas Finitos
1.3.- Autómatas Finitos(AF) como Autómatas Finitos Probabilísticos (AFP)
1.4.- Autómatas de Pilas (AP)
1.5.- Autómatas de Pilas y Gramáticas Tipo 2.

Bibliografia Básica: [Isasi-97], [Brookshear-93], [Hopcroft-79], [Minsky-67]

MÓDULO  II: REDES DE AUTÓMATAS.(18 Horas)

TEMA II.1
MÁQUINAS DE TURING
1.1.- Introducción
1.2.- Máquinas de Turing (MT)
1.3.- Construcción Modular de las Máquinas de Turing
1.4.- Distintos Tipos de Máquinas de Turing
1.5.- Máquinas de Turing No Deterministas (MTND)
1.6.- Máquinas de Turing Universales (MTU)
1.7.- Las Maquinas de Turing y la Computación

TEMA II.2.
INTRODUCCIÓN A LAS REDES DE AUTÓMATAS: AUTÓMATAS CELULARES
1.1.- Introducción
1.2.- Redes de Autómatas
       1.2.1.- Propiedades Estructurales
       1.2.2.- Propiedades Dinámicas
       1.2.3.- Estudio de un Caso
1.3 - Autómatas Celulares
      1.3.1.- Autómatas Celulares Monodimensionales
      1.3.2.- Autómatas Celulares Bidimensionales
1.4.- Juego de la Vida de Conway
1.5.- Computación sobre Redes de Autómatas

TEMA II.3
REDES NEURONALES FORMALES
1.1.- Introducción.
1.2.- Modelo Neuronal de McCulloch-Pitts.
1.3.- Teoría de Redes Neuronales de McCulloch-Pitts.
1.4.- Autómatas Finitos y Redes Neuronales Formales.
1.5.- Síntesis y Análisis de Redes Neuronales Artificiales: Nivel Lógico.
1.6.- Redes Neuronales Formales con Realimentación.

TEMA II.4  REDES NEURONALES DE VON NEUMANN
1.1.  Introducción.
1.2.- Esquema de Multiplicidad  de Von Neumann.
1.3.- Redundnacia y Teoría de la Información en la Red de Von Neumann
1.4.  Redes Neuronales Artificiales de Von Neumann.

Bibliografia: [Isasi-97], [Brookshear-93], [Hopcroft-79], [Arbib-87] [Arbib-82], [Arbib-98] [Monroy-82], [Weisbuch-90], [Singht-76], [Fogelman-87], [Suárez Araujo-88], [Suárez Araujo-90a], [McCulloch-43], [Moreno-Díaz-71], [Wolfram-94].

MÓDULO  III: COMPUTABILIDAD  Y COMPLEJIDAD.( 7.5 Horas)

TEMA III.1
COMPUTABILIDAD. FUNCIONES RECURSIVAS
1.1.- Antecedentes.
1.2.- Fundamentos de la Teoría de Funciones Recursivas.
1.3.- Funciones Recursivas Primitivas.
1.4.- Funciones Recursivas Parciales.
1.5.- Poder Computacional de las Distintas Máquinas Abstractas.

TEMA III.2
TEORIA DE LA COMPLEJIDAD
2.1.- Complejidad: Conceptos y Taxonomia
2.2.- Medidas Generales de Complejidad
2.3.- Complejidad Operativa
2.4.- Complejidad Algoritmica.
2.5.- Complejidad de los Problemas.
2.6.- Complejidad Temporal.
2.7.- Complejidad del Aprendizaje.

Bibliografia: [Brookshear-93], [Hopcroft-79], [Rayward-Smith-], [Hartley-87],[Rojas-96]]