Matemáticas para informáticos · Thema UYAM
Matemáticas computacionales y teoría de la computación
Fundamentos discretos, lenguajes formales, autómatas y límites.
Descripción
Desarrollar los fundamentos de matemáticas discretas y teoría de la computación necesarios para formalizar problemas, construir modelos abstractos, analizar lenguajes y procesos computacionales, y reconocer las posibilidades y limitaciones de la computación con rigor lógico, matemático y algorítmico.
Índice de contenidos
- Preliminares
- Fundamentos discretos: conjuntos, lógica, funciones y relaciones
- Técnicas matemáticas para la computación
- Lenguajes regulares, autómatas finitos y modelos probabilísticos
- Gramáticas, autómatas de pila y máquinas de Turing
- Computabilidad, decidibilidad y complejidad computacional
A quién se dirige
Estudiantes de Software, Sistemas y Ciencias de la Computación.
Estudiantes de carreras tecnológicas que requieran fundamentos discretos y formales.
Lectores autodidactas con con