Examen de árboles de Frege viernes 20
Aquà las reapuestas a la tarea de antier. No olviden que el examen es mañana.
Entradas
Examen de árboles de Frege, viernes 20
El viernes 20 es el examen de árboles de Frege, deberán poder construir un árbol a partir del lenguaje proposicional y viceversa (escribir la expresión en lenguaje proposicional a partir del árbol). Aquà algunos ejercicios de tarea (las respuestas pasado mañana).
Control de lectura: Otras mentes
Buenas noches! Les dejo el link para responder el cuestionario sobre Otras Mentes de Austin. Que tengan un buen puente!
Olimpiada en Lógica 2015 (o "lo que sea por un punto extra y/o diez final en el curso")
Como algunos de ustedes saben, cada año se celebra una olimpiada de lógica, promovida por la Academia Mexicana de Lógica ; el momento ha llegado, para ser campeones primero deberán superar la eliminatoria estatal -a celebrarse el 21 de Marzo en FFyL-, para luego enfrentarse a los competidores del resto del mundo -el 23 de Mayo- en la Universidad de Guanajuato. Para inscribirse, deben llenar el Formulario de Registro para la XII Olimpiada Internacional de Lógica 2015 utilizando la siguiente información (cuento con que saben cuál es su nombre, correo electrónico y edad): - Institución de procedencia: UNAM FFyL - CategorÃa en que concursa: Escoger "CategorÃa licenciatura" - Carrera que cursa: FilosofÃa (o de la que sean) - Nombre completo del asesor académico o entrenador: David Felipe Duarte Serna - Correo electrónico del asesor: acidminded95@gmail.com - Representante Académico Regional: Gabriel Ramos GarcÃa Se ha filtrado el cartel de la eliminatoria estatal y luce