Estudiantes de la EPN representaron a Latinoamérica en competencia internacional
Kharol Chicaiza, Ivanna Cevallos, Mateo Sarzosa y Fabricio Simbaña, estudiantes de la Facultad de Ingeniería de Sistemas de la Escuela Politécnica Nacional (FIS-EPN) representaron a Latinoamérica en la competencia internacional Cyber 9/12 Strategy Challenge, que se realizó en Washington DC, Estados ...
CALL FOR PAPERS Latin-American Journal of Computing (LAJC)
La Revista Latin American Journal of Computing (LAJC) es una publicación de Acceso Abierto Diamante revisada por pares doble ciego, auspiciada por la Facultad de Ingeniería de Sistemas de la Escuela Politécnica Nacional de Ecuador, una de las mejores universidades de investigación en Ciencias de la ...
New Issue Published Volume 11 Issue 1 (January 2024)
We cordially invite our readership worldwide to check out the new issue of the Latin-American Journal of Computing (LAJC)
loading...
loading...
loading...

ISID232 - Fundamentos de Ciencias de la Computació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

Teléfono
(+593) 2 2976 300 ext 4701
Correo electrónico
info@epn.edu.ec
Dirección
Av. Ladrón de Guevara 253, Quito 170517

Back to top