Blogs Lógica Matemática 2024-II

GrupoTemaEnlace al blog
TopológicosTopología y Lógica Modalhttps://www.topologicos.xyz/inicio
Los cazadores de cuantificadoresEliminación de cuantificadores en DLO, ACF_0 y DCFhttps://sites.google.com/unal.edu.co/eliminacin-de-cuantificadores/inicio
(requiere cuenta UNAL)
Un Viaje LogicoLógica y Complejidad Computacionalhttps://imcamiloup.github.io/Un-Viaje-Logico/
¿Qué haces?Teoría de modelos en haceshttps://funny-kitchen-d77.notion.site/Qu-Haces-1629e9d4203f8001a702ec27386e5eb6
Reflejos, lógos y AliciaMatemática Reversahttps://rlogosa.wordpress.com
Equipo secretoLógica de la Dependenciahttps://hackmd.io/@equiposecreto/inicio
Los NubladosLógica difusahttps://sites.google.com/unal.edu.co/los-vacios/inicio
(requiere cuenta UNAL)
Verdades no clásicasLógica modal e intuicionista y conexiones con filosofía clásicaverdadesnoclasicas.wordpress.com
El enigma de la incompletitudIncompletitud y calculabilidadhttps://godel-turing.notion.site/

Visita guiada a la exposición TOPOLOGÍAS en NC-Arte

