Profesor | Omar Antolín Camarena | lu mi vi | 12 a 13 |
Ayudante | José Manuel Mendoza Dimas | ma ju | 12 a 13 |
El curso cubrirá el temario oficial, que es sobre computabilidad, máquinas de Turing, funciones recursivas, conjuntos recursivamente enumerables y temas afines. Trataré de hacer la presentación lo más concreta y menos técnica posible, para incluir alumnos que no han tomados cursos de lógica matemática antes.
El curso será en línea. En la página web asignaré lecturas y listas cortas de problemas para discutir. Tendremos dos vías de comunicación:
Las ligas para acceder a las reuniones en Google Meet y para registrarse para el chat de Zulip se les enviarán al correro electronico que tengan registrado en la Facultad de Ciencias unos días después de que termine el periodo de inscripciones. La primer reunión en Google Meet será el 20 de septiembre en el horario de clase.
Para calificar el curso habrá varias tareas cortas que en total valdrán el 55% de la calificación y 3 exámenes parciales de 15% de la calificación final cada uno.