Diferencia entre revisiones de «Lenguajes Formales, Autómatas y Computabilidad»

De Cuba-Wiki
(Página creada con «{{Plan 2023|Teoría de Lenguajes}} '''Lenguajes Formales, Autómatas y Computabilidad''' es una materia obligatoria de la Licenciatura en Ciencias de la Computación, incluida también en su título intermedio Bachiller Universitario en Computación. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas. Según el Plan de Estudios 2023…»)
 
Sin resumen de edición
Línea 1: Línea 1:
{{Plan 2023|Teoría de Lenguajes}}
{{Plan 2023|Teoría de Lenguajes}}
{{Materia
  | anoCursada=Segundo año
  | cargaHoraria=5 horas semanales
  | correlativas=[[Algoritmos y Estructuras de Datos]]
  | correlativaDe=[[Complejidad Computacional]]
}}


'''Lenguajes Formales, Autómatas y Computabilidad''' es una materia obligatoria de la [[Licenciatura en Ciencias de la Computación]], incluida también en su título intermedio [[Bachiller Universitario en Computación]]. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas.
'''Lenguajes Formales, Autómatas y Computabilidad''' es una materia obligatoria de la [[Licenciatura en Ciencias de la Computación]], incluida también en su título intermedio [[Bachiller Universitario en Computación]]. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas.
Según el [[Plan de Estudios 2023]], su carga horaria es de 5 horas semanales, se cursa en segundo año de la carrera y tiene como correlativa a [[Algoritmos y Estructuras de Datos]]. Comenzará a dictarse en el segundo cuatrimestre de 2024.

Revisión del 20:01 4 feb 2024

Esta página es sobre la materia del plan de estudios 2023. Para ver la materia del plan 1993, consultar Teoría de Lenguajes.
Lenguajes Formales, Autómatas y Computabilidad
Año Segundo año
Carga horaria 5 horas semanales
Correlativas Algoritmos y Estructuras de Datos
Correlativa de Complejidad Computacional

Lenguajes Formales, Autómatas y Computabilidad es una materia obligatoria de la Licenciatura en Ciencias de la Computación, incluida también en su título intermedio Bachiller Universitario en Computación. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas.