Aviso: El lunes 31 de marzo y el miércoles 2 de abril no habrá clase. Asistiré al Coloquio Víctor Neumann-Lara liga.
1.- Se evaluará con 2 exámenes y 2 tareas. El Periodo 1 tiene un valor de 40% y el Periodo 2 tiene un valor de 60% de la calificación. La calificación de cada examen deberá de ser al menos 6, si no tiene que hacer examen final.
El Periodo i tiene la evaluación Pi como sigue: La Tarea i da derecho al Examen i. Sean Ti y Ei las calificaciones respectivas. Si Ti es al menos 6, entonces Pi es el techo de Ei, sino, Pi es el piso de Ei, donde i=1,2.
Para la Calificación final CF se obtiene como sigue: Si tanto T1 como T2 son al menos 6, entonces CF es el techo de 0.4P1+0.6P2, sino CF es el piso de 0.4P1+0.6P2.
Fecha del Examen 1: miércoles de la semana 8.
Fecha del Examen 2: miércoles de la semana 16.
Para poder presentar exámen final (ordinario), es necesario que el alumno haya obtenido 5 en su evaluación, ver artículo 10 liga.
2.- Presentar examen final en 1ra o 2da vuelta, y su calificación se pone en actas.
Bibliografía
Sipser, M. (2013). Introduction to the theory of computation (Third edition, international edition). Cengage Learning.
Kozen, D. C. (1997). Automata and Computability. Springer. https://doi.org/10.1007/978-1-4612-1844-9
Viso Gurovich, E. (2015). Introducción a autómatas y lenguajes formales (2a edición). UNAM, Facultad de Ciencias.
No se guarda calificación.
No se aceptan calificaciones de otros cursos.
No se cambian calificaciones (ni 5 por NP, ni NP por 5).
Las actividades no se reciben de forma extemporánea.
Las tareas se entregan el día del examen.
Los examenes se devuelven al profesor.
La clase termina 5 minutos antes de la hora.
No se aceptan alumnos oyentes.
No se permiten acompañantes de clase.
Uso recomendado de cubrebocas.
No ingerir alimentos en clase.
Limitar el uso del celular en clase incluyendo no hablar por teléfono en clase.
Transparentar y detallar el uso de inteligencia artificial generativa.
Acerca de Zoom
La plataforma que usaremos para tomar clase es zoom mediante el registro del campus virtual.
Previo a cada clase se enviará la liga por su correo pcpuma.
Usar una foto de perfil donde se vea su rostro de frente.
Acceder a la plataforma con su nombre completo, sin video ni audio para no sobrecargar la red.
La participación será a través de audio.
Solo ejercicios del libro Introducción a autómatas y lenguajes formales de Elisa Viso (ver Bibliografía)
Tarea 1.
Semana 1.
Ver video1 y hacer un resumen. Luego haga un resumen con una IA.
Ver video2 (min0:00-09:11, min 19:35-31:00 y min35:00-44:25) y hacer un resumen. Luego haga un resumen con una IA.
Ejercicios de la sección 1.1.
Semana 2.
Sea Xn la cantidad de palabras con n letras del alfabeto {a,b,c} en las cuales nunca aparece ab. Encuentra el valor de X20.
Sea Yn la cantidad de palabras con n letras del alfabeto {d,e,f} en las cuales nunca aparece dd. Encuentra el valor de Y20.
Semana 3.
Ejercicios de la sección 1.2.
Investigar el uso del comando grep de linux.
Semana 4.
Ejercicios de la sección 1.3 & 1.4.
Ver video3 y hacer un resumen. Luego haga un resumen con una IA.
Semana 5.
Ejercicios de la sección 2.1 & 2.2.
Semana 6.
Ejercicios de la sección 2.4.
Semana 7.
Ejercicios de la sección 2.5.
Hacer la encuesta sobre servicios de cómputo: liga
Tarea 2.
Semana 9.
Ejercicios de la sección 2.6.
Semana 10.
Repasar notación asintótica.
Instalar Julia
Instalar los paquetes IJulia y Automata
Repasar tipos de datos en Julia, así como manipulación de caracteres y strings.
Investigar el uso del paquete Automata.jl
Semana 11.
Ejercicios de la sección 3.1 & 3.2
Semana 12.
Ejercicios de la sección 3.3 & 3.4.
Realizar evaluación docente: https://encuestas.acatlan.unam.mx/aprendizaje/
Semana 13.
Ejercicios de la sección 4.1 ...
Software
Materiales extras
Veritasium en español (Director). (2021, junio 6). Las Matemáticas tienen una Terrible Falla [Video recording]. https://www.youtube.com/watch?v=RRg38oNQ9vk
La historia de las matemáticas - Capítulo 4: Hacia el infinito y más allá - YouTube. (s/f). [Video recording]. Recuperado el 22 de enero de 2025, de https://youtu.be/ll6FZgkC3a0?si=EzEU0t2EmJ484qhO
Sobre Relaciones Binarias liga ✔️
Sobre Relaciones de Equivalencia y Conjuntos Cocientes liga ✔️
Sobre funciones liga ✔️ Historia sobre el formalismo liga ✔️
Sobre los axiomas de conjuntos liga:
Sobre el patrón ABADABA liga
Sobre máquinas de Turing y el problema BB(k) liga