Clase del martes 3 de diciembre: visita guiada a la exposición TOPOLOGÍAS (Distancias variables – Utopías y heterotopías de la Colección NC – https://nc-arte.com/topologias/) en la Galería NC-Arte.

La galería queda en el barrio La Macarena (Cra. 5 # 26B – 76)- he aquí el enlace de ubicación: https://maps.app.goo.gl/6C9u3NpzVeb7PrHT6.

Nuestra cita es al frente de la galería a las 9:50 – la visita guiada empieza cuando abren la galería, a las 10 AM. Debe durar algo menos de una hora.

Un detalle importante: si por cualquier razón no puedes ir en esa fecha, puedes ir antes o después a ver la exposición (pero antes del jueves 5); es responsabilidad tuya. Eso sí, avísame para saber. Obviamente, es mejor estar durante la visita guiada.

Después de tu visita, debes elaborar un brevísimo ensayo (máximo una página) con lo siguientes elementos:

Escoger DOS obras de la exposición que te parezca que de alguna manera problematizan/reflejan alguno de los temas siguientes: 

  • La tensión sintaxis/semántica (en las dos obras)
  • La manera como cada una de las dos obras reflejan estas tensiones y cómo las resuelven (o no).
  • El lenguaje implícito que definen las obras.

Hay unas impresiones mías personales aquí: https://atsmi.wordpress.com/2024/11/21/an-interestingly-curated-exhibit-in-bogota/

Parámetros Entrega I – LogMat

Buenas noches. Este martes 19 de noviembre deberán hacer la entrega I de sus trabajos. He aquí los parámetros mínimos que debe cumplir esta entrega:

  • Exactamente TRES páginas impresas por grupo, con lo que viene a continuación.
  • Información básica: nombre del grupo, nombres de integrantes, página web del proyecto (blog/bitácora).
  • Una definición cuidadosa del tema a tratar: este deberá ser una problemática concreta. Por ejemplo, una comparación entre teoremas (suficientemente difíciles para que ameriten trabajo durante el semestre entero), una comparación entre dos autores (en el caso de trabajos históricos), un contraste entre enfoques si su tema es alguna lógica no clásica.
  • El trabajo deberá incluir, además de una descripción inicial del tema a tratar, un inicio de desarrollo y un plan concreto para el resto del semestre.
  • Como habrá otras entregas durante el semestre, y exposiciones en momentos de todo el semestre a partir de la semana V (26 de noviembre), deberán tener un plan de acción que detalle mes por mes entre ahora y final de febrero qué harán.

En 2024-II: Lógica Matemática y Estabilidad en primer orden y en clases no elementales

Este semestre, que empezó bien tarde (final de octubre) en la Universidad Nacional, doy dos cursos: Lógica Matemática (Carreras de Matemáticas y Computación) y un curso en principio de posgrado: Tópicos Avanzados de Lógica II (Estabilidad en primer orden y en clases no elementales).

El primer curso es estándar en la carrera, y lo he dado varias veces. Incluso publicamos (en Eudeba, editorial de Buenos Aires) en 2022 un libro que escribimos con Jouko Väänänen, llamado Lenguaje, Teorías y Modelos: Desde la Incompletitud de Gödel hasta desarrollos contemporáneos.

El otro curso es altamente inusual. Se trata de Estabilidad Modelo-Teórica, pero alternando el contexto de Lógica de Primer Orden con las Clases Elementales Abstractas.

He aquí los dos syllabus:


INTROTEOCONJ 2024-I: EXPOS FINALES

A continuación va la programación de las exposiciones finales. En principio, usaremos nuestro salón (el 200 del Yu Takeuchi/404), pues tiene buenas pantallas y es saludable exponer en vivo.

Cada grupo tiene una franja asignada (grupos más grandes tendrán algo más de tiempo). Durante la franja deberán:

  • Presentar su PechaKucha (6’40» exactamente)
  • Responder individualmente a preguntas mías
  • Responder a preguntas de grupo acompañante
  • Responder a preguntas del resto del público
  • Dar un cierre de un minuto adicional al PechaKucha (hablado por todos los integrantes del grupo) sobre el tema y perspectivas posteriores.
Día y horaNombre del grupoBlog / Tema
Jueves 23 de mayo, 9:00QuontinuumConjuntos y cuántica
Jueves 23 de mayo, 9:40NeumáticosVon Neumann y conjuntos
Jueves 23 de mayo, 10:20HausdorffHausdorff en topología, conj.
Martes 28 de mayo, 9:00Contando al InfinitoProblema de Suslin
Martes 28 de mayo, 9:30AlephcitosTeoría de Ramsey
Martes 28 de mayo, 10:05Ciencias de los conjuntosTeoría de autómatas
Martes 28 de mayo, 10:35
Martes 4 de junio, 9:00Órbitas del InfinitoTeoría de Ramsey
Martes 4 de junio, 9:40Ad InfinitumAxiomas NBG
Martes 4 de junio, 10:20Lemming de ZornAxioma de Elección

Orden y desorden

Hoy al desayuno hablamos (por razones que no tenían que ver con ninguno de los cursos que doy este semestre [Introducción a la teoría de conjuntos y Teoría de Modelos]; mucho menos aún con los dos seminarios de investigación [Mundo/Lógica/Modelos y Conexión de GALoiS]) sobre orden y desorden en un par de textos de Bateson y de Benjamin.

Inmediatamente pensé en mis estudiantes del curso Introducción a la teoría de conjuntos, pues justo en este momento estamos aprendiendo a hacer operaciones con ordinales (sumas, productos, exponenciales), operaciones donde el orden es esencial tanto en la definición como en el tipo de aritmética que se obtiene. La semana que viene empezamos a hacer muchas más operaciones con cardinales, y allí la ausencia de orden será crucial y determinará otro tipo de aritmética totalmente distinta. Ya un estudiante preguntaba cómo justificar la existencia del ordinal \omega_1 (en una clase en que hicimos muchos ejemplos, algunos bastante sofisticados, de operaciones con ordinales, pero luego notamos que todos los ejemplos que hicimos eran contables… y vimos la definición de \omega_1 como el límite (o la unión, o el conjunto) de los ordinales contables). Y claro, la respuesta más directa a la pregunta del estudiante es pasar por armar el producto cartesiano, y extraer… pero muy rápidamente pasa uno al problema de ordenar de todas las maneras posibles un conjunto…

En el desayuno hablábamos de la biblioteca del apartamento, y MC recordó el texto de Benjamin sobre su biblioteca, su orden y sus desórdenes posibles y sus reordenamientos. Y luego recordó uno de los «metálogos» de Gregory Bateson en su Ecología de la mente, un par de textos que leen esta semana los/las estudiantes de un curso inicial de la Maestría en Historia y Teoría del Arte en la Universidad Nacional: uno de Walter Benjamin y otro, el de Gregory Bateson, para plantear temas de orden, desorden, reordenamientos, lecturas, el significado de cultivar colecciones, las muy múltiples posibilidades que genera una biblioteca. Pensé que los y las estudiantes de mi curso Introducción a la teoría de conjuntos podrían disfrutar de la lectura de esos dos textos (relativamente sencillos, pero muy jugosos) justo ahora cuando pasaremos de la aritmética ordinal a la aritmética cardinal.

Ahí van los dos textos: Metálogo: ¿Por qué se revuelven las cosas? de Bateson, y Desempacando mi biblioteca de Benjamin.

DISCR2 – 2023-II – Expos finales

Cada grupo tendrá un tiempo asignado (que varía según el número de estudiantes por grupo). Cada estudiante deberá contestar al menos una pregunta durante la presentación. Por eso, los grupos de cuatro integrantes tienen 30 minutos, los de tres integrantes 25 minutos, el de dos integrantes 20 minutos (al descontar los casi 7 minutos del PechaKucha esto da algo más o menos proporcional).

Recuerden que el PechaKucha es una presentación con un formato muy estricto: 20 imágenes (no 19, no 21), exactamente de 20 segundos cada una, para un total de 6 minutos con 40 segundos.

Es un tiempo muy ajustado, y cada grupo deberá prepararse (llevar computador o articular entre distintos grupos), etc. – las fallas de computador, etc. se comerán parte del tiempo de cada equipo, de modo que deben ir con todo preparado, pues no habrá extensión de tiempo.

Día y HoraNombre del GrupoBlog / Tema
Lunes 27.11 – 14:25Los Felinos CuánticosCriptografía cuántica
Lunes 27.11 – 14:50TróminosHallar patrones aperiódicos
Lunes 27.11 – 15:15Los DiscretosOptimización en la movilidad peatonal en la UNAL
Lunes 27.11 – 15:40El Token DiscretoDiscretización de activos
Miércoles 29.11 – 14:00CriptocódigoHistoria de la criptografia (¡NO funciona el enlace!)
Miércoles 29.11 – 14:25TopoEconomíaTopología para la economía
Miércoles 29.11 – 14:50MateMelódicosAnálisis de melodía
Miércoles 29.11 – 15:15DiscretitosBlockchain y Hashing Cuántico
Miércoles 29.11 – 15:40CriptomatemáticaMatemáticas discretas en la Firma Digital

Expos finales LogMat 2023-II

Cada grupo tendrá un tiempo asignado (que varía según el número de estudiantes por grupo). Cada estudiante deberá contestar al menos una pregunta durante la presentación. Por eso, los grupos de cuatro integrantes tienen 30 minutos, los de tres integrantes 25 minutos, el de dos integrantes 20 minutos (al descontar los casi 7 minutos del PechaKucha esto da algo más o menos proporcional).

Dentro del tiempo asignado a cada grupo deberán tener lugar:

  • El PechaKucha (6’40»)
  • Preguntas mías
  • Preguntas grupo acompañante (estas serán calificadas también)

Es un tiempo muy ajustado, y cada grupo deberá prepararse (llevar computador o articular entre distintos grupos), etc. – las fallas de computador, etc. se comerán parte del tiempo de cada equipo, de modo que deben ir con todo preparado, pues no habrá extensión de tiempo.

Fecha y horaGrupoTema
Lunes 20.11 11:10Lógica por las ramasCompacidad y lógica
Lunes 20.11 11:40R-modelógicosTeoría de modelos de cuerpos reales cerrados
Lunes 20.11 12:05Mis-Sheaf ManagedHaz asociado a modelos de Kripke modales
Lunes 20.11 12:35LudógicosJuegos y lógica
Miércoles 22.11 11:00MusicologicLógica y música
Miércoles 22.11 11:25Unos cuántos lógicosLógica matemática y mecánica cuántica
Miércoles 22.11 11:45Los HarringtonianosTeorema de Paris-Harrington
Miércoles 22.11 12:10Les étalesHaces, Topos y geometría
Miércoles 22.11 12:35Heyting’s catLógica categorica e intuicionista

Expos finales IntroTeoConj I-23

Dentro de la media hora de cada grupo deberán tener lugar:

  • El PechaKucha (6’40»)
  • Preguntas grupo acompañante (actual)
  • Preguntas a cada integrante del grupo
  • Preguntas del público

Es un tiempo muy ajustado, y cada grupo deberá prepararse (llevar computador o articular entre distintos grupos), etc.

Fecha y horaGrupoTema
Martes 23.05 09:00Ápeiro-ManíacosHipótesis del continuo y temas relacionados
Martes 23.05 09:30Sin ElecciónUniverso de Von Neumann
Martes 23.05 10:00Los DifusosTeoría de conjuntos difusos y aplicaciones
Martes 23.05 10:30Una cuestión de elecciónAxioma de Elección, Banach-Tarski, medida
Jueves 25.05 09:00Cantores de KroneckerGrafos y Redes, teorema de Dilworth, etc.
Jueves 25.05 09:30CuantumaniacosTeoría de conjuntos cuántica
Jueves 25.05 10:00Conjuntamente infinitosTeoremas de Gödel e hipótesis del continuo
Jueves 25.05 10:30Los RamsódicosTeoría de Ramsey
Martes 30.05 09:00Odisea transfinitaGrandes cardinales
Martes 30.05 09:30Los (casi) bien ordenadosOrdinales recursivos

Expos finales Teoría de Conjuntos (Forcing)

Exposiciones finales de estudiantes del curso.

NOTA: estas exposiciones deberán dejar tiempo dentro de la franja que tienen para preguntas y posible discusión. Podrán combinar presentación tipo beamer y tablero. Esperamos ver demostraciones de algunos temas, pero también panorama general.

Los textos de estas exposiciones (pdf o formato blog) deberán estar listos el fin de semana anterior (Sábado 20) para comentarios anteriores a la exposición.

La exposición debe reflejar trabajo del semestre entero. En algunos casos, la dificultad intrínseca de los teoremas será testigo del trabajo a lo largo de ese tiempo. En otros casos, la visión panorámica de la presentación de los temas deberá reflejar el haber pasado por nuestras discusiones en clase y los problemas, a lo largo de estos tres meses.

Es posible que invitemos a otros estudiantes o colegas a sus exposiciones.

Fecha / HoraEstudianteTítulo
Martes 23.05 – 14:00Edwin CelisForcing iterado y el Teorema de Solovay-Tennenbaum
Martes 23.05 – 15:00Susana FaciolinceObjetos Genéricos en la Teoría Descriptiva de Conjuntos
Jueves 25.05 – 14:00Gustavo CipagautaClasificación de los modelos contables de la Teoría de Conjuntos
Jueves 25.05 – 15:00José Miguel ContrerasUna introducción a la teoría PCF y sus aplicaciones
Martes 30.05 – 14:00Nicolás NájarEl forcing de Baldwin-Larson (o cómo generar nuevos objetos en clases elementales abstractas)
Martes 30.05 – 15:20Eduardo ArrietaForcing: Verdad y Multiverso

Blogs IntroTeoConj 2023-I

Lista oficial de blogs de IntroTeoConj en 2023-I. (Con sus auto-descripciones)

NOTA: varios de esos temas tendrán que cambiar de manera fuerte después de la primera entrega.

  1. Ápeiro-Maníacos: https://apeiromaniacos.wixsite.com/2023 (Hipótesis del continuo, modelos de aceptación y rechazo de la misma, analogías filosóficas y literarias)
  2. Los Difusos: https://ldifusos.wixsite.com/los-difusos0 (Teoría de conjuntos difusos y aplicaciones)
  3. Los Ramsódicos: https://bit.ly/Ramzodicos (Teoría de Ramsey)
  4. Cuantumaniacos: https://cuantumaniacos.wordpress.com (Teoría de conjuntos cuántica)
  5. Una cuestión de elección: https://nicolasctdo.wixsite.com/paradoja1 (Axioma de Elección, Paradoja de Banach-Tarski y teoría de la medida)
  6. GaSSETS (Great And Special SETS): gasset5.wordpress.com (Odisea transfinita)
  7. Los (casi) bien ordenados: https://howfarcantorgo.wordpress.com/ (Ordinales recursivos y un estudio sobre qué tan lejos podemos ir a partir de la recursión transfinita)
  8. Sin Elección: https://sineleccion.github.io/ (Universo de Von Neumann)
  9. What if Cantor: http://whaifcantor.com/ (Historia, Laboratorio y Teorias de Conjuntos)
  10. Conjuntamente infinitos: https://jparody88.wixsite.com/confinitos (Teoremas de incompletitud de Kurt Gödel e hipótesis del continuo)
  11. CantorIA: https://odob13.github.io/ (Teorema de Cantor aplicado en Machine Learning)
  12. Cantores de Kronecker: https://cantoresdekronecker.wordpress.com (Grafos y Redes, teorema de Dilworth en posets y otros teoremas en redes)

Cursos en 2023-I

En 2023-I enseño dos cursos: Teoría de Conjuntos I (hasta forcing), un curso relativamente avanzado (doctorado, maestría, pregrado avanzado) de teoría de conjuntos en el cual llegamos hasta las pruebas de independencia de la Hipótesis del Continuo, y un curso básico llamado Introducción a la teoría de conjuntos, dirigido primordialmente a estudiantes de las carreras de Matemáticas y Ciencias de la Computación.

El material de estos cursos está en el Classroom.

He aquí los syllabus:

BLOGS GEOMETRÍA ELEMENTAL 2022-II – Corte 1

Hola, estimados y estimadas estudiantes. Como habíamos anunciado antes de la Semana Universitaria, esta semana tendremos el corte 1 de blogs. Este, junto con la presentación breve dada el jueves anterior a Semana Universitaria, dará una primera nota a sus blogs (notas números enteros, como manejamos en este semestre en este curso).

¿Qué espero encontrar en este primer corte de blogs?

  • Buen diseño de página. Ojalá coherente con el tema.
  • Presentación de cada integrante del grupo. ¿Quién soy? ¿Por qué escogí este tema? ¿Qué espero aprender? ¿Qué sé ya, y qué no sé, referente al tema del blog?
  • Pestaña de bitácoras personales. Estas bitácoras personales pueden combinar temas específicos relevantes al proyecto de grupo, temas que van encontrando y estudiando. No me interesa que copien y peguen de otro lado; es preferible que vayan relativamente despacio, por lo menos inicialmente, en esta bitácoras, pero cuenten cómo van entendiendo un tema. Es un espacio para ir encontrando su voz matemática, algo que toma un buen tiempo en desarrollarse. También pueden registrar sus dificultades personales con un tema, o con el aprendizaje en grupo.
  • MUY central: un primer desarrollo con mucha síntesis del tema central del grupo. Con ver uno o máximo dos pantallazos, cualquier persona debe poder saber qué tema central tienen.
  • Una pestaña de bibliografía, ojalá con enlaces para uso del curso. Artículos, libros, etc., que le sirvan al grupo y a ustedes.

Planeo revisar bitácoras el sábado. A partir del viernes a medianoche les pediré que NO agreguen nada nuevo; el corte será en ese momento.

Blogs 2021-II (GEOM ELEM y LOGMAT)

He aquí los blogs de estudiantes de los cursos Geometría Elemental y Lógica Matemática en la Universidad Nacional de Colombia. Cada blog registra el proceso de un grupo de trabajo de cuatro estudiantes (ciertas excepciones).

Blogs Geometría Elemental

INTROTEOCONJ: Cantor en SHFM en 2021-I, notas finales.

Estimados estudiantes de INTROTEOCONJ en 2020 (I y II): fue sumamente interesante para mí enfrentar el reto de enseñar, comunicar el material del inicio de la teoría de conjuntos en la situación que nos tocó a todos vivir este año (y que de momento parece seguir). Creo que todos aprendimos muchísimo estos dos semestres, desde esa clase extraña en marzo cuando dije a los estudiantes en lo que sería la última reunión presencial durante mucho tiempo que probablemente entraríamos pronto a un largo confinamiento (e hicimos simulacro de zoom cuando aún zoom era simplemente una ayuda un poco exótica). Poco imaginaba yo que esa sería nuestra última clase presencial en todo el semestre, en todo lo que quedaba del año. Y menos aún que tendríamos un semestre entero, de principio a fin, sin vernos las caras en vivo.

Pese a las muchas dificultades, creo que muchos de ustedes hicieron un trabajo muy bueno. No aprendimos exactamente lo mismo – no es claro cómo saldrían las cosas en un clásico parcial presencial. Pero por otro lado ustedes hicieron blogs y PechaKuchas en muchos casos muy interesantes, y se enfrentaron a un tipo de parcial, creo, bastante distinto de los usuales. No creo que hayamos perdido nuestro tiempo en 2020. Muy al contrario, creo que entendimos que aprender matemáticas se puede llevar a cabo de maneras muy distintas.

Lo que sigue es aún muy incierto. No sabemos cuándo llegarán las vacunas a Colombia; no sabemos siquiera hoy 18 de diciembre si hay o no negociación. Pero aún si la hay, no sabemos con qué eficiencia se repartirán esas vacunas – eso sin hablar de su eficiencia real una vez que se inicie el proceso. Por lo pronto, en 2021 seguiremos con nuestras clases remotas. Sin acceso al campus y sus ventajas.

Lo único que sí es claro es que lo que puede mover su aprendizaje propio son sus propias ganas de seguir estudiando temas, de seguir entendiendo más y más matemática – y más y más conexiones entre esta y el resto del mundo.

Sin su decidido entusiasmo habría sido imposible llevar a cabo todo lo que hicimos estos dos semestres.

En 2021-I habrá algo muy único: el profesor Fernando Zalamea dedicará un semestre entero de su Seminario de Historia y Filosofía de las Matemáticas al estudio histórico de la obra de Georg Cantor. En 2020 ese seminario muy único a nivel mundial estuvo centrado en la obra de Évariste Galois y luego de Bernhard Riemann.

Si le quedó gustando la teoría de conjuntos el seminario de Historia y Filosofía de la Matemática del profesor Zalamea en 2021-I le puede interesar de manera particularmente poderosa.

Naturalmente, aprender teoría de conjuntos más adelante de los temas vistos en INTROTEOCONJ toma mucho tiempo (cursos de forcing, de lógica matemática, de teoría de modelos, etc.). Pero el retorno a los orígenes y el estudio histórico cuidadoso de la obra de Cantor definitivamente les puede llamar mucho la atención. Si la pueden inscribir, realmente valdrá la pena (y será algo muy único).

TEOMOD: presentaciones finales

El jueves 10 de diciembre, entre las 14 y las 17 horas, tendrán lugar las presentaciones finales de TEOMOD.

He aquí el programa:

  • Joel OSORIO: Grupo de Lascar y Lógica Categórica – 14:00-14:35
  • Nicolás NÁJAR: AECs, axiomatizaciones y el árbol canónico – 14:35-15:10
  • Samuel ROLDÁN: Teoría de modelos en lógica sobre topos – 15:10-15:45
  • José Alfredo URREA: Estructuras en una lógica dotada de medida y lema de regularidad de Szemerédi – 15:45-16:20
  • Cristian SARMIENTO: Eliminación de cuantificadores en DCF – 16:20-16-55

PechaKuchas – presentaciones finales

Fechas: jueves 3 de diciembre y jueves 10 de diciembre

Las presentaciones serán estrictamente de 20 imágenes de 20 segundos cada una. Ni uno menos ni uno más.

Estas serán las horas de presentación (cada grupo tendrá una franja de 20 minutos pero la presentación del PechaKucha será en los 6’40» iniciales; el resto del tiempo será para preguntas mías a los integrantes del grupo y preguntas del público):

Jueves 3 de diciembre

  • Grupo 10 – Los Borbotones – Teoría de conjuntos y física teórica – 9:00 a 9:20
  • Grupo 2 – Cantors Paradies – Axioma de determinación – 9:20 a 9:40
  • Grupo 1 – Los Axiomáticos – Sobre el axioma OCA – 9:40 a 10:00
  • Grupo 6 – Matemonstruos – Sobre la consistencia de ZFC – 10:00 a 10:20
  • Grupo 12 – Poldavianos – Axioma de Elección y Teorema de Tíjonov – 10:20 a 10:40
  • Grupo 5 – Los Supremos Borelianos – Teoría de conjuntos y medida – 10:40 a 11:00

Jueves 10 de diciembre

  • Grupo 7 – Lemniscata – Conjuntos proyectivos y medida de Lebesgue – 9:00 a 9:20
  • Grupo 11 – Zwei – Aritmética Cardinal – 9:20 a 9:40
  • Grupo 4 – Los Hilberteanos – Teoría de conjuntos y física – 9:40 a 10:00
  • Grupo 3 – Mengenlehre – Grandes cardinales – 10:00 a 10:20
  • Grupo 8 – Zahlen – Teoría de conjuntos sin Axioma de Elección – 10:20 a 10:40
  • Grupo 9 – ChocoConjuntos – Combinatoria y conjuntos – 10:40 a 11:00

Como dicho en clase, cada grupo deberá tener listo un video (me enviarán el enlace antes de la presentación) por si no funciona la red, pero deberán hacer una presentación en vivo. Prefiero mil veces la presentación en vivo, pero será necesario tener el enlace preparado (y enviado a mi correo antes de la presentación).

La asistencia de todos ustedes será obligatoria a las dos sesiones. La participación en preguntas a los otros grupos será evaluada.

INTROTEOCONJ: parcial 1 – entrega

Buenas noches. Mañana 11 de octubre a la 11 de la mañana será el momento límite para entrega del parcial. Esta entrega tendrá lugar en Google Classroom (no en Dropbox como originalmente anunciado). Ver instrucciones de entrega en el mensaje/tarea enviado ya por Google Classroom.