Ingeniería en Sistemas de Información

Fundamentos de Ciencias de la Computación

DATOS GENERALES

Código ISID232
Pensum 2023
Horas semanales 6
Tipo Obligatoria
Asignaturas pre-requisitos Ninguna
Asignaturas co-requisitos Ninguna
Campo de formación
Unidad de organización curricular Profesional

RESULTADOS DE APRENDIZAJE

De conocimiento
 Reconocer un lenguaje regular y uno de libre contexto, y su representación como autómata, expresión regular o gramática.
De destrezas Aplicar el razonamiento lógico y matemático en la solución de problemas prácticos.
De valores y actitudes Fomentar la solidaridad, la responsabilidad y la ética profesional.

CONTENIDO

Capítulo 1 Conceptos básicos
  1. Notación de Conjuntos, Funciones, Relaciones
  2. Sistemas de numeración y aritmética binaria
  3. Concepto de alfabeto, cadena (string) y lenguaje
  4. Representación de números en punto flotante
Capítulo 2 Autómatas finitos
  1. Lenguajes formales, definición, propiedades y usos. 
  2. Autómatas Finitos  definición y propiedades
  3. Autómatas finitos determinísticos  definición y propiedades
  4. Autómatas finitos no determinísticos  definición y propiedades
  5. Conversión AFND a AFD
Capítulo 3 Lenguajes y expresiones regulares
  1. Lenguajes regulares definición. 
  2. Propiedades de los lenguajes regulares
  3. Expresiones regulares definición
  4. Propiedades de las expresiones regulares 
  5. Conexión entre lenguajes y expresiones regulares
Capítulo 4 Gramáticas regulares
  1. Definición y propiedades de las gramáticas regulares
  2. Gramáticas lineal a la derecha
  3. Gramáticas lineal a la izquierda
  4. Equivalencia de lenguajes y gramáticas regulares
Capítulo 5 Lenguajes y gramáticas de libre contexto
  1. Lenguajes no regulares
  2. Gramáticas de contexto libre
  3. Simplificación de gramáticas de contexto libre
Capítulo 6 Autómatas Pushdown
  1. Definición de autómatas pushdown. 
  2. Autómata pushdown no determinístico
  3. Autómata pushdown y lenguajes de contexto libre
  4. Autómata pushdown determinístico
Capítulo 7 Máquinas de Turing
  1. Límites del cálculo algorítmico, decidibilidad y computabilidad, lenguajes recursivamente enumerables
  2. Introducción a las Máquinas de Turing
  3. Tesis Church - Turing
  4. Máquinas de Turing como reconocedores de lenguajes
  5. Máquinas de Turing como traductores

Back to top