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
 
(No se muestra una edición intermedia del mismo usuario)
Línea 1: Línea 1:
{{Plan 2023|Teoría de Lenguajes}}
{{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.
{{Materia
  | anoCursada=Segundo año
  | cargaHoraria=5 horas semanales
  | correlativas=[[Algoritmos y Estructuras de Datos]]
  | correlativaDe=[[Complejidad Computacional]]
}}


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.
'''Lenguajes Formales, Autómatas y Computabilidad''' es una materia obligatoria de la [[Licenciatura en Ciencias de la 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.

Revisión actual - 21:23 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. 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.