Edición de «Lenguajes Formales, Autómatas y Computabilidad»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
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. | |||
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. |