You are here: Foswiki>Main/Cimec Web>TeoriaDeLaComputacion>Vejedades (26 Jul 2022, JorgeDElia)Edit Attach
-- JorgeDElia - 10 Marzo 2013

  • [30-03-2022, 12:26]. PARCIAL 1:
    Fecha: SABADO 30 ABRIL 2022 desde las 7:15 HS (duración 3 (tres) horas);
    Enlace Zoom: se publicará el viernes por la noche;
    Modalidad: podrán navegar por el cuestionario el cual incluirá preguntas de True/False y desarrollos (que harán en una hoja y subirán una imagen al Moodle);
    Presentarse 15 minutos antes con DNI (o algún documento con foto reciente) para acreditar identidad;
    Temas: todos los vistos o indicados en clases (tener en cuenta también los omitidos). Siguiendo el texto de ROSEN:
    Lógica (proposiciones, proposiciones condicionales y equivalencia lógica, predicados y cuantificadores, cuantificadores doblemente anidados, métodos de demostración);
    Conjuntos (definiciones, operaciones, principio de inclusión-exclusión, identidades de conjuntos);
    Funciones (definiciones, funciones inyectivas, sobreyectivas, biyectivas, composición de funciones, funciones piso y techo);
    Inducción (principio de inducción matemática, inducción fuerte, funciones definidas recursivamente).
  • [27-08-2020, 11:17] Alumnos de FIQ que rindan hoy el Examen Final (EF) de TCOMP/MAD: confirmar a la cátedra su intención a presentarse para registrarlos en dicho examen y así podrán acceder al enunciado en EFICH, sino no-podrán rendir.
  • [26-08-2020, 09:22] Instrucciones Examen Final (EF) o Coloquio Final Integrador (CFI) del Jueves 27 de Agosto de 2020 desde las 14hs:
    • Deben estar registrados mandatoriamente en E-FICH (prestar atención alumnos de cursados anteriores);
    • CFI: tendrán que ingresar a una sala ZOOM exclusiva para el CFI;
    • EF: entrar a E-FICH desde las 14 hs, ir a TCOMP 2020, y buscar enlace alusivo al examen, y empezar a hacer los ejercicios en forma online. Los ejercicios serán un mix de:
      • Responder por Verdadero/Falso;
      • Seleccionar la respuesta correcta;
      • Escribir algún desarrollo. Luego, adjuntar un archivo con una foto (legible) de la hoja conteniendo, o bien el desarrollo detallado del ejercicio, o bien indicando que no-presenta. La hoja deberá consignar además: fecha, carrera, nombre(s) y apellido(s), DNI y firma, perfectamente legibles.
      • Podrían haber otros tipos de ejercicios de las opciones estándar de Moodle, y eventual sesión ZOOM exclusiva para el EF en paralelo.
      • Atención que habrá una contadora del sistema con X horas de tiempo para realizarlo una vez iniciado.
  • [15-07-2020, 14:10] Estado de cursado, y exámenes finales próximos turnos:
    • El estado de cursado está disponible en https://cimec.org.ar/~mstorti/notas4.cgi
    • Próximos exámanes finales: la toma de exámenes o CFI después del receso será mediante un aula de examen virtual en la Plataforma E-FICH en las fechas de las mesas definidas por la FICH.
  • [23-06-2020, 12:30] Instrucciones para el Parcial 2 sábado 27 de Junio de 2020 desde las 14hs:
    • Entrar a E-FICH desde las 14 hs, ir a TCOMP 2020, y buscar un enlace alusivo al segundo parcial, para recién entonces empezar a hacer los ejercicios en forma online.
    • Los ejercicios serán un mix de:
      • Responder por Verdadero/Falso;
      • Seleccionar la respuesta correcta;
      • Escribir algún desarrollo. Luego, adjuntar un archivo con una foto (legible) de la hoja conteniendo, o bien el desarrollo detallado del ejercicio, o bien indicando que no-presenta. La hoja deberá consignar además: fecha, carrera, nombre(s) y apellido(s), DNI y firma, perfectamente legibles.
    • Podrían haber otros tipos de ejercicios de las opciones estándar de Moodle.
    • Atención que habrá una contadora del sistema con 2 horas de tiempo una vez iniciado.
    • El siguiente es el temario de la práctica para el parcial 2.
      Secciones 4.1, 4.2, 4.3, 4.4, 4.5
      Secciones 7.1, 7.3, 7.4, 7.5
      Secciones 8.1, 8.2, 8.3, 8.4, 8.5, 8.6
      Secciones 9.1, 9.3, 9.4, 9.5
      Secciones 11 (ejercicios seleccionados MEF)
      La evaluación de la parte teórica abarcará los temas impartidos en clases.
  • [09-05-2020, 09:45] Intrucciones para el Parcial 1 sábado 09 de Mayo de 2020:
    • Entrar a E-FICH desde las 14 hs, ir a TCOMP 2020, y buscar un enlace alusivo al parcial, para recién entonces empezar a hacer los ejercicios en forma online.
    • Los ejercicios serán un mix de:
      • Responder por Verdadero/Falso;
      • Seleccionar la respuesta correcta;
      • Escribir algún desarrollo. Luego, adjuntar un archivo con una foto (legible) de la hoja conteniendo, o bien el desarrollo detallado del ejercicio, o bien indicando que no-presenta. La hoja deberá consignar además: fecha, carrera, nombre(s) y apellido(s), DNI y firma, perfectamente legibles.
    • Podrían haber otros tipos de ejercicios de las opciones estándar de Moodle.
    • Atención que habrá una contadora del sistema con 2 horas de tiempo una vez iniciado.
  • [05-05-2020, 12:02] Se actualizaron las notas de GTP agregando las secciones 2.4, 2.5, 3.3 y 3.4.
  • [05-05-2020, 09:05] Se notifica a los alumnos que el primer parcial de la materia se realizará el sábado 09/05. La modalidad de evaluación será online. Se brindarán mayores detalles sobre el sistema de evaluación durante las clases de teoría y práctica de esta semana, por lo cual se recomienda asistir a las mismas.
  • [04-05-2020, 16:50] Clases de práctica martes 05/05 y jueves 07/05: se informa a los alumnos que mañana martes 05/05 no habrá clases de prácticas en las comisiones de la mañana y de la tarde. Por otro lado, el jueves 07/05 se dictarán clases de consulta en los horarios usuales de ambas comisiones.
  • [03-05-2020, 12:40] El siguiente es el temario de la práctica para el parcial 1. En algunas secciones se indican solamente los temas que no serán evaluados, mientras que en otras solo los que sí.
    Capítulo 1
    Sección 1.1: no entra "Juegos de lógica".
    Sección 1.2: completa
    Sección 1.3: no entra "Programación lógica".
    Sección 1.4: completa
    Sección 1.5: completa
    Sección 1.6: completa
    Sección 1.7: no entra "Representación de conjuntos en computadora"
    Sección 1.8: completa
    ---------------------------------
    Capítulo 2
    Sección 2.4: completa
    Sección 2.5: solamente entra "Algoritmo de Euclides"
    ---------------------------------
    Capítulo 3
    Sección 3.3: no entra "Inducción fuerte"
    Sección 3.4: solamente entra "Funciones definidas recursivamente"
  • [21-04-2020, 18:48] Se subieron en la página de la asignatura las notas de GTP Sec. 1.2 a Sec. 1.8.
  • [14-04-2020, 20:48] Clase teórica del Miércoles 08/04/2020:
    • Jorge D'Elia is inviting you to a scheduled JITSI meeting:
      • Topic: TCOMP (teórica)
      • Time: Apr 15, 2020 02:00 PM Buenos Aires, Georgetown.
      • Mayor info: fue enviada por NOTITC y EFICH.
  • [07-04-2020, 19:42] Clase teórica del Miércoles 08/04/2020:
    • Jorge D'Elia is inviting you to a scheduled Zoom meeting:
      • Topic: TCOMP (teórica)
      • Time: Apr 8, 2020 02:00 PM Buenos Aires, Georgetown
      • Mayor info: fue enviada por NOTITC y EFICH.
  • [06-04-2020, 20:17] Clases en Zoom de mañana Jueves 02-04-2020:
    • Gustavo Rios Rodriguez is inviting you to a scheduled Zoom meeting:
      • Topic: TC2020 - Comisiones 1 y 2
      • Time: Apr 7, 2020 10:00 AM Buenos Aires, Georgetown
      • Mayor info: fue enviada por NOTITC y EFICH.
    • Juan Marcelo Gimenez: se fija un enlace recurrente para la Comisión 3 (Martes y Jueves de 16 a 18hs):
      • Topic: TCOMP 2020 - C3
      • Time: This is a recurring meeting -> Martes y Jueves de 16 a 18hs.
      • Mayor info: fue enviada por NOTITC y EFICH.
  • [04-04-2020, 09:17] En la página electrónica de la asignatura se subieron las notas de las teóricas comentadas en las clases virtuales (buscar en la Sec. Documentos).
  • [01-04-2020, 20:44] Clases en Zoom de mañana Jueves 02-04-2020:
    • Clases de práctica en la mañana: ambas comisiones C1 y C2 se unifican y arrancan a las 10hs, con 2 módulos de 40min cada una, y 20min entre ambos para que los alumnos puedan hacen un par de ejercicios.
    • Clase teórica de 13-15hs: tomamos nota de las diversas observaciones post-clase (e.g. grabarlas previamente, etc.).
    • Clases de práctica en la tarde: ya les avisaremos.
  • [01-04-2020, 06:00, actualizado 13:30]
    • De ahora en adelante las comisiones 1 y 2 de la mañana se unificarán en una única comisión los Martes y los Jueves en el horario de 10 a 12 hs.
    • Se re-estableció la clave de matriculación en EFICH.
    • De 14-16 hs habrá una clase virtual vía ZOOM (con una compu o un celu).
    • Para descargar e instalar Zoom buscarlo en la red, e.g. https://zoom.us/es-es/meetings.htm
    • Recordar que es "intentaremos" porque pueden surgir imprevistos de todo tipo.
  • [16-03-2020, 13:30] Por la suspensión de clases. Por favor registrarse en las listas NOTITC y/o e-FICH ya que serán nuestro canal de comunicación primario, donde enviaremos contenido e indicaremos las actividades y novedades relativas al cursado:
    • En e-FICH hacerlo en el curso: "Teoría de la Computación 2020" (clave: preguntar por email a los profes).
    • En NOTITC: seguir el enlace que figura en la página electrónica de la asignatura que los llevará a una página en donde tienen que completar algunos datos, por lo menos: Nombre(s) y Apellido(s) tal como figura en Alumnado, y una dirección de email que funcione (e.g. que no esté no-bloqueado por buzón lleno u otros motivos). Después de solicitar la registración en forma automática llegará un email a la casilla informada indicando si confirman la solicitud de registración.) Una vez que hayan respondido tendrán que esperar hasta que los administradores de esa lista autoricen la registración.
    • Tarea para el hogar. Lectura de las siguientes Sec. del libro de referencia (Rosen): 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, y 1.8. En lo posible incluir re-hacer los ejemplos.
  • [11-03-2020, 11:50]. Bedelía comunica el siguiente cambio provisional de aulas: mañana Jueves 12/03 en vez de darse clases en el CUBO se dictarán en el Aula 2.9 de la Facultad de Bioquímica y Ciencias Biológicas (FBCB) en el 2d0 piso. El cambio es sólo por mañana y la semana próxima volverán al CUBO.

[25-09-19, 13:20]. Como ejemplo de una orientación profesional se invita asistir a la siguiente defensa de Proyecto Final de Carrera para acceder al título de grado de Ingeniería en Informática de la FICH-UNL:
  • Fecha: Jueves 25/9 desde las 17 hs en la Sala de conferencias;
  • Título: "Implementación de un entorno para clusters de computación de alto desempeño en CIMEC en un gestor de configuración de software";
  • Alumno: Alejandro Dabin.
  • Resumen: Un cluster para computación de alto desempeño es un grupo de equipos interconectados que provee recursos de cálculo para uso intensivo y prolongado. Además del hardware, se requieren servicios que permitan el acceso remoto, gestionen y asignen tiempo de cómputo en los nodos, y registren el estado de los equipos. También se debe proveer a los usuarios con aplicaciones específicas y optimizadas para obtener el mejor rendimiento posible. Existen soluciones integradas que implementan estos entornos en pocas horas, pero la simplicidad que brindan inicialmente se pierde porque carecen de herramientas adecuadas para su administración posterior. Además, la configuración de otro cluster requiere comenzar casi desde cero. Si bien es posible realizar la configuración y administración de forma manual, un enfoque más adecuado es tratar a las partes del entorno como elementos que se pueden definir mediante código, especificando sus características y dependencias. Es decir, usar un lenguaje para programar cada parte del entorno, de manera que al procesarlo se obtenga el estado deseado. Esto puede realizarse mediante herramientas para gestión de la configuración de software que se encargan de comprobar y modificar el sistema para llevarlo al estado especificado. Actualmente, en el Centro de Investigación de Métodos Computacionales (CIMEC) se administran 4 clusters con dos sistemas operativos distintos, que ya no tienen soporte oficial, y se requiere actualizarlos. El cluster Pirayú pertenece a varios institutos, por lo que se emplean aplicaciones de campos muy diversos, incluyendo bioinformática, dinámica molecular, física cuántica, inteligencia computacional, y mecánica de fluidos y sólidos. Surge entonces la necesidad de contar con un entorno uniforme que permita gestionar recursos y aplicaciones de manera más eficiente, simplifique la administración y facilite la reutilización de configuraciones. Para dar solución a este problema, en este trabajo se presenta la implementación de un entorno para clusters de computación de alto desempeño según los requerimientos de CIMEC en el gestor de configuración de software Salt. El mismo incluye servicios básicos de acceso remoto y monitoreo, gestión de recursos de cómputo mediante Slurm, provisión remota de nodos con Warewulf y gestión de aplicaciones de usuarios con Easybuild. Finalmente, se describe la implementación en el cluster Seshat y se realizan pruebas de funcionamiento del entorno con HPL.
[11-09-19, 13:02]. Próxima consulta/muestra de exámenes antes del EF: será mañana Jueves 12/11/2019:
  • A las 12 hs en el CIMEC, con Jorge D'Elia;
  • A las 19 hs después de la clase de AED de Juan Gimenez.
[09-09-19, 18:28]. Sobre el próximo Examen Final (EF) y toma del Coloquio Final Integrador (CFI):
  • Debido a superposición de clases y exámenes, el EF y el CFI se postergan al día siguiente, i.e. próximo Viernes 13/09/2019 desde las 14 hs en la FICH en aula a determinar por Bedelía.
  • Esperar frente a Bedelía de FICH.
  • Próximas consultas o muestra de exámenes pasados: consultar para concertar.
[31-07-19, 11:55, actualizado 12:20].
  • Sobre el horario del próximo Examen Final (EF): será el Jueves 8 de Agosto pero desde las 14 hs en la FICH. Esperar frente a Bedelía.
  • Sobre la toma del CFI: se indicó antes en clases que, por omisión, los CFI se tomarán en las fechas y horarios de los exámenes finales. Entonces, por ejemplo, el próximo CFI se tomará durante el EF del Jueves 8 de Agosto desde las 14 hs en la FICH. Esperar frente a Bedelía.
[31-07-19, 11:55]. Próximas consultas antes del EF del Jueves 8 de Agosto:
  • Viernes 2 de Agosto: de 14 a 15 hs en el CIMEC (Gustavo Rios, Jorge D'Elia);
  • Lunes 5 de Agosto: de 15 a 16 hs en el CIMEC (Sergio Yapur).
[26-06-19, 11:55] Toma del Coloquio Final Integrador (CFI): cambio de lugar. El CFI para finalizar la promoción se tomará en el CIMEC desde las 15 hs. Por otra parte, los recuperatorios se tomarán sin cambios de aula, hora, o temario.

[25-06-19, 16:55] Recuperatorios del P1 y/o P2, toma del Coloquio Final Integrador (CFI), o alumnos de FIQ que deban el P2:
  • Fecha: Jueves 27 Junio;
  • Lugar: Aula Magna Puerta Este en planta baja detrás de la cantina del edificio FICH (donde antes fueron las clases de práctica de la Comisión 3);
  • Temario: el temario de cada recuperatorio es SIN cambios;
  • Toma de los recuperatorios del P1 y/o del P2: a las 12 hs. Todo alumno que cursó puede presentarse a rendir, ya sea que recupere el P1, o el P2, o ambos P1 y P2;
  • Toma del CFI: a las 15 hs (tienen que presentarse para finalizar la promoción);
  • Alumnos de FIQ que no-pudieron rendir por superposición de parciales: también presentarse a rendir a las 12 hs.
[24-06-19, 17:55] Notas, muestra, y consultas:
  • Están las notas del Parcial 2 junto con un detalle de los incisos, y la situación actual de cursado. Ver en https://cimec.org.ar/~mstorti/notas4.cgi
  • Consultas y/o muestra del Parcial 2: Martes 25 de Junio en el CIMEC a las 15 hs.
[21-06-19, 09:20] Sobre la toma del Parcial 2: será hoy Viernes 21 de Junio de 14 a 17 hs en el Aula 7 del Aulario. Instrucciones:
  • Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad.
  • Quienes puedan presentarse 15' antes (13:45 hs).
  • Tener presente las recomendaciones de cómo presentar un parcial/examen escrito dadas en un documento en formato PDF disponible en esta página (como-presentar-un-examen.pdf).
  • Temarios de la práctica y de la teoría: todo lo indicado en clases y lo ya indicado en la página de TCOMP.
[19-06-19, 10:20] Temario práctica parcial 2 corregido: el siguiente listado hace referencia a los temas que no serán evaluados como parte de la práctica en el parcial 2.
  • Sec. 2.1 [Algoritmos, pág. 109]: Completa.
  • Sec. 2.2 [Crecimiento de funciones, pág. 120]: Completa.
  • Sec. 2.3 [Complejidad de algoritmos, pág. 132]: Completa.
  • Sec. 2.4 [Enteros y división, pág.140]:
    • Aplicaciones de las congruencias: funciones de dispersión, números pseudoaleatorios.
    • Criptología: cifrado de César.
  • Sec. 2.5 [Enteros y algoritmos, pág. 155]:
    • Representación de números enteros.
    • Algoritmos para operaciones con enteros.
    • Exponenciación modular.
  • Sec. 2.6 [Aplicaciones de la teoría de números, pág. 167]: Completa.
  • Sec. 2.7 [Matrices, pág. 181]: Completa.
  • Sec. 4.1 [Introducción a conteo]: Diagramas en árbol.
  • Sec. 6.1 [Introducción a Relaciones de Recurrencia (RR)].
  • Sec. 6.2 [Solución de RRHLCC de 2do orden].
  • Sec. 7.4 [Cierre de relaciones]: Cierre transitivo.
  • Sec. 8.7 [Nociones de grafos planos]: Completa.
  • Sec. 8.8 [Nociones de coloreado de grafos]: Completa.
[31-05-19, 07:32]
  • Sobre el temario de las teóricas en el Parcial 2:
    • Sec. 2.1 [Algoritmos, pág. 109]: omitir toda la sección.
    • Sec. 2.2 [Crecimiento de funciones, pág. 120]: omitir toda la sección.
    • Sec. 2.3 [Complejidad de algoritmos, pág. 132]: omitir toda la sección.
    • Sec. 2.4 [Enteros y división, pág.140]:
      • División: def. 1, teor. 1, y corolario 1 (enunciados y demostraciones), ejemplos 1-2.
      • Números primos y compuestos: def. 2, enunciados de los teor. 2-5.
      • El algoritmo de la división: enunciado del teor. 6, def. 3, ejemplos 8-9.
      • Máximo común divisor y del mínimo común múltiplo: def. 4-7, demostración del teor. 7 (verla en el texto de Johnsonbaugh).
      • Aritmética modular: def. 8, enunciados de los teor. 8-10,
      • Aplicaciones de las congruencias: funciones de dispersión, números pseudoaleatorios.
      • Criptología: cifrado de César.
    • Sec. 2.5 [Enteros y algoritmos, pág. 155]:
      • Representación de números enteros: teor. 1, ejemplos 1-6.
      • Algoritmos para operaciones con enteros: omitir.
      • Exponenciación modular: omitir.
      • El algoritmo de Euclides: enunciado y demostración, ejemplo 12, y algoritmo 6.
    • Sec. 2.6 [Aplicaciones de la teoría de números, pág. 167]:
      • Algunos resultados útiles: enunciado del teorema 1. Lema 1 (hay un error de tipeo en la demostración: en la oración "Como a|c y a|tbc", cambiar por "Como a|sac y a|tbc"]. Lema 2. Teorema 2: enunciado y demsotración. Congruencias lineales: teorema 3, enunciado y demostración. Ejemplos 3 y 4.
      • Teorema chino del resto: omitir.
      • Aritmética computacional con números grandes: omitir.
      • Pseudoprimos: omitir.
      • Criptografía de clave pública, cifrado y descifrado RSA: incluir.
      • RSA como sistema de clave pública: lectura.
    • Sec. 2.7 [Matrices, pág. 181]: omitir toda la sección.
    • Sec. 4.1 [introducción a conteo]: la regla del producto (o principio de la multiplicación), y regla de la suma (o principio de la suma), uso del Principio de Inclusión-Exclusión (PIE) en conteo, diagramas en árbol.
    • Sec. 4.2 [Principios del Palomar (PP)]: teoremas 1-2, y ejemplos.
    • Sec. 4.3 [permutaciones y combinaciones]: definiciones, propiedades, teoremas, y ejemplos.
    • Sec. 4.4 [coeficientes binomiales]: teorema del binomio, corolarios 1-3 (enunciados y demostración). Triángulo y la identidad de Pascal: incluir teoremas 2-3 y coroloario 4, pero omitir teorema 4.
    • Sec. 4.5 [permutaciones y combinaciones generalizadas]: definiciones, propiedades, teoremas, y ejemplos.
    • Sec. 6.1 [intro a Relaciones de Recurrencia (RR)]: definiciones, clasificación exhaustiva.;
    • Sec. 6.2 [solución de las RRHLCC de 2do orden]: enunciados de los 2 teoremas, y ejemplos.
    • Sec. 7.3 [representaciones de las relaciones].
    • Sec. 7.5 [relaciones de equivalencia]: definiciones, propiedades, teoremas.
    • Sec. 7.5 [relaciones de orden parcial y total]: definiciones, propiedades.
    • Sec. 8.1 [intro a grafos]: definiciones;
    • Sec. 8.2 [terminología en grafos]: definiciones, ejemplos;
    • Sec. 8.3 [representaciones de grafos, y nociones de isomorfismo en grafos];
    • Sec. 8.4 [conexión en grafos]: definiciones, propiedades, teoremas, ejemplos;
    • Sec. 8.5 [circuitos y caminos eulerianos y hamiltonianos]: toda la sección;
    • Sec. 8.6 [algoritmo de Dijkstra]: incluir modificación para grafos con más de una componente conexa;
    • Sec. 8.7 [nociones de grafos planos]: definición, ejemplos;
    • Sec. 8.8 [nociones de coloreado de grafos]: definición, ejemplos;
    • Sec. 9.1 [intro a arboles]: terminología en árboles, ejemplos;
    • Sec. 9.3 [recorridos en árboles]: recorridos pre-orden, post-orden, y entre-orden;
    • Sec. 9.4 [árbol de expansión]: definición, propiedades, búsqueda a lo ancho y en profundidad;
    • Sec. 9.5 [árbol de expansión mínimo]: definición, propiedades, algoritmos de Prim y de Kruskal.
  • Muestra del parcial 1: hoy viernes desde las 13 hs en el aula 7 del Aulario.
[20-05-19, 16:09] Están las notas del Parcial 1 junto con un detalle de los incisos en https://cimec.org.ar/~mstorti/notas4.cgi La muestra del parcial 1 será anunciada en un ulterior mensaje.

[19-04-19, 09:37] Sobre la toma del Parcial 1:
  • Fecha: Viernes 26 de Abril de 14 a 17 hs en el Aula 7 del Aulario. Instrucciones:
    • Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad.
    • Quienes puedan presentarse 15' antes (13:45 hs).
    • Tener presente las recomendaciones de cómo presentar un parcial/examen escrito dadas en un documento en formato PDF disponible en esta página (como-presentar-un-examen.pdf).
    • Temario de la práctica: desde la Sec. 1.1 (Lógica) hasta la Sec. 3.3 (Principio de Inducción Matemática) excepto: Sec. 1.8 (funciones), y el Capítulo 2, que se postergan al Parcial 2.
    • Temario de la teoría: todo lo indicado en clases aunque a continuación se lista un temario detallado:
      • Sec. 1.1 [Lógica, pág. 1]. Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos (not, and, or, xor). Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Lógica y operaciones de bits. Omitir: "especificaciones del sistema", "juegos de lógica", y "búsquedas booleanas".
      • Sec. 1.2 [Equivalencias proposicionales, pág. 19]. Def. 1-2, tablas 5-7, ejemplos 1-6.
      • Sec. 1.3 [Predicados y cuantificadores, pág. 26]. Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Negación de cuantificadores (o Leyes de De Morgan generalizadas). Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll", y "programación lógica".
      • Sec. 1.4 [Cuantificadores anidados, pág. 40]. Ejemplos 1-9. Negaciones de cuantificadores anidados, ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16.
      • Sec. 1.5 [Métodos de demostración, pág. 52], Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos, y por equivalencia, ejemplos 14-25. Leer la introducción a los apartados: teoremas y cuantificadores (demostraciones de existencia y de unicidad), y Errores en las demostraciones. Incluir los ejemplos 31-32 pero omitir los ejemplos 26-30.
      • Sec. 1.6 [Conjuntos, pág. 71], Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16.
      • Sec. 1.7 [Operaciones con conjuntos, pág. 79]. Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Omitir: "representación de conjuntos en un ordenador".
      • Sec. 1.8 [Funciones, pág. 90]. Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13. Funciones inversas y composición de funciones (pp. 94), def. 9-10, ejemplos 14-18. Algunas funciones importantes: funciones piso y techo (def. 12), tabla 1, ejemplos 21-25.
      • Cap. 2: se posterga al parcial 2.
      • Sec. 3.1 [Estrategias de demostración, pág. 199]: lectura.
      • Sec. 3.2 [Sucesiones y sumatorias, pág. 210]: lectura.
      • Sec. 3.3 [Principio de Inducción Matemática (PIM), pág. 222]. Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden", y los ejemplos 11-14.
      • Sec. 3.4 [Definiciones recursivas e inducción estructural, pág. 239]: funciones definidas recursivamente: def. 1, ejemplos 1-5, omitir el ejemplo 6 y el teor. 1. Omitir: "conjuntos y estructuras definidas recursivamente", "inducción estructural", e "inducción generalizada".
      • Sec. 7.1 [Relaciones y sus propiedades, pág. 439]: definición de relación binaria. Funciones como relaciones. Relaciones en un conjunto. Definiciones de relación reflexiva, relación simétrica, y relación antisimétrica.
[09-04-19, 11:50] Debido a algunas consultas recibidas: se confirma que en la presente semana (del 08 al 13 de Abril) no se dictarán clases en la FICH en todas las asignaturas desde 2do año en adelante tanto teóricas como prácticas. En consecuencia, en toda la presente semana NO habrá clases de ningún tipo en la asignatura TCOMP.

[22-03-19, 10:05] Varios:
  • Las clases teóricas de los Viernes migran al Aula 7 del 3er piso del Edificio CUBO en el horario de 14-16 hs.
  • Se actualizó la página electrónica de tcomp con el listado de ejercicios de la GTP a la fecha.
  • Idem para las listas de correo: (i) e-fich para los alumnos de FICH, y (ii) noti-tc (para los alumnos de FIQ).

[13-02-19, 07:00] Consultas: los Viernes a las 14hs en el CIMEC. Por favor avisar con antelación.

[04-02-19, 12:15] Consultas: mañana Martes a las 15hs en la FICH en Aula a determinar por Bedelía.

[04-07-18, 18:08] Sobre el Examen de mañana Jueves 05-07-18:
  • Posiblemente será en el Aula 9 pero, por las dudas, esperar a la entrada de Bedelía.
  • Leve cambio en el horario de examen:
    • Alumnos libres: a las 13 hs;
    • Alumnos regulares: a las 13 hs;
    • Alumnos que rinden el CFI: a las 14 hs.

[30-06-18, 14:08] Para los alumnos de la FICH:
  • Recordar que no deben inscribirse a llamados a examen final hasta que en el SIU GUARANI aparezca el estado final de cursado (el Acta de Cursado se eleva recién después de los recuperatorios).
  • Cualquier cambio en el estado final de cursado que se logre en los recuperatorios aparecerá en el SIU GUARANI de FICH recién desde el 2do o 3er llamado en adelante.
  • Confirmar quienes se presentarían el próximo Jueves. Cualquier duda: preguntar.
​​​​ ​​​​[30-06-18, 11:20] Para los alumnos de la FIQ:
  • Recordar que no deben inscribirse a llamados a examen final hasta que en el SIU GUARANI aparezca el estado final de cursado (el Acta de Cursado se eleva recién después de los recuperatorios).
  • Tener en cuenta lo siguiente. La asignatura MAD para II/AI en la FIQ se rinde en el 1er día de los turnos de exámenes. Hasta hace poco, un turno de exámenes empezaba un lunes y terminaba un sábado pero, recientemente, por gestiones del CEIQ, los turnos ahora empiezan los Miércoles. Por eso, si bien en el SIU GUARANI aún figura que el 1er llamado a examen final de MAD para II/AI sería el próximo Lunes 2 de Julio, en realidad, se tiene que postergar al próximo Miércoles 4 de Julio (a las 8:00 hs). No confundirse con MAD para LMA pues tiene otro día.
  • Opción para rendir en la FIQ o en la FICH: ayer concordamos con Ricardo Toledano en darles la siguiente opción en función del libro de texto base que estudiaron aunque, en cualquier caso, siempre deberán inscribirse en el SIU GUARANI de la FIQ:
    • Texto de Johnsonbaugh, entonces podrán rendir en la FIQ en un llamado de MAD;
    • Texto de Rosen, entonces podrán rendir en la FICH en un llamado de TCOMP.
  • En el caso del 1er llamado a examen de MAD para II/AI podrán opcionalmente presentarse en la FICH el próximo Jueves 5 de Julio:
    • Alumnos que rinden el CFI (y así promocionar): a las 15 hs;
    • Alumnos libres: a las 15 hs;
    • Alumnos regulares: a las 15:30 hs.
  • Confirmar quienes se presentarían el próximo Jueves. Cualquier duda: preguntar.
​​​​ [26-06-18, 07:40] Sobre el Parcial 2, el estado actual de cursado, y recuperatorio:
  • Están las notas del parcial 2, junto con el detalle de los incisos, y el estado actual de cursado, en https://cimec.org.ar/~mstorti/notas4.cgi
  • Muestra del parcial 2, y consultas:
    • Martes 26/6 a las 9hs en el Aula 2
    • Martes 26/6 a las 13hs en el Aula 3
  • Recuperatorio: Jueves 28/6 de 13 a 16 hs en el Aula 9.

[21-06-18, 15:30] Sobre la toma del Parcial 2:
  • Fecha: VIERNES 22 de JUNIO de 13:30 a 16:30 hs en el Aula 9.
  • Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad.
  • Quienes puedan presentarse 15' antes (13:15 hs).
  • Temario: lo ya indicado en clases y en el temario detallado enviado ayer.
  • Tener presente las recomendaciones de cómo presentar un parcial/examen escrito dadas en un documento en formato PDF disponible en esta página (como-presentar-un-examen.pdf).

[20-06-18, 17:58] Sobre el temario del Parcial 2:
  • De la TEORIA: todo lo ya indicado y dado en clases de las teorías, e.g.:
    • Sec. 2.1 [Algoritmos, pág. 109]: omitir.
    • Sec. 2.2 [Crecimiento de funciones, pág. 120]: omitir.
    • Sec. 2.3 [Complejidad de algoritmos, pág. 132]: omitir.
    • Sec. 2.4 [Enteros y división, pág.140]. División: def. 1, teor. 1 y corolario 1 (enunciados y demostraciones vistas en la teoría), ejemplos 1-2. Números primos y compuestos: def. 2, enunciados de los teor. 2-5 vistos en la teoría, omitir ejemplo 7. El algoritmo de la división: teor. 6, def. 3, ejemplos 8-9. Máximo común divisor y del mínimo común múltiplo: def. 4-7, teor. 7.
    • Sec. 2.5 [Enteros y algoritmos, pág. 155]. Representación de números enteros: teor. 1, ejemplos 1-6, algoritmo 1. El algoritmo de Euclides: lema 1. Omitir: "algoritmos para operaciones con enteros", y "exponenciación modular".
    • Sec. 2.6 [Aplicaciones de la teoría de números, pág. 167]: omitir toda la sección.
    • Sec. 2.7 [Matrices, pág. 181]: omitir toda la sección.
    • Sec. 4.1 [introducción a conteo];
    • Sec. 4.2 [Principios del Palomar (PP)]: enunciados y ejemplos;
    • Sec. 4.3 [permutaciones y combinaciones]: definiciones, propiedades, teoremas, y ejemplos;
    • Sec. 4.4 [coeficientes binomiales];
    • Sec. 4.5 [permutaciones y combinaciones generalizadas]: definiciones, propiedades, teoremas, y ejemplos;
    • Sec. 6.1 [intro a Relaciones de Recurrencia (RR)]: definiciones, clasificación exhaustiva;
    • Sec. 6.2 [solución de las RRHLCC de 2do orden]: los dos teoremas, y ejemplos;
    • Sec. 7.3 [representaciones de las relaciones];
    • Sec. 7.5 [relaciones de equivalencia]: definiciones, propiedades, teoremas;
    • Sec. 7.5 [relaciones de orden parcial y total]: definiciones, propiedades;
    • Sec. 8.1 [intro a grafos]: definiciones;
    • Sec. 8.2 [terminología en grafos]: definiciones, ejemplos;
    • Sec. 8.3 [representaciones de grafos, y nociones de isomorfismo en grafos];
    • Sec. 8.4 [conexión en grafos]: definiciones, propiedades, teoremas, ejemplos;
    • Sec. 8.5 [circuitos y caminos eulerianos y hamiltonianos]: toda la sección;
    • Sec. 8.6 [algoritmo de Dijkstra]: incluir modificación para grafos con más de una componente conexa;
    • Sec. 8.7 [nociones de grafos planos]: definición, ejemplos;
    • Sec. 8.8 [nociones de coloreado de grafos]: definición, ejemplos;
    • Sec. 9.1 [intro a arboles]: terminología en árboles, ejemplos;
    • Sec. 9.3 [recorridos en árboles]: recorridos pre-orden, post-orden, y entre-orden;
    • Sec. 9.4 [árbol de expansión]: definición, propiedades, búsqueda a lo ancho y en profundidad;
    • Sec. 9.5 [árbol de expansión mínimo]: definición, propiedades, algoritmos de Prim y de Kruskal.

  • De la PRACTICA: si bien los temas que siguen son parte del temario, sin embargo, en esta única ocasión, excluir:
    • Sec. 4.2 [principios del palomar (PP)];
    • Sec. 6.1 [Relaciones de Recurrencia (RR)];
    • Sec. 6.2 [Resolución de relaciones de recurrencia (RR)];
    • Sec. 6.5 [Principio de Inclusión-Exclusión (PIE)];
    • Sec. 6.6 [Aplicaciones del PIE];
    • Sec. 7.4 [Cierre de relaciones]: solamente excluir cierre transitivo;
    • Sec. 8.7 [Grafos planos];
    • Sec. 8.8 [Coloreado de grafos].

[29-05-18, 13:51] Están las notas del Parcial 1 junto con el detalle de los incisos en https://cimec.org.ar/~mstorti/notas4.cgi La demora en publicar se debió a efectos colaterales en un update del OS del servidor. La muestra del parcial 1 será el próximo Viernes de 13 a 14 hs en el Aula 9.

[14-05-18, 16:47] Día del Docente Universitario. Rectorado de UNL decidió homenajear a los docentes universitarios en su día (15 de Mayo) con un día no-laborable para los mismos, por lo que se suspenden todo tipo de actividad académica (clases, parciales, mesas de exámenes, etc). En consecuencia, en esta ocasión, mañana Martes 15 de Mayo: no-habrá clases en ninguna de las tres comisiones de práctica (8-10 hs, 10-12 hs, ni 15:30-17:30 hs).

  • [26-04-18, 11:54] En la Sec. "Documentos (en formato electrónico PDF)" de la página electrónica de la asignatura (http://www.cimec.org.ar/tcomp) se agregó el archivo tcomp-2017.tgz con algunos enunciados de parciales o exámenes finales del cursado 2017.
  • [05-04-18, 11:00] En la Sec. "Documentos (en formato electrónico PDF)" de la página electrónica de la asignatura (http://www.cimec.org.ar/tcomp) se agregó un documento sobre las demostraciones por reducción al absurdo.
  • [20-03-18, 09:23] (Difusión) Dos defensas de tesis en el Doctorado en Ingeniería mención Mecánica Computacional: (i) "Optimización del desempeño térmico y energético de viviendas en la región Litoral" (Facundo Bre), Miércoles 21 de Marzo a las 17 hs; y (ii) "Simulación de la inyección directa de combustible en motores de combustión interna" (Horacio Aguerre), Miércoles 22 de Marzo a las 10:30 hs, en aulas de la FICH a confirmar.
  • [19-03-18, 18:16] Cambio de aula en las Comisiones 1 y 2 (de la mañana): desde el próximo Jueves las clases de práctica en el Aula 1 pasarán a ser dictadas en el Aula 6 (seis) en el Edificio Cubo.

  • [18-12-17, 14:00] Se recuerda que en la Sec. Documentos de la página de la asignatura (junto con notas preliminares), se encuentra disponible un documento con algunas recomendaciones de cómo mejorar la presentación de un parcial o examen.
  • [27-07-17, 15:15, actualizado 21:24] Alumnos que rindan el Coloquio Final Integrador (CFI):
    • Se presentarán directamente sin-inscribirse aún en el SIU GUARANI, sólo después de aprobarlo, la cátedra lo informará a Alumnado, entonces Alumnado habilitará la inscripción al siguiente llamado a examen final, se inscriben, y recién entonces se les pasará la nota de promoción.
    • Presentarse el próximo Jueves 03-08-17 a las 16 hs, y esperar a la entrada de la Bedelía.
  • [04-07-17, 16:34] Están las notas del Recuperatorio junto con el Estado Final de Cursado. Ver en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [29-06-17, 10:14] (i) Recuperatorio: se confirma que será como estaba pautado, i.e. mañana Viernes a las 13 hs en el Aula 9; (ii) Consultas: notar que esta tarde a las 15 hs habrá una, prima facie en el Aula 7 (en donde antes se daban las clases en la C3).
  • [28-06-17, 17:09] Están las notas del Parcial 2 junto con la situación actual de cursado. Ver en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [27-06-17, 12:59] Listado de los próximos horarios de consulta. Por favor avisen con antelación quienes deseen asistir a alguna de las siguientes consultas:
    • Miércoles 28 de Junio a las 14hs en edificio CIMEC (ver localización en un enlace en esta página). A cargo: J. Gimenez (email: buscarlo en la página);
    • Jueves 29 de Junio a las 10hs. En principio, en el aula 1 - FICH. Si la ocupan, buscamos otra. A cargo: J.J. Gómez (email: buscarlo en esta página) Cancelada por imprevisto familiar;
    • Jueves 29 de Junio a las 15hs. En principio, en el aula 7 - FICH (donde se daban las clases en la C3).
  • [11-06-17, 13:10] Postergación del Parcial 2 y Recuperatorio. Como ya se adelantó en la clase del Viernes pasado, las fechas quedaron postergadas de la siguiente manera:
    • Parcial 2: pasa al Viernes 23/06/17 a las 13 hs en el Aula 9;
    • Recuperatorio: pasa al Viernes 30/06/17.
  • [31-05-17, 17:48] Están las notas del Parcial 1 junto con el detalle de los incisos en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [27-05-17, 13:47] (i) El Parcial 1 ya fue corregido aunque por problemas logísticos las notas se publicarán recién hacia el próximo Martes-Miércoles; (ii) En la página electrónica se actualizó el apunte de las notas preliminares incluyendo algunos temas del próximo parcial 2.
  • [25-04-17, 15:13] En la página electrónica se actualizó a 2016 el listado de enunciados de parciales o exámenes finales (aglutinados por año en único archivo tgz), buscarlos en la Sec. "Documentos (en formato electrónico PDF)".
  • [21-04-17, 19:27] Sobre la toma del Parcial 1:
    • Fecha: VIERNES 28 de ABRIL, de 13 a 16 hs, en el Aula 9.
    • Instrucciones: Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad. Presentarse 15' antes (12:45 hs).
    • Temario de la práctica: tener en cuenta lo indicado en las clases.
    • Temario de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
      • Sec. 1.1 [Lógica, pág. 1]. Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos. Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Lógica y operaciones de bits. Omitir: "especificaciones del sistema", "juegos de lógica", y "búsquedas booleanas".
      • Sec. 1.2 [Equivalencias proposicionales, pág. 19]. Def. 1-2, tablas 5-7, ejemplos 1-6.
      • Sec. 1.3 [Predicados y cuantificadores, pág. 26]. Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Negación de cuantificadores (o Leyes de De Morgan generalizadas). Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll", y "programación lógica".
      • Sec. 1.4 [Cuantificadores anidados, pág. 40]. Ejemplos 1-9. Negaciones de cuantificadores anidados, ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16.
      • Sec. 1.5 [Métodos de demostración, pág. 52], Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos y por equivalencia, ejemplos 14-25. Leer la introducción a los apartados: Teoremas y cuantificadores (demostraciones de existencia y de unicidad), y Errores en las demostraciones. Incluir los ejemplos 31-32 pero omitir los ejemplos 26-30.
      • Sec. 1.6 [Conjuntos, pág. 71], Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16.
      • Sec. 1.7 [Operaciones con conjuntos, pág. 79]. Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Omitir: "representación de conjuntos en un ordenador".
      • Sec. 1.8 [Funciones, pág. 90]. Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13. Funciones inversas y composición de funciones (pp. 94), def. 9-10, ejemplos 14-18. Algunas funciones importantes: funciones piso y techo (def. 12), tabla 1, ejemplos 21-25.
      • Sec. 3.3 [Principio de Inducción Matemática (PIM), pág. 222]. Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden" y los ejemplos 11-14.
      • Sec. 3.4 [Definiciones recursivas e inducción estructural, pág. 239]: funciones definidas recursivamente: def. 1, ejemplos 1-5, omitir el ejemplo 6 y el teor. 1. Omitir: "conjuntos y estructuras definidas recursivamente", "inducción estructural", e "inducción generalizada".

  • [21-04-17, 19:20] Dos sobre Software Libre:
    • Richard Stallman vendrá a Santa Fe en junio: ver <a target="_blank" href="http://www.unosantafe.com.ar/santa-fe/richard-stallman-vendra-santa-fe-junio-n1381416.html">http://www.unosantafe.com.ar/santa-fe/richard-stallman-vendra-santa-fe-junio-n1381416.html</a>
    • FLISol (Festival Latinoamericano de Instalación de Software Libre), Sábado 22-04-17
      • Página: https://flisol.info/FLISOL2017/Argentina/SantaFe
      • Lugar: DEMOS Comunidad Cultural Emergente
      • Dirección: 9 de Julio 2239, Santa Fe,
      • Horario: 10hs a 17hs.
      • Resumen: es un evento de difusión de Software Libre en Latinoamérica y está dirigido a todo tipo de público: estudiantes, académicos, empresarios, trabajadores, funcionarios públicos, entusiastas y aun personas que no poseen mucho conocimiento informático.
  • [14-09-16, 13:30] Se comunica a los alumnos que el examen de TCOMP de mañana jueves 15-09-16 se llevará a cabo a partir de las 15:30hs en el CIMEC (ver instrucciones acerca de cómo llegar en <a target="_blank" href="CimecLocation">http://www.cimec.org.ar/twiki/bin/view/Cimec/CimecLocation</a>).
  • [31-08-16, 13:30] Clase de consultas para el próximo llamado a examen final en TCOMP: será en el CIMEC el próximo Viernes 02-09-2016 a las 11:30 hs.
  • [09-08-16, 12:10]
    • Sobre la fecha del próximo examen final: se ratifica, una vez más, que es la indicada en el SIU GUARANI, o sea, será el JUEVES 11 de Agosto a las 16 hs. En caso de dudas preguntar en Alumnado o Centro de Estudiantes. Por favor difundir.
  • [03-08-16, 13:25]
    • Se ratifica que las fechas de exámenes finales son las indicadas en el SIU GUARANI, o sea, mañana Jueves 4 de Agosto y Jueves 11 de Agosto, correspondientes al primer y segundo llamado del Tercer Turno de exámenes de 2016, respectivamente, ambas a las 16 hs.
    • Los alumnos que se presentaron y aprobaron el CFI en el turno de exámenes de Julio pasado tienen que inscribirse en algún llamado a examen final en el SIU GUARANI en la modalidad Promoción Pendiente (PP). Si esa condición no les aparece, entonces consultar en Alumnado. Si no se inscribieron al Tercer Turno de exámenes, entonces recién podrán hacerlo en el Cuarto Turno con un llamado (con inscripción del 5 al 8 de septiembre de 2016).
  • [01-08-16, 11:30] Para el próximo Jueves 04-08-16 esperar a la entrada de la Bedelía en los siguientes horarios:
    • Alumnos que rindan el Coloquio Final Integrador (CFI) : presentarse a las 14 hs;
    • Alumnos que rindan el Examen Final (EF): presentarse a las 16 hs.
  • [29-07-16, 14:03] Próxima clase de consulta y muestra de exámenes correspondientes al turno 07-07-16: próximo Lunes 01-08 a las 17 hs en Aula a determinar por Bedelía.
  • [05-07-16, 12:01] Para el próximo Jueves 07-07-16 esperar a la entrada de la Bedelía en los siguientes horarios:
    • Alumnos que rindan el Coloquio Final Integrador (CFI) : presentarse a las 14 hs;
    • Alumnos que rindan el Examen Final (EF): presentarse a las 16 hs.
  • [02-07-16, 14:03] Próxima clase de consulta, con muestra del Recuperatorio y del Parcial 2: el próximo Martes 05-07 a las 16 hs en Aula a determinar por la Bedelía.
  • [27-06-16, 14:29] Para los alumnos que opten en rendir el Coloquio Final Integrador (CFI), para así finalizar la promoción de la asignatura, deberán presentarse a cualquier llamado a examen final de TCOMP en la FICH hasta el turno de Septiembre inclusive, pero NO se inscribirán en el SIU GUARANI. Por favor, confirmar por email a la cátedra cuando se presenten a rendir el CFI.
  • [27-06-16, 13:52] Están las notas del recuperatorio (junto con el detalle de los incisos) y la situación final del cursado, en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [21-06-16, 15:45] El recuperatorio se tomará el Jueves 23-06-16 a partir de las 14hs en el Aula Magna. El CFI pasa a las fechas de exámenes durante los llamados de Julio-Agosto. Por otro lado, mañana miércoles se mostrará el parcial 2 y se dará clase de consulta, en el aula y horario de la teoría.
  • [21-06-16, 08:38] Se dictarán clases de consulta y repaso hoy Martes 21 en horario y lugar asignado a la comisión 3, Taller C del cubo, a las 15 hs.
  • [20-06-16, 22:18] Están las notas del Parcial 2 junto con el detalle de los incisos y la situación actual de cursado, en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [14-06-16, 13:07] El Parcial 2 será el próximo Jueves 16 de Junio de 14 a 17 hs en el Aula Magna (Planta Baja, hacia el Norte cerca del Bar). Temario teórico y práctico: principios de conteo (cap. 4 y lo ya indicado del cap. 6); relaciones de recurrencia (cap. 6); relaciones (cap. 7); grafos (cap. 8); intro a árboles (Sec. 9.1), árbol de expansión (Sec. 9.4): definición, enunciado del teorema, primeros ejemplos. Continuación del temario teórico: algoritmos de búsqueda a lo ancho y en profundidad, recorridos de árboles (Sec. 9.3), árbol de expansión mínimo, y algoritmos de Prim y de Kruskal (Sec. 9.5).
  • [03-06-16, 11:15] Muestra del Ejercicio 1 del Parcial 1: por razones de salud de un integrante, dicha muestra se posterga al próximo Miércoles 08 de Junio a las 13 hs en el Aula 9. La clase de teoría: SIN cambios.
  • [24-05-16, 14:02] Muestra de los parciales: será el próximo Viernes 27 de Mayo en el Aula 9 a las 13 hs.
  • [17-05-16, 15:18] Están las notas del Parcial 1 junto con el detalle de los incisos en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [09-05-16, 16:01] Las clases de práctica de mañana Martes serán normales (o casi).
  • [02-05-16, 14:38] Para pensar: el hacker de la UADE (http://www.lanacion.com.ar/el-hacker-de-la-uade-t56452)
  • [29-04-16, 10:36] Debido al paro del personal no docente se cancela la clase de hoy de 14-16 hs.
  • [21-04-16, 11:42] Se repuso el documento en formato PDF con notas preliminares en algunos temas (buscarlo en Documentos).
  • [18-04-16, 13:50 hs] Como una excepción debido al Parcial 1 del próximo sábado (23-04-16 a las 8:30 hs), mañana habrá clases normalmente en las comisiones 1 (de 8 a 10hs) y 2 (de 10 a 12 hs.).
  • [13-04-16, 11:34 hs] Los docentes de las comisiones 1 (de 8 a 10hs) y 2 (de 10 a 12 hs.) se adhieren a los paros docentes por lo que se suspenden las clases de ambas comisiones en esas ocasiones.
  • [28-03-16, 16:04 hs] Las prácticas de las comisiones 1 (de 8 a 10 hs), 2 (de 10 a 12hs) de mañana Martes 29-03-16 quedan suspendidas, i.e. no se dictarán.
  • [21-03-16, 11:56, corregido a las 16:56 hs] Las prácticas de las comisiones 1 (de 8 a 10 hs), 2 (de 10 a 12hs), y 3 (de 15:17 hs) correspondientes al día Martes 22-03-16 se dictarán NORMALMENTE.

[23-07-15, 11:52]. El Jueves 30/07 se dictará una clase de consulta a partir de las 9hs. En ella, también se exhibirán los exámenes finales correspondientes al 07/07.

[01-07-22, 14:25].
  • La consulta de Gustavo Rios de mañana Lunes 06 de Julio a las 10 hs pasa al Aula 1.
  • Habrá otra clase de consulta (Juan José Gomez Barroso) el próximo Lunes 30 de Julio a las 9 hs, en Aula a determinar.

[29-06-22, 12:53, actualizado 15:50].
  • Los recuperatorios se exhibirán en la clase de consulta de mañana Martes 30 de Julio a las 10 hs en el Aula 2 (Juan José Gomez Barroso);
  • Los que están en condiciones de presentarse al CFI deberán inscribirse en el SIU GUARANI respectivo (FICH o FIQ) a la mesa de examen final;
  • Están disponibles las notas del recuperatorio y la situación final de cursado en <a target="_top" href="http://venus.ceride.gov.ar/%7Emstorti/notas4.cgi">http://venus.ceride.gov.ar/~mstorti/notas4.cgi</a>

[26-06-15, 12:45] Se cancela la clase de teoría del día de hoy.

[25-06-15, 13:50] Sobre el CFI, situación post-cursado, y consultas previas a los exámenes:
  • Se posterga el CFI de mañana Viernes al primer llamado a Examen Final;
  • Alumnos de FICH: después que la Cátedra eleve a Alumnado el Acta de Regularidad (AR), cada uno que cursó hasta el final del cuatrimestre figurará como alumno: Libre, Regular, o Coloquio Pendiente. El CFI se llevará a cabo HASTA el 2do (segundo) turno de examen posterior a la finalización del cursado de la asignatura [art. 11 del Reglamento de Enseñanza de Grado y Pregrado Presencial (REGPP) de la FICH]. En caso de no-aprobar el CFI podrá presentarse nuevamente pero siempre dentro de dicho plazo. En caso contrario quedará como alumno regular;
  • Alumnos de FIQ: los que estén en condiciones de rendir el CFI deberán: (i) presentarse en la FICH el Martes 7 de julio a las 16 hs (esperar a la entrada de Bedelía), pero (ii) inscribirse al llamado a Examen Final en la FIQ (en la asignatura Matemática Discreta (MAD)) para que se les pase la nota del CFI como nota de promoción. Atención con las fechas porque los exámenes de MAD en la FIQ usualmente son el primer día de los llamados;
  • Próximas consultas:
    • Martes 30 de Julio a las 10 hs, en el Aula 2 (Juan José Gomez Barroso);
    • Jueves 02 de Julio a las 10 hs, en el Aula 9 (Gustavo Rios).

[23-06-15, 10:53] A partir de las 12:30hs (en el Aula 1) y 17:00hs (en el Aula Magna) del día de hoy, se exhibirán los Parciales 2 para aquellos alumnos que deseen verlos.

[20-06-22, 15:15]. Están disponibles las notas del Parcial 2 y la situación actual de cursado en <a target="_top" href="http://venus.ceride.gov.ar/%7Emstorti/notas4.cgi">http://venus.ceride.gov.ar/~mstorti/notas4.cgi</a>

[2015-06-19 12:31:40] Se cancela la clase de teoría del día de hoy.

[05-06-15 12:30, actualizado el 08-06-15 07:10]. Clases recuperatorias:
  • Clase recuperatoria de práctica en la Comisión 3 (en la tarde): hoy Lunes 8 de Junio a las 15 hs en el Aula 3;
  • Clase recuperatoria de práctica en las comisiones 1 y 2 (en la mañana): el próximo Viernes 12 de Junio a las 9 hs en el Aula 5.
  • Clase recuperatoria de teoría hoy Lunes 8 de Junio a las 17:30 hs en el Aula 8 (un rato después de la clase recuperatoria de práctica);
  • Temario de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
    • Sec. 4.1 [Fundamentos de combinatoria, pág. 279]. Principios básicos de conteo: reglas del producto y de la suma (o principios del producto y de la suma, respectivamente), ejemplos 1-6, 9-12. Problemas de recuento más complicados: omitir. El principio de inclusión-exclusión: ejemplo 16. Diagramas árbol: ejemplos 17-18.
    • Sec. 4.2 [Principios del palomar, pág. 290]. Introducción: teor. 1, ejemplos 1-3. El Principio del Palomar (PP) generalizado: teor. 2, ejemplos 9. Algunas aplicaciones elegantes del PP: únicamente el ejemplo 10 (omitir el resto).
    • Sec. 4.3 [Permutaciones y combinaciones, pág. 297]. Permutaciones: teor. 1, ejemplos 1-5. Combinaciones: teor. 2, corolario 1, def. 1, ejemplos 6-11.
    • Sec. 4.4 [Coeficientes binomiales, pág. 303]. El teorema del binomio (o binomio de Newton): teor. 1, corolarios 1-3, ejemplos 1-4. El triángulo y la identidad de Pascal: teor. 2. Algunas identidades entre coeficientes binomiales: teor. 3 y corolario 4, omitir el teor. 4.
    • Sec. 4.5 [Permutaciones y combinaciones generalizadas, pág. 311]. Permutaciones con repetición: teor. 1, ejemplo 1. Combinaciones con repetición: teor. 2, ejemplos 2-7. Permutaciones con objetos indistiguibles: teor. 3, ejemplo 8, tabla 1. Distribuciones de objetos en cajas: teor. 4 y ejemplo 9. Incluir la demostración del teorema multinomial en el caso m=3 (ejercicio 53 de la pág. 319).
    • Sec. 4.6 [Generación de permutaciones, pág. 320]: omitir.
    • Cap. 5: omitir todo el capítulo.
    • Sec. 6.1 [Relaciones de recurrencia (RR), pág. 373]. Def. 1, ejemplos 1-6, omitir ejemplos 7-8.
    • Sec. 6.2 [Resolución de las RR, pág. 384]. Def. 1, ejemplos 1-2. Resolución de las RRLHCC: teor. 1-3, enunciados de los teor. 3-4, ejemplos 3-8. Relaciones de recurrencia lineales y no-homogéneas de CC: enunciados de los teor. 5-6, ejemplos 9-13.
    • Sec. 6.3 [Algoritmos de divide y vencerás, y las RR, pág. 396]: omitir toda la sección.
    • Sec. 6.4 [Funciones generatrices, pág. 405]: omitir toda la sección.
    • Sec. 6.5 [Principio de inclusión-exclusión (PIE), pág. 420]. Ejemplos 1, 3, 4, omitir ejemplo 2. Teor. 1: pero reemplazar la notación y la demostración por las dadas en la teoría.
    • Sec. 6.6 [Aplicaciones del PIE, pág. 426]. Forma alternativa del PIE: sólo el ejemplo 1 y omitir el resto de la sección.
    • Sec. 7.1 [Relaciones y sus propiedades, pág. 439]. def. 1, ejemplos 1-3. Funciones como relaciones. Relaciones en un conjunto: def. 2, ejemplos 4-6. Propiedades de las relaciones: def. 3-5, ejemplos 7-16. Combinaciones de relaciones: def. 6-7, teor. 1, ejemplos 17-22.
    • Sec. 7.2 [Relaciones n-arias y sus aplicaciones, pág. 449]: omitir toda la sección.
    • Sec. 7.3 [Representaciones de relaciones, pág. 456]. Representación usando matrices: ejemplos 1-6. Representación usando grafos orientados (o digrafos): def. 1, ejemplos 7-10.
    • Sec. 7.4 [Cierre de relaciones, pág. 463]. Cierres: ejemplos 1-2. Omitir el resto de la sección.
    • Sec. 7.5 [Relaciones de equivalencia, pág. 473]. Def. 1, ejemplos 1-4. Clases de equivalencia: def. 2, ejemplos 5-6. Clases de Equivalencia y particiones: teor. 1, ejemplos 7-9.
    • Sec. 7.6 [Ordenes parciales, pág. 481]. Def. 1, , ejemplos 1-3. Def. 2-3, ejemplos 4-6. Omitir el resto del capítulo.
    • Sobre los Cap. 8 y 9: omitir todo lo referido a "grafos dirigidos" (o "digrafos") y "multigrafos dirigidos". Sobre los algoritmos: Dijkstra, árbol de expansión por búsqueda a lo ancho y en profundidad, Prim y de Kruskal: (i) usar el orden alfanumérico cuando haya libertad para elegir aristas o vértices (al estilo del texto de Johnsonbaugh); (ii) bastará mostrar como funcionan usando un método gráfico por etapas (i.e. dibujando los grafos de las sucesivas etapas hasta que terminan); y (iii) no se preguntará por las codificaciones en pseudo-códigos.
    • Sec. 8.1 [Intro a grafos, pág. 503]. Def. 1-3. Ejemplos 2, 3, 5, 6. Cultural: ejemplos 8-9.
    • Sec. 8.2 [Terminología en grafos, pág. 511]. Def. 1-3, Teor. 1-2, ejemplos 1 y 2. Familias distinguidas de grafos simples: ejemplo 4-5 (grafo completo, ciclo y rueda). Grafos bipartitos y bipartitos completos: def. 5, ejemplos 8-11. Algunas aplicaciones de tipos especiales de grafos: cultural. Grafos definidos a partir de otros: def. 6-7, ejemplos 14-15.
    • Sec. 8.3 [Representación de grafos, pág. 521]. Matrices de adyacencia y de incidencia, ejemplos 1-7. Isomorfismo de grafos: def. 1, ejemplos 8-11.
    • Sec. 8.4 [Conexión, pág. 531]. Caminos: def. 1, ejemplo 1. Conexión en grafos no-dirigidos: def. 3, teor. 1, componentes conexas, vértice de articulación y arista puente, ejemplos 5-6, 8. Caminos e isomorfismo: ejemplos 12-13. Número de caminos entre 2 vértices: teor. 2, ejemplo 14.
    • Sec. 8.5 [Caminos de Euler y de Hamilton, pág. 540]. Circuitos eulerianos: def. 1, ejemplos 1-3. Teor. 1 (teorema de Euler). Omitir algoritmo 1, teor. 2 y ejemplo 4. Circuitos de Hamilton: def. 2, ejemplos 5-7. Omitir: teor. 3-4 y ejemplo 8.
    • Sec. 8.6 [Caminos de longitud mínima (algoritmo de Dijkstra), pág. 554]. Basta mostrar como funciona el algoritmo 1 usando un método gráfico (i.e. dibujando las sucesivas etapas hasta que termina), trazar la ruta de peso mínimo hallada y extenderlo a grafos con más de una componente conexa. Ejemplos 1-2, teor. 1 y 2 (sólo los enunciados), El problema del viajante: cultural.
    • Sec. 8.7 [Grafos planos, pág. 564]. Def. 1, ejemplos 1-3. Se pospone a exámenes finales: fórmula de Euler, teor. 1, ejemplo 4; Corolarios 1-3, ejemplos 4-6; Teorema de Kuratowski.
    • Sec. 8.8 [Coloreado de grafos, pág. 573]. Def. 1-2, teor. 1, ejemplos 1-4. Aplicaciones del coloreado de grafos: ejemplo 5. Cultural: ejemplos 6-7.
    • Sec. 9.1 [Intro a árboles, pág. 589]. Def. 1-3, teor. 1, árbol ordenado con raíz, árbol binario, hijos izquierdo y derecho, subárbol, ejemplos 1-4. Arboles como modelos: cultural. Propiedades de los árboles: teor. 2-3, 5, corolario 1 (usando como dato el problema 30), altura de un árbol con raíz, árbol equilibrado (o balanceado).
    • Sec. 9.2 [Aplicaciones de los árboles, pág. 601]: cultural.
    • Sec. 9.3 [Recorridos de árboles, pág. 615]: recorridos pre-orden (def. 1), inorden (def. 2) y postorden (def. 3): únicamente los listados "por inspección" del árbol, mientras que los algoritmos respectivos (recursivos) se posponen a los exámenes finales. Notación infija, prefija y posfija: cultural.
    • Sec. 9.4 [Arboles de expansión, pág. 628]. Intro: def. 1, teor. 1 (enunciado), ejemplos 1-2. Búsqueda en Profundidad (o en retroceso o backtracking) y Búsqueda a lo Ancho: usar el orden alfanumérico a la hora de elegir las aristas (al estilo del texto de Johnsonbaugh), únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos. Aplicaciones de la búsqueda en profundidad: cultural. Búsqueda en profundidad en grafos dirigidos (e.g. "arañas web"): cultural.
    • Sec. 9.5 [Arboles de expansión mínimos, pág. 741]. Def. 1., algoritmos de Prim y de Kruskal: de nuevo, hacer únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos.

[21-05-15, 10:05]. Muestra del Parcial 1: será en la clase de consulta del próximo Martes 26/05/15 a las 12:30 hs en el Aula 1. En lo posible ir a verlos para así no reiterar errores en el próximo parcial 2.

[20-05-15, 19:10]. Están disponibles las notas del Parcial 1 en <a target="_top" href="http://venus.ceride.gov.ar/%7Emstorti/notas4.cgi">http://venus.ceride.gov.ar/~mstorti/notas4.cgi</a>

[28-04-15, 06:55] Sobre la toma del Parcial 1:
  • Fecha: MIERCOLES 6 de MAYO, de 14 a 17 hs, en el Aula 9. Instrucciones: Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad. Presentarse 15' antes (13:45 hs).
  • Temario de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
    • Sec. 1.1 [Lógica, pág. 1]. Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos. Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Lógica y operaciones de bits. Omitir: "especificaciones del sistema", "juegos de lógica", y "búsquedas booleanas".
    • Sec. 1.2 [Equivalencias proposicionales, pág. 19]. Def. 1-2, tablas 5-7, ejemplos 1-6.
    • Sec. 1.3 [Predicados y cuantificadores, pág. 26]. Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll", y "programación lógica".
    • Sec. 1.4 [Cuantificadores anidados, pág. 40]. Ejemplos 1-9. Negaciones de cuantificadores anidados: ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16, tabla 1 y algoritmos vistos en la teoría.
    • Sec. 1.5 [Métodos de demostración, pág. 52], Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos y por equivalencia, ejemplos 14-25. Lectura de la introducción a los apartados: Teoremas y cuantificadores (demostraciones de existencia y de unicidad), y Errores en las demostraciones. Incluir los ejemplos 31-32 pero omitir los ejemplos 26-30.
    • Sec. 1.6 [Conjuntos, pág. 71], Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16.
    • Sec. 1.7 [Operaciones con conjuntos, pág. 79]. Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Omitir: "representación de conjuntos en un ordenador".
    • Sec. 1.8 [Funciones, pág. 90]. Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13. Funciones inversas y composición de funciones (pp. 94), def. 9-10, ejemplos 14-18. Gráfica de una función: def. 11, ejemplos 19-20. Algunas funciones importantes: funciones piso y techo (def. 12), tabla 1, ejemplos 21-25.
    • Sec. 2.1 [Algoritmos, pág. 109]: únicamente los vistos en clases.
    • Sec. 2.2 [Crecimiento de funciones, pág. 120]. Definición y un ejemplo de las notaciones O-mayúscula, Omega-mayúscula y Zeta-Mayúscula. Teorema 1.
    • Sec. 2.3 [Complejidad de algoritmos, pág. 132]. se posterga al parcial 2 el apartado "El significado de la complejidad de un algoritmo" (pág. 136), y omitir: el resto de la sección.
    • Sec. 2.4 [Enteros y división, pág.140]. División: def. 1, teor. 1 y corolario 1 (enunciados y demostraciones), ejemplos 1-2. Números primos: def. 2, enunciados de los teor. 2-5, omitir ejemplo 7. El algoritmo de la división: teor. 6, def. 3, ejemplos 8-9. Máximo común divisor y mínimo común múltiplo: def. 4-7, teor. 7 (enunciado), ejemplos 10-15. Omitir: "aritmética modular", "aplicaciones de las congruencias", y "criptología".
    • Sec. 2.5 [Enteros y algoritmos, pág. 155]. Representación de números enteros: teor. 1, ejemplos 1-6, algoritmo 1. El algoritmo de Euclides: lema 1, ejemplo 12, algoritmo 6 (tanto iterativo como recursivo). Omitir: "algoritmos para operaciones con enteros", y "exponenciación modular".
    • Sec. 2.6 [Aplicaciones de la teoría de números, pág. 167]: omitir toda la sección.
    • Sec. 2.7 [Matrices, pág. 181]: omitir toda la sección.
    • Sec. 3.2 [Sucesiones y sumatorias, pág. 210]. se postergan al parcial 2 los apartados: sucesiones (def. 1-3, ejemplos 1-4), sucesiones especiales de enteros, y los ejemplos 5-7. Sumatorias: teorema 1 (pero cambiando la demostración a inducción (más fácil)), ejemplos 9-15. Omitir el resto de la sección.
    • Sec. 3.3 [Inducción Matemática, pág. 222]. Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden" y los ejemplos 11-14.
    • Sec. 3.4 [Definiciones recursivas e inducción estructural, pág. 239]: funciones definidas recursivamente: def. 1, ejemplos 1-5, omitir el ejemplo 6 y el teor. 1. Omitir: "conjuntos y estructuras definidas recursivamente", "inducción estructural", e "inducción generalizada".
    • Sec. 3.5 [Algoritmos recursivos, pág. 255]: únicamente los vistos en clases.

[23-04-15, 10:22]. Se actualizaron las notas preliminares (en la Sec. "Documentos (en formato electrónico PDF)" de esta página).

[30-03-15, 15:30]. Se cancelan todas las clases de práctica de mañana Martes 31/03/15 (por el paro del transporte público). Después se verá cómo recuperarlas.

[30-03-15, 10:45]. Ya está disponible el horario de consultas de Juan José GOMEZ BARROSO.

[19-03-15, 15:15]. Se actualizaron las notas preliminares.

[16-03-15, 14:20]. Inicio de las clases: hay que asistir a la primera clase de práctica el Martes 17/03/15 (en las 3 comisiones) la cual será teórica-práctica.

[11-09-14, 10:10]. Dado que el llamado a Examen Final de HOY Jueves 11/09/14 transcurre simultáneamente con el dictado normal de las clases, Bedelía informa que no hay aulas suficientes para ambas tareas, por lo cual el EF se tomará en el CIMEC. Entonces:

Deberán presentarse directamente en edificio "Intec 3" (o "Intec III", ambos outdated names) del Predio a las 16 hs. Para ubicar dicho edificio ver plano en http://venus.ceride.gov.ar/twiki/bin/view/Cimec/CimecLocation (pero con foto desactualizada). No presentarse ni preguntar en el Edificio "Intec 1" porque ahora es con portero eléctrico y no-habrá nadie que los reciba. Si ya estuvieran en la FCH hacia las 16 hs, tomar el 2 o el 9 que vayan al Pozo y bajarse en la siguiente parada. Así evitarán caminar el tramo que separa la FICH de la entrada del Predio-CCT. Informar a la Vigilancia de entrada que son alumnos de FICH y que van al edificio CIMEC.

[21-07-14, 11:26]. Para los alumnos que ya aprobaron el CFI en el mes de Julio: la oficina de Alumnado procederá a actualizar en el SIU-GUARANI la pestaña "CFI pendiente" para que entonces puedan inscribirse en el próximo llamado y así pasarles la nota de promoción.

[07-07-14, 18:33]. Están las notas del CFI y del EF del Jueves 03/07/14 en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[02-07-14, 12:48]. Clases de consulta: hoy Miércoles a las 15 hs, y mañana Jueves a las 10 hs, ofrecida por J. J. Gómez Barroso. Esperar a la entrada de Bedelia.

[01-07-14, 17:35]. Se subieron a la página los enunciados del Parcial 2 y del CFI de 2013 (temas 1 y 2).

[01-07-14, 16:45]. Están las notas de los recuperatorios y la situación final de cursado en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[01-07-14, 14:20] Todos los alumnos que opten en rendir el CFI durante el Examen Final (EF) del próximo Jueves 3/7 podrán presentarse sin inconvenientes, pero no-olvidar anotarse en el próximo llamado a EF para que se les pueda pasar la nota.

[24-06-14, 19:55]. Habrá una consulta el próximo Jueves a las 10 hs en el Aula 9 de la FICH, ofrecida por J. J. Gómez Barroso para las comisiones 1-3.

[24-06-14, 17:25]. Debido a las dificultades imprevistas en las últimas semanas se reprogramarán las evaluaciones pendientes de la siguiente manera:

Todos los recuperatorios se tomarán el Viernes 27/6, de 14 hs a 17 hs, en el Aula 9, en donde habrán enunciados diferentes para los alumnos que rindieron al menos 1 (una) evaluación y que deben recuperar: Unicamente el P1; Unicamente el P2; Unicamente el TP; El P1 y el P2; El P1 y el TP; El P2 y el TP; Pero notar que si se pretende levantar mas de una nota, then deberá rendirse las evaluaciones de menor nota. El CFI se posterga a la primera mesa del Examen Final del Jueves 3/7, de 16 a 19 hs, en Aula a determinar por la Bedelía ese día. Esperar a la entrada de Bedelía. Los temarios se mantienen en cada caso.

[23-06-14, 16:20]. Están las notas del Trabajo Práctico y la Situación Actual de cursado en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[18-06-14, 16:50]. La clase de mañana Jueves a las 10 hs será para consultas (J. J. Gómez Barroso).

[14-06-14, 16:07, update 14-06-17, 12:28]. Sobre el temario del Trabajo Práctico: incluirá los temas relacionados con los ejercicios de la GTP vistos en las clases de práctica. Desde la Sec. 7.5 [Relaciones de equivalencia, pág. 473] hasta la Sec. 8.6 [Caminos de longitud mínima (algoritmo de Dijkstra), pág. 554], inclusive. Omitir la parte teórica.

[14-06-14, 16:03]. Sobre el temario de teoría para el CFI (siguiendo el texto de ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004)).

Repasar los vistos en los parciales 1 y 2, y agregar el que sigue (en construcción!). Sobre los Cap. 8 y 9: omitir todo lo referido a "digrafos", i.e. "grafos dirigidos" o "multigrafos dirigidos". Algoritmos: algortimos de Dijkstra, árbol de expansión por búsqueda a lo ancho y en profundidad, algoritmos de Prim y de Kruskal: (i) usar el orden alfanumérico cuando haya libertad para elegir aristas o vértices (al estilo del Johnsonbaugh); (ii) bastará mostrar como funcionan usando un método gráfico por etapas (i.e. dibujando las sucesivas etapas hasta que terminan); y (iii) no se preguntará por las codificaciones en pseudo-códigos. Sec. 8.1 [Intro a grafos, pág. 503]. Def. 1-3. Ejemplos 2, 3, 5, 6. Cultural: ejemplos 8-9. Sec. 8.2 [Terminología en grafos, pág. 511]. Def. 1-3, Teor. 1-2, ejemplos 1 y 2. Familias distinguidas de grafos simples: ejemplo 4-5 (grafo completo, ciclo y rueda). Grafos bipartitos y bipartitos completos: def. 5, ejemplos 8-11. Algunas aplicaciones de tipos especiales de grafos: cultural. Grafos definidos a partir de otros: def. 6-7, ejemplos 14-15. Sec. 8.3 [Representación de grafos, pág. 521]. Matrices de adyacencia y de incidencia, ejemplos 1-7. Isomorfismo de grafos: def. 1, ejemplos 8-11. Sec. 8.4 [Conexión, pág. 531]. Caminos: def. 1, ejemplo 1. Conexión en grafos no-dirigidos: def. 3, teor. 1, componentes conexas, vértice de articulación y arista puente, ejemplos 5-6, 8. Caminos e isomorfismo: ejemplos 12-13. Número de caminos entre 2 vértices: teor. 2, ejemplo 14. Sec. 8.5 [Caminos de Euler y de Hamilton, pág. 540]. Circuitos eulerianos: def. 1, ejemplos 1-3. Teor. 1 (teorema de Euler). Omitir algoritmo 1, teor. 2 y ejemplo 4. Circuitos de Hamilton: def. 2, ejemplos 5-7. Omitir: teor. 3-4 y ejemplo 8. Sec. 8.6 [Caminos de longitud mínima (algoritmo de Dijkstra), pág. 554]. Basta mostrar como funciona el algoritmo 1 usando un método gráfico (i.e. dibujando las sucesivas etapas hasta que termina), trazar la ruta de peso mínimo hallada y extenderlo a grafos con más de una componente conexa. Ejemplos 1-2, teor. 1 y 2 (sólo los enunciados), El problema del viajante: cultural. Sec. 8.7 [Grafos planos, pág. 564]. Def. 1, ejemplos 1-3. La fórmula de Euler: teor. 1, ejemplo 4. Corolarios 1-3, ejemplos 4-6. Teorema de Kuratowski: omitir. Sec. 8.8 [Coloreado de grafos, pág. 573]. Def. 1-2, teor. 1, ejemplos 1-4. Aplicaciones del coloreado de grafos: ejemplo 5. Cultural: ejemplos 6-7. Sec. 9.1 [Intro a árboles, pág. 589]. Def. 1-3, teor. 1, árbol ordenado con raíz, árbol binario, hijos izquierdo y derecho, subárbol, ejemplos 1-4. Arboles como modelos: cultural. Propiedades de los árboles: teor. 2-3, 5, corolario 1 (usando como dato el problema 30), altura de un árbol con raíz, árbol equilibrado (o balanceado). Sec. 9.2 [Aplicaciones de los árboles, pág. 601]: cultural. Sec. 9.3 [Recorridos de árboles, pág. 615]: recorridos pre-orden (def. 1), inorden (def. 2) y postorden (def. 3): únicamente los listados "por inspección" del árbol, mientras que los algoritmos respectivos (recursivos) se posponen a los exámenes finales. Notación infija, prefija y posfija: cultural. Sec. 9.4 [Arboles de expansión, pág. 628]. Intro: def. 1, teor. 1 (enunciado), ejemplos 1-2. Búsqueda en Profundidad (o en retroceso o backtracking) y Búsqueda a lo Ancho: usar el orden alfanumérico a la hora de elegir las aristas (al estilo del Johnsonbaugh), únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos. Aplicaciones de la búsqueda en profundidad: cultural. Búsqueda en profundidad en grafos dirigidos (e.g. "arañas web"): cultural. Sec. 9.5 [Arboles de expansión mínimos, pág. 741]. Def. 1., algoritmos de Prim y de Kruskal: de nuevo, hacer únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos.

[13-06-14, 13:00]. Están las notas del Parcial 2 en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[13-06-14, 10:45] Fecha del Trabajo Práctico: Jueves 19 de Junio, de 14:45 a 17:45 hs, en el Aula 9. Instrucciones: (i) concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad; (ii) presentarse 15' antes (14:30 hs).

[12-06-14, 9:25]. Aviso para los alumnos de la Comisión 3: por pedido de los alumnos la clase de hoy se adelantará en una hora, i.e. será de 14 a 16 hs (únicamente por este día!).

[06-06-14, 17:45]. Charla del investigador Dan Harkabi (creador del pen drive): será el próximo 9 de junio a las 15.30 hs en el Auditorio de la UTN Facultad Regional Santa Fe. Mayor información en: http://www.frsf.utn.edu.ar/noticias/416-charla-dan-harkabi-utn-santa-fe

[02-06-14, 16:25]. Aviso para los alumnos de la Comisión 2 (de 10 a 12 hs): la clase del día próximo Martes 17/06/14 será dictada ese día en el Aula 4.

[27-05-14, 15:35]. Habrá una consulta especial el próximo Jueves a las 13 hs en el Aula 4 de la FICH, ofrecida por J. J. Gómez Barroso para las comisiones 1-3.

[27-05-14, 13:15].

El temario de la teoría fue precisado en lo referente a los algoritmos (verlo en el último punto); Como ya se ha charlado en clases pasadas se volvió al puntaje usual de 25 puntos en cada ejercicio del parcial 1 pero en general sin cambios significativos en la situación de cursado. Las nuevas notas están disponibles en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[27-05-14, 9:07] Sobre el Parcial 2.

Fecha: el VIERNES 30 de MAYO, de 15 a 18 hs (3 horas), en el Aula 9. Instrucciones: Concurrir con Libreta Universitaria o algún documento (con foto) como para acreditar identidad; Presentarse 10' antes (14:50 hs). Temario de la teoría siguiendo el texto de ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004), verlo a continuación.

[13-05-14 (14:15); actualizado 27-05-14 (9:07 hs)] Novedades:

Temario de la teoría para el 2do parcial siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004): Sec. 3.5 [Algoritmos recursivos, pág. 255]: def. 1, ejemplos 1 (alg. 1) y 4 (alg. 3), omitir ejemplos 2, 5, 6. Recursión e iteración: ejemplo 7 (alg. 6-9). Omitir el resto del cap. Sec. 4.1 [Fundamentos de combinatoria, pág. 279]. Principios básicos de conteo: reglas del producto y de la suma (o principios del producto y de la suma, respectivamente), ejemplos 1-6, 9-12. Problemas de recuento más complicados: omitir. El principio de inclusión-exclusión: ejemplo 16. Diagramas árbol: ejemplos 17-18. Sec. 4.2 [Principios del palomar, pág. 290]. Introducción: teor. 1, ejemplos 1-3. El Principio del Palomar (PP) generalizado: teor. 2, ejemplos 9. Algunas aplicaciones elegantes del PP: únicamente el ejemplo 10 (omitir el resto). Sec. 4.3 [Permutaciones y combinaciones, pág. 297]. Permutaciones: teor. 1, ejemplos 1-5. Combinaciones: teor. 2, corolario 1, def. 1, ejemplos 6-11. Sec. 4.4 [Coeficientes binomiales, pág. 303]. El teorema del binomio (o binomio de Newton): teor. 1, corolarios 1-3, ejemplos 1-4. El triángulo y la identidad de Pascal: teor. 2. Algunas identidades entre coeficientes binomiales: teor. 3 y corolario 4, omitir el teor. 4. Sec. 4.5 [Permutaciones y combinaciones generalizadas, pág. 311]. Permutaciones con repetición: teor. 1, ejemplo 1. Combinaciones con repetición: teor. 2, ejemplos 2-7. Permutaciones con objetos indistiguibles: teor. 3, ejemplo 8, tabla 1. Distribuciones de objetos en cajas: teor. 4 y ejemplo 9. Incluir la demostración del teorema multinomial en el caso m=3 (ejercicio 53 de la pág. 319). Sec. 4.6 [Generación de permutaciones, pág. 320]: omitir. Cap. 5: omitir. Sec. 6.1 [Relaciones de recurrencia (RR), pág. 373]. Def. 1, ejemplos 1-6, omitir ejemplos 7-8. Sec. 6.2 [Resolución de las RR, pág. 384]. Def. 1, ejemplos 1-2. Resolución de las RRLHCC: teor. 1-3, enunciados de los teor. 3-4, ejemplos 3-8. Relaciones de recurrencia lineales y no-homogéneas de CC: enunciados de los teor. 5-6, ejemplos 9-13. Sec. 6.3 [Algoritmos de divide y vencerás, y las RR, pág. 396]: omitir. Sec. 6.4 [Funciones generatrices, pág. 405]: omitir. Sec. 6.5 [Principio de inclusión-exclusión (PIE), pág. 420]. Ejemplos 1, 3, 4, omitir ejemplo 2. Teor. 1: pero reemplazar la notación y la demostración por las dadas en la teoría. Sec. 6.6 [Aplicaciones del PIE, pág. 426]. Forma alternativa del PIE: sólo el ejemplo 1 y omitir el resto de la sección. Sec. 7.1 [Relaciones y sus propiedades, pág. 439]. def. 1, ejemplos 1-3. Funciones como relaciones. Relaciones en un conjunto: def. 2, ejemplos 4-6. Propiedades de las relaciones: def. 3-5, ejemplos 7-16. Combinaciones de relaciones: def. 6-7, teor. 1, ejemplos 17-22. Sec. 7.2 [Relaciones n-arias y sus aplicaciones, pág. 449]: omitir. Sec. 7.3 [Representaciones de relaciones, pág. 456]. Representación usando matrices: ejemplos 1-6. Representación usando digrafos: def. 1, ejemplos 7-10. Sec. 7.4 [Cierre de relaciones, pág. 463]. Cierres: ejemplos 1-2. OMITIR el resto de la sección. Sec. 7.5 [Relaciones de equivalencia, pág. 473]. Def. 1, ejemplos 1-4. Clases de equivalencia: def. 2, ejemplos 5-6. Clases de Equivalencia y particiones: teor. 1, ejemplos 7-9. Sec. 7.6 [Ordenes parciales, pág. 481]. Def. 1, , ejemplos 1-3. Def. 2-3, ejemplos 4-6. Omitir el resto del cap. Algoritmos: (i) para determinar el VV en cuantificadores existencial y universal, simples y doblemente anidados (pendiente del parcial 1); (ii) para determinar si la matriz A de una relación R en un conjunto A es simétrica, antisimétrica, transitiva, relación de equivalencia, relación de orden; (iii) para construir los cierres: reflexivo y simétrico; (iv) funciones que determinan si la matriz A de una relación representa una función, función inyectiva, función sobreyectiva, función biyectiva. No olvidar tampoco todos los vistos en las prácticas anteriores. Se subieron a la página los enunciados del Parcial 1 (temas 1 y 2).

[08-05-14, 16:00]. Están las notas del Parcial 1 en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[05-05-14, 15:20]. Sólo para los alumnos de la comisión C1: por esta semana, tanto el Martes como el Jueves, tendrán que asistir a la comisión C2 (de 10 a 12 hs). Los que no-puedan, entonces intentar ir a la comisión C3 (de 15 a 17 hs). Las clases serán para seguir con el cronograma, no se tomará asistencia únicamente a los alumnos de la C1 pero los contenidos se considerarán dados.

[05-05-14, 5:50]. Por otras obligaciones ante la FICH, durante la semana próxima (del 5 al 9 de Mayo) se cancelan las clases de consulta de Juan Jose Gomez.

[22-04-14, 14:05]. De Juan Jose Gomez:

Consultas, a partir de la semana que viene, todos los martes a las 13hs en el Aula 4 de la FICH. Clases de práctica en las comisiones 1 y 2: habrá clases para seguir con el cronograma, no se tomará asistencia pero los contenidos se considerarán dados (después no-se volverán a ver).

[12-04-14, 14:25] Sobre el Parcial 1.

Fecha: MIERCOLES 16 de ABRIL, de 14 a 17 hs, en el Aula 9. Instrucciones: Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad. Presentarse 15' antes (13:45 hs). Temario de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004): Sec. 1.1 [Lógica, pág. 1]. Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos. Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Lógica y operaciones de bits. Omitir: "especificaciones del sistema", "juegos de lógica", y "búsquedas booleanas". Sec. 1.2 [Equivalencias proposicionales, pág. 19]. Def. 1-2, tablas 5-7, ejemplos 1-6. Sec. 1.3 [Predicados y cuantificadores, pág. 26]. Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll", y "programación lógica". Sec. 1.4 [Cuantificadores anidados, pág. 40]. Ejemplos 1-9. Negaciones de cuantificadores anidados: ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16, tabla 1 y algoritmos vistos en la teoría. Sec. 1.5 [Métodos de demostración, pág. 52], Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos y por equivalencia, ejemplos 14-25. Teoremas y cuantificadores: demostraciones de existencia y de unicidad. Contraejemplos, ejemplos 28, 29, 30. Errores en las demostraciones: ejemplos 31-35. Omitir ejemplos 26-27. Sec. 1.6 [Conjuntos, pág. 71], Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16. Sec. 1.7 [Operaciones con conjuntos, pág. 79]. Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Omitir: "representación de conjuntos en un ordenador". Sec. 1.8 [Funciones, pág. 90]. Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13. Funciones inversas y composición de funciones (pp. 94), def. 9-10, ejemplos 14-18. Gráfica de una función: def. 11, ejemplos 19-20. Algunas funciones importantes: funciones piso y techo (def. 12), tabla 1, ejemplos 21-25. Sec. 2.1 [Algoritmos, pág. 109]: se posterga al parcial 2. Sec. 2.2 [Crecimiento de funciones, pág. 120]. Definición y un ejemplo de las notaciones O-mayúscula, Omega-mayúscula y Zeta-Mayúscula. Sec. 2.3 [Complejidad de algoritmos, pág. 132]. El significado de la complejidad de un algoritmo (pág. 136): lectura que se posterga al parcial 2. Omitir: el resto de la sección. Sec. 2.4 [Enteros y división, pág.140]. División: def. 1, teor. 1 y corolario 1 (enunciados y demostraciones), ejemplos 1-2. Números primos: def. 2, enunciados de los teor. 2-5, omitir ejemplo 7. El algoritmo de la división: teor. 6, def. 3, ejemplos 8-9. Máximo común divisor y mínimo común múltiplo: def. 4-7, teor. 7 (enunciado), ejemplos 10-15. Omitir: "aritmética modular", "aplicaciones de las congruencias", y "criptología". Sec. 2.5 [Enteros y algoritmos, pág. 155]. Representación de números enteros: teor. 1, ejemplos 1-6, algoritmo 1. El algoritmo de Euclides: lema 1, ejemplo 12, algoritmo 6 (tanto iterativo como recursivo). Omitir: "algoritmos para operaciones con enteros", y "exponenciación modular". Sec. 2.6 [Aplicaciones de la teoría de números, pág. 167]: omitir toda la sec. Sec. 2.7 [Matrices, pág. 181]: omitir toda la sec. Sec. 3.2 [Sucesiones y sumatorias, pág. 210]. Sucesiones: def. 1-3, ejemplos 1-4. Sucesiones especiales de enteros: se postergan al parcial 2 los ejemplos 5-7. Sumatorias: teorema 1, ejemplos 9-15. Omitir el resto de la sección. Sec. 3.3 [Inducción Matemática, pág. 222]. Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden" y los ejemplos 11-14. Sec. 3.4 [Definiciones recursivas e inducción estructural, pág. 239]: funciones definidas recursivamente: def. 1, ejemplos 1-5, omitir el ejemplo 6 y el teor. 1. Omitir: "conjuntos y estructuras definidas recursivamente", "inducción estructural", e "inducción generalizada". Sec. 3.5 [Algoritmos recursivos, pág. 255]: se posterga al parcial 2.

[07-04-14,08:13] Consulta extra (para el Parcial): el día Martes 15/04 a las 13 hs en el Aula 4 con Juan José Gómez Barroso.

[07-04-14,07:30] Los exámenes finales de:

Algoritmos y Estructuras de Datos; Cálculo Numérico; Cálculo Paralelo; Teoría de la Computación.

del Jueves 10/04 se postergan al Viernes 11/04 a las 10:00 hs (esperar a la entrada de Bedelía).

[20-03-14,11:53] Consultas complementarias temporarias en la FICH: desde el 20 de Marzo hasta el 17 de Abril inclusive, todos los Jueves, de 17 a 18 hs, con Sergio Yapur.

[12-03-14, 10:20] Horarios de las clases de teoría (única comisión): por ajustes de Bedelía será Miércoles de 14 a 16 hs AND Viernes de 15 a 17 hs, en el Aula 9.

[10-03-14, 14:26] Primera Clase: comenzarán directamente con la práctica en cada Comisión, o sea, mañana Martes 11-03-14:
  • Comisión 1: a las 8 hs en el Aula 2 (planta baja, ala Este, detrás del Bar);
  • Comisión 2: a las 10 hs en el Aula 2;
  • Comisión 3: a las 15 hs en el Aula Magna (planta baja, ala Este, cerca del Bar).

Anuncio

Las Cátedras de las materias Teoría de la Computación y Algoritmos y Estructuras de Datos están organizando un torneo de programación, orientado a hacer algoritmos eficientes sobre todo a través de usar los contenedores más apropiados, los tipos de algoritmos más eficientes, y conocer las complejidades algorítmicas de las diferentes operaciones.

  • Pueden anotarse alumnos de II FICH o cualquier particular en general.
  • El objetivo del concurso es desarrollar capacidades de programación en C++ con los contenedores de STL y obtener códigos eficientes, por el conocimiento de la complejidad algorítmica de las diferentes operaciones involucradas.
  • La consigna se emite a través de la página web del curso. Se provee un código (en forma de una clase de C++) que permite al concursante autoevaluarse y verificar la performance de su propuesta.
  • La submisión de las propuestas se hace en forma eléctronica. Tienen un cierto tiempo T (e.g. 1 o 2 días, a definir) para enviar la propuesta, a una cuenta de correo a especificar.
  • La propuesta que gana es la que pasa todos los tests y de ellas la que da el menor tiempo.
  • Los medios oficiales de comunicación son el grupo de Google torneo-prog-cn@googlegroups.com (página web https://groups.google.com/d/forum/torneo-prog-cn) y esta página web http://www.cimec.org.ar/twiki/bin/view/AED/ChuckNorris. Todos los interesados en participar del torneo son invitados a suscribirse a ese grupo.
  • Ante cualquier duda consultar a
    • Mario Storti mario.storti at gmail.com
    • Juan Prigioni jdprigioni at gmail.com
    • Diego Galizzi dgalizzi at gmail.com

[14-08-13, 16:33]:Examen Final (EF) del último llamado:
  • Muestra de los exámenes: será el próximo Viernes 16/08 a las 11hs en la Sala de Reuniones del CIMEC (edificio INTEC 3).
  • Se subió en la página el enunciado respectivo.

[07-08-13, 14:24] Estado de los alumnos promocionados:
  • Sobre las consultas de los alumnos promocionados que se inscribieron al turno ordinario de Julio-Agosto pero que todavía no-aparecen tal condición en el SIU GUARANI, se debe que el Acta de Examen (AE) del actual turno abierto, en donde ya se les ha pasado la nota de promoción, se tiene que emplear para los dos llamados (el de la semana pasada y el actual), por lo que no-podrá entregarse a Alumnado hasta tomar y corregir el examen final de mañana Jueves.
  • Los siguientes alumnos: Alberto, Marcelo Fabián; Eckell, Nicolás Gustavo; Giuliano, Nicolás; y Mainero, Francisco, si bien promocionaron la asignatura, empero no se inscribieron en el AE del actual llamado abierto. Cada uno debería confirmar con Alumnado que podrán inscribirse en el turno especial de Septiembre como ULTIMA chance. Si no-se inscriben, then después quedarán como Alumnos Regulares, por lo que tendrán que RENDIR un Examen Final a archivarse para presentar a la Secretaría Académica.

[22-07-13, 18:34, updated 23-07-13, 11:00; 24-07-13, 14:50]
  • Alumnado ha solucionado esta mañana (24-07-13, 14:50) los problemas de inscripción en el Examen Final (EF) de TC en el SIU GUARANI que algunos alumnos experimentaron en estos días. Entonces, para aquellos alumnos que aún no-pudieron inscribirse, intentarlo de nuevo y avisar (pronto) si persiste el problema. Notar que la actual inscripción abierta incluye a los dos próximos llamados a EF. No habrá otra oportunidad para pasar la Nota de Promoción.
  • Los alumnos que rindieron y aprobaron el CFI deberán, a diferencia del turno anterior, inscribirse en el turno de examen de Agosto para pasarles la Nota Final.
  • Esto vale para todos los alumnos que rindieron y aprobaron el CFI en el primer llamado. No hay que presentarse al examen y bastará con inscribirse al examen en el SIU GUARANI.
  • Notar que si se olvidaran de hacerlo en el quinto turno de exámenes (de Agosto), entonces, después de dicho turno, Alumnado los considerará como Alumnos Regulares, por lo cual tendrán que rendir un Examen Final.

[01-07-13, 13:43, updated 14:05] Clases de consulta para el día Martes 2 de Julio: (i) A las 10 hs en la FICH en Aula a determinar, esperar frente a Bedelía (jjosegb y srojasfredini); (ii) A las 14 hs en la Sala de Reuniones del CIMEC (mpucheta y acosimo).

[30-06-13, 18:43]. Están las notas de los recuperatorios, el detalle de las mismas, y la situación actual de cursado en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[30-06-13, 18:32] Sobre el CFI:
  • El CFI se tomará el Jueves 4 de Julio a partir de las 16 horas en coincidencia con el primer llamado a examen final.
  • Presentarse 10 minutos antes (15:50 hs) en la entrada a Bedelía porque el Aula será asignada por Bedelía recién en vísperas del inicio.
  • Dada la cantidad de alumnos, el CFI se tomará por escrito en coincidencia con los llamados a examen final, pero no-deberán inscribirse a dichos llamados en ningún caso. El CFI se llevará a cabo hasta el segundo turno de examen posterior a la finalización del cursado de la asignatura. Para promocionar se deberá obtener un promedio de 70% (setenta por ciento) entre los 2 (dos) parciales y el CFI, con al menos 60% (sesenta por ciento) en cada uno. En caso de no-aprobar el CFI podrán presentarse nuevamente, pero siempre dentro del plazo previsto estipulado sino, finalmente, quedarán como alumno regular.

[28-06-13, 11:40] Ante algunas consultas sobre el CFI se reitera que obedece exclusivamente a disposiciones oficiales. Se mantiene sin cambios lo ya pautado durante las clases previas al parcial 2 (de hace unas 3 semanas atrás). Consistirá en una evaluación global de los temas abordados en la asignatura, todo lo visto tanto en las teorías como en las prácticas, tareas dejadas para el hogar y/o sugeridas, aunque, por lo ya acordado en esas clases previas al parcial 2, tendrá mayor énfasis en los últimos temas, concretamente, desde Dijkstra en adelante.

[27-06-13, 18:06].
  • Están las notas del Parcial 1 y 2, el detalle de las notas en el Parcial 2, y la situación actual de cursado en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • Se subieron a la página los enunciados de los temas 1 y 2 del Parcial 2.

[27-06-13, 07:50]. Alumno CASAS, NICOLAS: se quitaron 3 (tres) puntos hasta que no-entregue el enunciado.

[26-06-13, 21:10]. Están las notas del Parcial 2 en http://venus.ceride.gov.ar/~mstorti/notas4.cgi

[26-06-13, 14:30] Recuperatorio: será el próximo Viernes a partir de las 14 hs en el Aula 9. Por gestiones ajenas a la cátedra, se cambiará a la modalidad de recuperatorio como máximo de un parcial (o sea, no-se podrá recuperar ambos parciales), con el mismo temario en cada caso.

[20-06-13,19:52, updated 22-06-13, 18:40 hs] Por consultas de los alumnos: (i) presentarse el Martes 25/06 a las 13:30 hs en el AULA MAGNA (planta baja); (ii) se corrigió el temario (indicado en color rojo) de la página; (iii) entran los algoritmos indicados en las clases de teoría: RR, conteo de caminos en cuadrículas usando algoritmos recursivos, y cualquier otro que esté en la GTP para el parcial 2, pero omitir desde Dijkstra en adelante.

[14-06-13,12:11] Clase extra para los alumnos de la Comisión 1: el Miércoles 19 de Junio en la FICH de 11 a 12 hs en el Aula 1.

[13-06-13,13:57, corregido 16:48] Clase de repaso para los alumnos de la Comisión 2: el Lunes 24 de Junio (antes de la evaluación) en la FICH de 10 a 12 hs en el Aula 4.

[12-06-13,11:32] En la página fue actualizada (i) la "hoja de ruta" del libro de texto en los temas de la teoría; y (ii) la GTP, incluyendo ahora los capítulos 8 y 9.

[05-06-13,08:28] Fue actualizada en la página la GTP para los capítulos 6 y 7.

[16-05-13,14:05] Fue actualizada en la página la GTP para el capítulo 4.

[16-05-13, 10:05] Temario de la teoría para el 2do parcial siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
  • Sec. 4.1 [Fundamentos de combinatoria]. Principios básicos de recuento: las reglas del producto y de la suma, ejemplos 1-6, 9-12. Problemas de recuento más complicados: omitir. El principio de inclusión-exclusión: ejemplo 16. Diagramas árbol: ejemplos 17-18.
  • Sec. 4.2 [Principios del palomar]. Introducción: teor. 1, ejemplos 1-3. El Principio del Palomar (PP) generalizado: teor. 2, ejemplos 9. Algunas aplicaciones elegantes del PP: únicamente el ejemplo 10 (omitir el resto).
  • Sec. 4.3 [Permutaciones y combinaciones]. Permutaciones: teor. 1, ejemplos 1-5. Combinaciones: teor. 2, corolario 1, def. 1, ejemplos 6-11.
  • Sec. 4.4 [Coeficientes binomiales]. El teorema del binomio: teor. 1, corolarios 1-3, ejemplos 1-4. El triángulo y la identidad de Pascal: teor. 2. Algunas identidades entre coeficientes binomiales: teor. 3 y corolario 4, omitir el teor. 4.
  • Sec. 4.5 [Permutaciones y combinaciones generalizadas]. Permutaciones con repetición: teor. 1, ejemplo 1. Combinaciones con repetición: teor. 2, ejemplos 2-7. Permutaciones con objetos indistiguibles: teor. 3, ejemplo 8, tabla 1. Distribuciones de objetos en cajas: teor. 4 y ejemplo 9. Demostración del teorema multinomial en el caso m=3 (ejercicio 53 de la página 319).
  • Sec. 4.6 [Generación de permutaciones]: omitir.
  • Sec. 6.1 [Relaciones de recurrencia (RR)]. Def. 1, ejemplos 1-6, omitir ejemplos 7-8.
  • Sec. 6.2 [Resolución de las RR]. Def. 1, ejemplos 1-2. Resolución de las RRLHCC: teor. 1-3, enunciados de los teor. 3-4, ejemplos 3-8. Relaciones de recurrencia lineales y no-homogéneas de CC: enunciados de los teor. 5-6, ejemplos 9-13.
  • Sec. 6.3 [Algoritmos de divide y vencerás y RR]: omitir.
  • Sec. 6.4 [Funciones generatrices]: omitir.
  • Sec. 6.5 [Principio de inclusión-exclusión (PIE)]. Ejemplos 1, 3, 4, omitir ejemplo 2, enunciado del teor. 1.
  • Sec. 6.6 [Aplicaciones del PIE]. Forma alternativa del PIE: sólo el ejemplo 1 y omitir el resto de la sección.
  • Sec. 7.1 [Relaciones y sus propiedades]. def. 1, ejemplos 1-3. Funciones como relaciones. Relaciones en un conjunto: def. 2, ejemplos 4-6. Propiedades de las relaciones: def. 3-5, ejemplos 7-16. Combinaciones de relaciones: def. 6-7, teor. 1, ejemplos 17-22.
  • Sec. 7.2 [Relaciones n-arias y sus aplicaciones]: omitir.
  • Sec. 7.3 [Representaciones de relaciones]. Representación usando matrices: ejemplos 1-6. Representación usando digrafos: def. 1, ejemplos 7-10.
  • Sec. 7.4 [Cierre de relaciones]. Cierres: ejemplos 1-2. OMITIR el resto de la sección (caminos en grafos dirigidos: def. 1, teor. 1, ejemplo 3. Cierre transitivo: def. 2, ejemplos 4-7, teor. 2-3, algoritmo 7. El algoritmo de Roy-Warshall: ejemplo 8 y algoritmo 2).
  • Sec. 7.5 [Relaciones de equivalencia]. Def. 1, ejemplos 1-4. Clases de equivalencia: def. 2, ejemplos 5-6. Clases de Equivalencia y particiones: teor. 1, ejemplos 7-9.
  • Sec. 7.6 [Ordenes parciales]. Def. 1, , ejemplos 1-3. Def. 2-3, ejemplos 4-6. Omitir el resto del cap.
  • Cap. 8: En todo el cap. omitir todo lo referido a "digrafos", i.e. "grafos dirigidos" y "multigrafos dirigidos".
  • Sec. 8.1 (pp. 503) [Intro a grafos]. Def. 1-3. Ejemplos 2, 3, 5, 6. Cultural: ejemplos 8-9.
  • Sec. 8.2 (pp. 511) [Terminología en grafos]. Def. 1-3, Teor. 1-2, ejemplos 1 y 2. Familias distinguidas de grafos simples: ejemplo 4-5 (grafo completo, ciclo y rueda). Grafos bipartitos y bipartitos completos: def. 5, ejemplos 8-11. Algunas aplicaciones de tipos especiales de grafos: cultural. Grafos definidos a partir de otros: def. 6-7, ejemplos 14-15.
  • Sec. 8.3 (pp. 521) [Representación de grafos]. Matrices de adyacencia y de incidencia, ejemplos 1-7. Isomorfismo de grafos: def. 1, ejemplos 8-11.
  • Sec. 8.4 (pp. 531) [Conexión]. Caminos: def. 1, ejemplo 1. Conexión en grafos no-dirigidos: def. 3, teor. 1, componentes conexas, vértice de articulación y arista puente, ejemplos 5-6, 8. Caminos e isomorfismo: ejemplos 12-13. Número de caminos entre 2 vértices: teor. 2, ejemplo 14.
  • Sec. 8.5 (pp. 540) [Caminos de Euler y de Hamilton]. Circuitos eulerianos: def. 1, ejemplos 1-3. Teor. 1 (teorema de Euler). Omitir algoritmo 1, teor. 2 y ejemplo 4. Circuitos de Hamilton: def. 2, ejemplos 5-7. Omitir: teor. 3-4 y ejemplo 8.
  • Sec. 8.6 (pp. 554) [Caminos de longitud mínima: algoritmo de Dijkstra]. Basta mostrar como funciona el algoritmo 1 usando un método gráfico (i.e. dibujando las sucesivas etapas hasta que termina), trazar la ruta de peso mínimo hallada y extenderlo a grafos con más de una componente conexa. Ejemplos 1-2, teor. 1 y 2 (sólo los enunciados), El problema del viajante: cultural.
  • Sec. 8.7 (pp. 564) [Grafos planos]. Def. 1, ejemplos 1-3. La fórmula de Euler: teor. 1, ejemplo 4. Corolarios 1-3, ejemplos 4-6. Teorema de Kuratowski: omitir.
  • Sec. 8.8 (pp. 573) [Coloreado de grafos]. Def. 1-2, teor. 1, ejemplos 1-4. Aplicaciones del coloreado de grafos: ejemplo 5. Cultural: ejemplos 6-7.
  • Sec. 9.1 (pp. 589) [Intro a grafos]. Def. 1-3, teor. 1, árbol ordenado con raíz, árbol binario, hijos izquierdo y derecho, subárbol, ejemplos 1-4. Arboles como modelos: cultural. Propiedades de los árboles: teor. 2-3, 5, corolario 1 (usando como dato el problema 30), altura de un árbol con raíz, árbol equilibrado (o balanceado).
  • Sec. 9.2 (pp. 601) [Aplicaciones de los árboles]: cultural.
  • Sec. 9.3 (pp. 615) [Recorridos de árboles]: recorridos pre-orden (def. 1), inorden (def. 2) y postorden (def. 3): únicamente los listados "por inspección" del árbol, mientras que los algoritmos respectivos (recursivos) se posponen a los exámenes finales. Notación infija, prefija y posfija: cultural.
  • Sec. 9.4 (pp. 628) [Arboles de expansión (en grafos)]. Intro: def. 1, teor. 1 (enunciado), ejemplos 1-2. Búsqueda en Profundidad (o en retroceso o backtracking) y Búsqueda a lo Ancho: en ambos usar el orden alfanumérico a la hora de elegir las aristas (al estilo del Johnsonbaugh), únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos. Aplicaciones de la búsqueda en profundidad: cultural. Búsqueda en profundidad en grafos dirigidos (e.g. "arañas web"): cultural.
  • Sec. 9.5 (pp. 741) [Arboles de expansión mínimos (en grafos ponderados)]. Def. 1., algoritmos de Prim y de Kruskal: de nuevo, hacer únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos.

[16-05-13, 07:53]. Para los alumnos de FIQ:
  • Durante el cursado estarán sujetos a los requisitos de puntaje de la FICH: regularidad con 40% (cuarenta por ciento) y promoción con 70% (setenta por ciento), y a las mismas opciones para recuperar, o sea, un recuperatorio que reemplazará a la peor nota de los parciales de práctica sólo si es mayor.
  • Inscribirse en la lista de correo Noti-TC (<a target="_blank" href="http://venus.ceride.gov.ar/mailman/listinfo/noti-tc">http://venus.ceride.gov.ar/mailman/listinfo/noti-tc)</a>. Incluir Nombre(s) y Apellido(s) tal como figura en Alumnado. Los alumnos deberán estar suscriptos durante el cursado de la materia. No se enviarán las notas de evaluaciones a los alumnos que no-estén suscriptos. La registración es conveniente durante el cursado y es una tarea simple. Pero atención: hay que tener un email válido y no-bloqueado (por superar cuota del buzón o lo que fuera).

[15-05-13, 9:48]. Se confirma la clase de teoría de hoy Miércoles 15 de Mayo en el lugar y horario habitual.

[14-05-13, 15:52]. Ante algunas consultas recibidas por superposición de horarios de clases con la muestra del parcial 1 del próximo viernes. Sólo en casos justificados se los mostrarán a partir de las 10.30 hs de ese Viernes en el CIMEC pero no-se garantiza que estén todos los docentes que corrigieron cada ejercicio.

[13-05-13, 17:49].
  • Están las notas del Parcial 1 en <a target="_top" href="http://venus.ceride.gov.ar/%7Emstorti/notas4.cgi">http://venus.ceride.gov.ar/~mstorti/notas4.cgi</a>
  • Muestra del Parcial 1: será el Viernes 17 de Mayo en el CIMEC. Tema 1: a las 14 hs. Tema 2: a las 14:30 hs.
  • Se subieron a la página los enunciados de los temas 1 y 2 del Parcial 1.

[12-04-13, 14:08] Se cancelan las clases de prácticas de mañana Martes previas al Parcial 1. Las clases de práctica se retomarán el próximo Jueves en los horarios habituales.

[29-04-13,06:53] Por consultas se precisa el listado de algoritmos para el parcial 1: maxval, maxloc, minval, minloc, mcd (Euclides), mcm, suma de Gauss, Fibonacci, potencia (alg.1), y factorial (tanto iterativos como recursivos).

[26-04-13,09:38] Alumnos de FICH en TCOMP con problemas de inasistencias en la Comisión: clarificar la situación individual en cada caso.

[26-04-13,09:04] Alumnos de FICH inhabilitados en TCOMP por no figurar en Actas de Alumnado o por número de faltas. En el primer caso deberán presentar una Constancia de Alumnado de que están en condiciones para cursar la asignatura.

[23-04-13,16:41] Clase de repaso para los alumnos de la Comisión 2 (además de la clase de consulta usual de los viernes): el próximo Lunes en la FICH, de 10 a 12 hs en el Aula 4.

[23-04-13,16:00] Se actualizaron en la página algunos de los programas demo usando recursión e iteración.

[23-04-13,14:28] Consultas para los alumnos de la Comisión 1: (i) este próximo viernes, en el horario y lugar habitual (de 10 a 11hs en el NTEC-I); y (ii) el Lunes 29/04, en el Aula 5 de la FICH, de 11 a 12 hs.

[18-04-13, 07:25, 13:48 (updated)] Fecha del Parcial 1.
  • Se posterga al MARTES 30 de ABRIL a las 13:30 hs en el Aula Magna. Instrucciones:
    • Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad.
    • Presentarse 15' antes (13:15 hs).
  • Temario de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
    • Sec. 1.1 (Lógica, pág. 1). Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos. Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Lógica y operaciones de bits. Omitir: especificaciones del sistema, juegos de lógica y búsquedas booleanas.
    • Sec. 1.2 (Equivalencias Proposicionales, pág. 19). Def. 1-2, tablas 5-7, ejemplos 1-6.
    • Sec. 1.3 (Predicados y Cuantificadores, pág. 26). Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll" y "programación lógica".
    • Sec. 1.4 (Cuantificadores Anidados, pág. 40). Ejemplos 1-9. Negaciones de cuantificadores anidados: ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16, tabla 1 y algoritmos vistos en la teoría.
    • Sec. 1.5 (Métodos de Demostración, pág. 52), Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos y por equivalencia, ejemplos 14-25. Teoremas y cuantificadores: demostraciones de existencia y de unicidad. Contraejemplos, ejemplos 28, 29, 30. Errores en las demostraciones: ejemplos 31-35. Omitir ejemplos 26-27.
    • Sec. 1.6 (Conjuntos, pág. 71), Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16.
    • Sec. 1.7 (Operaciones con Conjuntos, pág. 79). Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Omitir: "representación de conjuntos en un ordenador".
    • Sec. 1.8 [Funciones, pág. 90]. Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13. Funciones inversas y composición de funciones (pp. 94), def. 9-10, ejemplos 14-18. Gráfica de una función: def. 11, ejemplos 19-20. Algunas funciones importantes: funciones piso y techo (def. 12), tabla 1, ejemplos 21-25.
    • Sec. 2.4 [Enteros y división]. División: def. 1, teor. 1, corolario 1, ejemplos 1-2. Números primos: def. 2, teor. 2-3, enunciados de los teor. 4-5, omitir ejemplo 7. El algoritmo de la división: teor. 6, def. 3, ejemplos 8-9. Máximo común divisor y mínimo común múltiplo: def. 4-7, teor. 7, ejemplos 10-15. Aritmética modular: omitir. Aplicaciones de las congruencias: omitir. Criptología: omitir.
    • Sec. 2.5 [Enteros y algoritmos]. Representación de números enteros: teor. 1, ejemplos 1-6, algoritmo 1. Algoritmos para operaciones con enteros: omitir. Exponenciación modular: omitir. El algoritmo de Euclides: lema 1, ejemplo 12, algoritmo 6 (tanto iterativo como recursivo).
    • Sec. 2.6 [Aplicaciones de la teoría de números]: omitir.
    • Sec. 2.7 [Matrices]: omitir.
    • Sec. 3.2 (Sucesiones y Sumatorias, pág. 210). Sucesiones: def. 1-3, ejemplos 1-4. Sucesiones especiales de enteros: ejemplos 5-7. Sumatorias: teorema 1, ejemplos 9-15. Omitir el resto de la sección.
    • Sec. 3.3 (Inducción Matemática, pág. 222). Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden" y los ejemplos 11-14.
    • Sec. 3.4 [Definiciones recursivas e inducción estructural]: funciones definidas recursivamente: def. 1, ejemplos 1-5, reemplazar el ejemplo 6 por el visto en la teoría, omitir teor. 1. Conjuntos y estructuras definidas recursivamente: omitir. Inducción estructural: omitir. Inducción generalizada: omitir.
    • Sec. 3.5 [Algoritmos recursivos]: def. 1, ejemplos 1 (alg. 1) y 4 (alg. 3), omitir ejemplos 2, 5, 6. Recursión e iteración: ejemplo 7 (alg. 6-9). Ordenación por mezcla: omitir. Omitir el resto del cap.

[17-04-13,11:55] Para los alumnos de la Comisión 1, a cargo del docente Gustavo Ríos: el próximo viernes 19/04 se recuperará la clase de práctica perdida el jueves 11/04 debido a las inclemencias climáticas. Dicha clase se dictará en el aula 18 del edificio INTEC-I a partir de las 10hs. Para llegar ver plano en <a target="_top" href="http://venus.ceride.gov.ar/twiki/bin/view/Cimec/CimecLocation">http://venus.ceride.gov.ar/twiki/bin/view/Cimec/CimecLocation</a>

[12-04-13, 6:50] Se cancela la clase de la teoría de esta tarde (viernes a las 16 hs). De no surgir nuevos inconvenientes, las clases de teoría se retomarán la próxima semana en el día y horario habitual.

[19-03-13, 9:10] Se ha incluído en esta página el anuncio del Torneo de Programación en C++ "Chuck Norris".

[16-03-13, 12:30] Se ha subido en esta página un documento en formato electrónico PDF con notas sobre el Cap. 1.

[16-03-13, 12:20] En la lista de correo "Noti-TC" (http://venus.ceride.gov.ar/mailman/listinfo/noti-tc) se procedió con una desuscripción casi-masiva y, por error, se borraron los pedidos de suscripción recientes (alumnos del cursado 2013). Por favor, volver a solicitarla.

[27-02-13, 15:55]. Una clase de consulta extra: será mañana Jueves 28 de Febrero a las 15 hs (jgomezb ). Se recuerda además la consulta de los viernes a las 14 hs. Lugar: en la Sala de Reuniones del edificio INTEC-3 en el Predio CONICET Santa Fe.

[22-02-13, 14:24]. Clases de consulta los lunes: (i) a las 8 hs (acosimo), y (ii) a las 17 hs (srojasfredini). Lugar: en el Predio CONICET Santa Fe, en la Sala de Reuniones del edificio INTEC-3.

[04-02-13, 13:44]. Dos clases de consulta (en el CIMEC) previas al examen del jueves : el Martes 5 de Febrero: (i) a las 11 hs (grios), y (ii) a las 17 hs (srojasfredini). Lugar: en el Predio CONICET Santa Fe, en la Sala de Reuniones del edificio INTEC-3.

[02-07-12, 10:06]. Clases de consulta (en el CIMEC):
  • Martes 31 de Julio (jgomezb y srojasfredini): 15:00 hs.
  • Martes 24 de Julio (jgomezb y srojasfredini): 15:00 hs.

[28-06-12, 14:35].
  • Están las notas del Globalizador y la situación final de cursado en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • De nuevo: los alumnos que promocionaron deberán anotarse en una fecha de examen final para que se les pase la nota. Avisar por email cuando se inscriban.

[02-07-12, 13:50]. Clases de consulta en esta semana, previas al examen del Jueves 5 de Julio:
  • Martes (jgomezb y grios): 14:30 hs;
  • Miércoles (mpucheta y acosimo): 10 hs;
  • Lugar: en la Sala de Reuniones del CIMEC. Se ruega puntualidad.

[28-06-12, 14:35].
  • Están las notas del Parcial 3 y la situación actual de cursado en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • Se subieron a la página los enunciados de los temas 1 y 2 del Parcial 3.
  • ATENCIÓN: los alumnos que promocionaron deberán anotarse en una fecha de examen final para que se les pase la nota. Avisar por email cuando se inscriban.

[17-06-12, 11:25]. Para los alumnos que fueron a ver su parcial 2: en esa ocasión alguien olvidó una bufanda, pedirla a la teoría.

[17-06-12, 11:10]. En la página fue completado el temario de la teoría para el próximo parcial 3.

[09-06-12, 14:30]. Temario de la teoría para el parcial 3 siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):

  • Sec. 7.4 (pp. 463) [Cierre de relaciones]. Cierres: ejemplos 1-2. Caminos en grafos dirigidos: def. 1, teor. 1 (sólo enunciado), ejemplo 3. Cierre transitivo: def. 2, ejemplos 4-6, teoremas 2-3 (sólo enunciado y omitir Lema 1), algoritmo 1, ejemplo 7. Algoritmo de Roy-Warshall: ejemplo 8 y algoritmo 2.
  • Sec. 7.5 (pp. 473) [Relaciones de equivalencia]. Def. 1, ejemplos 1-4. Clases de equivalencia: def. 2, ejemplos 5-6. Clases de Equivalencia y particiones: teor. 1 y 2, ejemplos 7-9.
  • Sec. 7.6 (pp. 481) [Ordenes parciales]. Def. 1, , ejemplos 1-3. Def. 2-3, ejemplos 4-6. Omitir el resto del cap.
  • Cap. 8: En todo el cap. omitir todo lo referido a "digrafos", i.e. "grafos dirigidos" y "multigrafos dirigidos".
  • Sec. 8.1 (pp. 503) [Intro a grafos]. Def. 1-3. Ejemplos 2, 3, 5, 6. Cultural: ejemplos 8-9.
  • Sec. 8.2 (pp. 511) [Terminología en grafos]. Def. 1-3, Teor. 1-2, ejemplos 1 y 2. Familias distinguidas de grafos simples: ejemplo 4-5 (grafo completo, ciclo y rueda). Grafos bipartitos y bipartitos completos: def. 5, ejemplos 8-11. Algunas aplicaciones de tipos especiales de grafos: cultural. Grafos definidos a partir de otros: def. 6-7, ejemplos 14-15.
  • Sec. 8.3 (pp. 521) [Representación de grafos]. Matrices de adyacencia y de incidencia, ejemplos 1-7. Isomorfismo de grafos: def. 1, ejemplos 8-11.
  • Sec. 8.4 (pp. 531) [Conexión]. Caminos: def. 1, ejemplo 1. Conexión en grafos no-dirigidos: def. 3, teor. 1, componentes conexas, vértice de articulación y arista puente, ejemplos 5-6, 8. Caminos e isomorfismo: ejemplos 12-13. Número de caminos entre 2 vértices: teor. 2, ejemplo 14.
  • Sec. 8.5 (pp. 540) [Caminos de Euler y de Hamilton]. Circuitos eulerianos: def. 1, ejemplos 1-3. Teor. 1 (teorema de Euler). Omitir algoritmo 1, teor. 2 y ejemplo 4. Circuitos de Hamilton: def. 2, ejemplos 5-7. Omitir: teor. 3-4 y ejemplo 8.
  • Sec. 8.6 (pp. 554) [Caminos de longitud mínima: algoritmo de Dijkstra]. Basta mostrar como funciona el algoritmo 1 usando un método gráfico (i.e. dibujando las sucesivas etapas hasta que termina), trazar la ruta de peso mínimo hallada y extenderlo a grafos con más de una componente conexa. Ejemplos 1-2, teor. 1 y 2 (sólo los enunciados), El problema del viajante: cultural.
  • Sec. 8.7 (pp. 564) [Grafos planos]. Def. 1, ejemplos 1-3. La fórmula de Euler: teor. 1, ejemplo 4. Corolarios 1-3, ejemplos 4-6. Teorema de Kuratowski: omitir.
  • Sec. 8.8 (pp. 573) [Coloreado de grafos]. Def. 1-2, teor. 1, ejemplos 1-4. Aplicaciones del coloreado de grafos: ejemplo 5. Cultural: ejemplos 6-7.
  • Sec. 9.1 (pp. 589) [Intro a grafos]. Def. 1-3, teor. 1, árbol ordenado con raíz, árbol binario, hijos izquierdo y derecho, subárbol, ejemplos 1-4. Arboles como modelos: cultural. Propiedades de los árboles: teor. 2-3, 5, corolario 1 (usando como dato el problema 30), altura de un árbol con raíz, árbol equilibrado (o balanceado).
  • Sec. 9.2 (pp. 601) [Aplicaciones de los árboles]: cultural.
  • Sec. 9.3 (pp. 615) [Recorridos de árboles]: recorridos pre-orden (def. 1), inorden (def. 2) y postorden (def. 3): únicamente los listados "por inspección" del árbol, mientras que los algoritmos respectivos (recursivos) se posponen a los exámenes finales. Notación infija, prefija y posfija: cultural.
  • Sec. 9.4 (pp. 628) [Arboles de expansión (en grafos)]. Intro: def. 1, teor. 1 (enunciado), ejemplos 1-2. Búsqueda en Profundidad (o en retroceso o backtracking) y Búsqueda a lo Ancho: en ambos usar el orden alfanumérico a la hora de elegir las aristas (al estilo del Johnsonbaugh), únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos. Aplicaciones de la búsqueda en profundidad: cultural. Búsqueda en profundidad en grafos dirigidos (arañas web): cultural.
  • Sec. 9.5 (pp. 741) [Arboles de expansión mínimos (en grafos ponderados)]. Def. 1., algoritmos de Prim y de Kruskal: de nuevo, hacer únicamente el trazado gráfico por etapas usando grafos sucesivos, y omitir los algoritmos.

[07-06-12, 13:05]. Postergación en las fechas del Tercer Parcial y del Globalizador (a pedido de los alumnos):
  • Parcial 3: pasa al MARTES 26 de JUNIO a las 15 hs en el Aula 9;
  • Globalizador: pasa al VIERNES 29 de JUNIO a las 15 hs en el Aula 9;

En ambos casos: presentarse 20' antes (14:40 hs) y llevar calculadora.

[06-06-12, 12:35]. Novedades:
  • Están las notas del Parcial 2 en <a target="_top" href="http://venus.ceride.gov.ar/%7Emstorti/notas4.cgi">http://venus.ceride.gov.ar/~mstorti/notas4.cgi</a>
  • Muestra del Parcial 2: el único día será el Viernes 8 de Junio en el CIMEC. Tema 1: a las 13:30 hs. Tema 2: a las 14:00 hs.
  • Se subieron a la página los enunciados de los temas 1 y 2 del Parcial 2.
  • Comunicarse con la cátedra los alumnos: ERBES Esteban Federico y OBERTI Gaspar Ezequiel.

[23-05-12, 7:40]. El enunciado del ejemplo visto en el repaso fue ampliado y refinado.

[22-05-12, 13:20]. Ejemplo visto en el repaso. Consigna: elegir una delegación de 4 personas de entre un total de 12 estudiantes para asistir a un congreso. Hallar (a) ¿De cuantas maneras se puede elegir la delegación? (sin restricciones); (b) Idem pero considerando que hay 2 estudiantes que quieren ir pero se niegan a estar en la delegación simultáneamente; c) Idem pero considerando que hay 2 estudiantes que asistirán al congreso sólo si van juntos; (d) Idem pero considerando que hay 2 estudiantes que se niegan a estar en la delegación simultáneamente.

Solución:
  • Inciso-a: Se tiene za = C (12,4) = 495;
  • Inciso-b: Sean los estudiantes A y B que quieren ir pero se niegan a estar juntos. Hacemos 2 etapas. Primero Incluimos al A en la delegación y excluimos al B. Entonces restan elegir 4 - 1 = 3 delegados de un total de 12 - 1 (A que ya está) - 1 (B que lo echamos), o sea, z1 = C (10,3) = 120. Ahora incluimos al B en la delegación y excluimos al A. Es lo mismo que antes por lo que z2 = C (10,3) = 120. Finalmente usando el PS, el total es zb = z1 + z2 = 2 C(10,3) = 240.
  • Inciso-c: Sean los estudiantes A y B los que solo van si van juntos. Hacemos 2 etapas. Primero si incluimos al A y a B en la delegación sólo restan elegir a otros 2 delegados de un total de 12-2=10 (porque A y B que ya están), lo que dan z3 = C (10,2) = 45 opciones. Luego excluimos al A y B en la delegación por lo que hay que elegir a 4 delegados de un total de 12-2=10 (porque A y B fueron excluidos), lo que se agregan otras z4 = C (10,4) = 210 opciones. Finalmente, usando el PS, el total es zc = z3 + z4 = C (10,2) + C (10,4) = 45 + 210 = 255.
  • Inciso-d: Sean los estudiantes A y B que se niegan a estar en la delegación simultáneamente. Una manera de resolver esto es usar el PIE, i.e. considerar el total de las combinaciones sin restricciones (inciso-a), es decir, za=C(12,4)=495, y a ese total le restamos el número de delegaciones en las que A y B aparecen juntos dado por z3=C(10,2)=45 ya hallado. Con todo esto se obtiene zd=495-45=450. Verificación: otro razonamiento es sumar el números de opciones cuando A y B quieren ir pero se niegan a estar juntos (inciso-b) con el número de opciones cuando excluimos A y B de la delegación, o sea, zd' = zb+z4= 2C(10,3) + C(10,4) = 240 + 210 = 450, y se llega al mismo resultado.

[19-05-12, 15:50]. Algoritmos de la página que entran en el parcial: esprimo, suma de Gauss (suma_i, suma_r), máximo de una lista (maximo_i, maximo_r), relaciones de recurrencia (e.g. an_21, an_24), factorial (factorial_i, factorial_r), potencia (potencia_i, potencia_r), mcd (mcd_i, mcd_r). Algoritmos para relaciones: es_reflexiva, es_simetrica, es_antisimetrica, es_transitiva, es_relacion_de_equivalencia, y es_relacion_de_orden.

[18-05-12, 13:15]. Se actualizaron los siguientes algoritmos en la página: (i) test para determinar si un entero positivo es primo; (ii) algunos demos usando recursión; y (iii) algunos tests para relaciones.

[17-05-12, 12:34]. Postergación de la fecha del Segundo Parcial (a pedido de los alumnos): pasa al MIERCOLES 23 de MAYO a las 14 hs en el Aula 9. Instrucciones:
  • Presentarse 20' antes (13:40hs).
  • Llevar calculadora.

[15-05-09, 11:10]. Para la Comisión 1: se corrigió el día de la práctica recuperatoria. Las demás comisiones sin cambios.

[14-05-09, 14:05]. Temario de la teoría para el Parcial 2 siguiendo el texto ROSEN: ver hasta la Sec. 7.3 mientras que las Sec. 7.4-7.6 pasan al siguiente parcial.

[14-05-09, 12:40]. Prácticas por el asueto del Martes 15 de Mayo (llegar con puntualidad):
  • Comisión 1: la clase se dictará el Miércoles 16 de Mayo en la FICH en el Aula 8 de 13 a 15 hs.
  • Comisión 2: la clase se dictará el Martes 15 de Mayo en el edificio INTEC-1 en el Aula 40 en el horario habitual de 10 a 12 hs.
  • Comisión 3: la clase se dictará el Martes 15 de Mayo en el edificio INTEC-1 en el Aula 40 en el horario habitual de 15 a 17 hs.

[13-05-09, 17:45]. Temario tentativo de la teoría para el parcial 2 siguiendo el texto ROSEN: se completó el faltante con respecto a las Sec. 3.4 y 3.5 del Cap. 3.

[09-05-09, 8:08]. Temario tentativo de la teoría para el parcial 2 siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
  • Sec. 1.8 [Funciones]. Funciones inversas y composición de funciones (pp. 94), def. 9-10, ejemplos 14-18. Gráfica de una función: def. 11, ejemplos 19-20. Algunas funciones importantes: funciones piso y techo (def. 12), tabla 1, ejemplos 21-25.
  • Sec. 2.4 [Enteros y división]. División: def. 1, teor. 1, corolario 1, ejemplos 1-2. Números primos: def. 2, teor. 2-3, enunciados de los teor. 4-5, omitir ejemplo 7. El algoritmo de la división: teor. 6, def. 3, ejemplos 8-9. Máximo común divisor y mínimo común múltiplo: def. 4-7, teor. 7, ejemplos 10-15. Aritmética modular: omitir. Aplicaciones de las congruencias: omitir. Criptología: omitir.
  • Sec. 2.5 [Enteros y algoritmos]. Representación de números enteros: teor. 1, ejemplos 1-6, algoritmo 1. Algoritmos para operaciones con enteros: omitir. Exponenciación modular: omitir. El algoritmo de Euclides: lema 1, ejemplo 12, algoritmo 6 (tanto iterativo como recursivo).
  • Sec. 2.6 [Aplicaciones de la teoría de números]: omitir.
  • Sec. 2.7 [Matrices]: omitir.
  • Sec. 3.4 [Definiciones recursivas e inducción estructural]: funciones definidas recursivamente: def. 1, ejemplos 1-5, reemplazar el ejemplo 6 por el visto en la teoría, omitir teor. 1. Conjuntos y estructuras definidas recursivamente: omitir. Inducción estructural: omitir. Inducción generalizada: omitir.
  • Sec. 3.5 [Algoritmos recursivos]: def. 1, ejemplos 1 (alg. 1) y 4 (alg. 3), omitir ejemplos 2, 5, 6. Recursión e iteración: ejemplo 7 (alg. 6-9). Ordenación por mezcla: omitir. Omitir el resto del cap.
  • Sec. 4.1 [Fundamentos de combinatoria]. Principios básicos de recuento: las reglas del producto y de la suma, ejemplos 1-6, 9-12. Problemas de recuento más complicados: omitir. El principio de inclusión-exclusión: ejemplo 16. Diagramas árbol: ejemplos 17-18.
  • Sec. 4.2 [Principios del palomar]. Introducción: teor. 1, ejemplos 1-3. El Principio del Palomar (PP) generalizado: teor. 2, ejemplos 9. Algunas aplicaciones elegantes del PP: sólo el ejemplo 10.
  • Sec. 4.3 [Permutaciones y combinaciones]. Permutaciones: teor. 1, ejemplos 1-5. Combinaciones: teor. 2, corolario 1, def. 1, ejemplos 6-11.
  • Sec. 4.4 [Coeficientes binomiales]. El teorema del binomio: teor. 1, corolarios 1-3, ejemplos 1-4. El triángulo y la identidad de Pascal: teor. 2. Algunas identidades entre coeficientes binomiales: teor. 3, corolario 4, omitir teor. 4.
  • Sec. 4.5 [Permutaciones y combinaciones generalizadas]. Permutaciones con repetición: teor. 1, ejemplo 1. Combinaciones con repetición: teor. 2, ejemplos 2-7. Permutaciones con objetos indistiguibles: teor. 3, ejemplo 8, tabla 1. Distribuciones de objetos en cajas: teor. 4 y ejemplo 9. Teor. Multinomial en el caso m=3 (ejercicio 53 de la página 319).
  • Sec. 4.6 [Generación de permutaciones]: omitir.
  • Sec. 6.1 [Relaciones de recurrencia (RR)]. Def. 1, ejemplos 1-6, omitir ejemplos 7-8.
  • Sec. 6.2 [Resolución de las RR]. Def. 1, ejemplos 1-2. Resolución de las RRLHCC: teor. 1-3, enunciados de los teor. 3-4, ejemplos 3-8. Relaciones de recurrencia lineales y no-homogéneas de CC: enunciados de los teor. 5-6, ejemplos 9-13.
  • Sec. 6.3 [Algoritmos de divide y vencerás y RR]: omitir.
  • Sec. 6.4 [Funciones generatrices]: omitir.
  • Sec. 6.5 [Principio de inclusión-exclusión (PIE)]. Ejemplos 1, 3, 4, omitir ejemplo 2, enunciado del teor. 1.
  • Sec. 6.6 [Aplicaciones del PIE]. Forma alternativa del PIE: sólo el ejemplo 1 y omitir el resto de la sección.
  • Sec. 7.1 [Relaciones y sus propiedades]. def. 1, ejemplos 1-3. Funciones como relaciones. Relaciones en un conjunto: def. 2, ejemplos 4-6. Propiedades de las relaciones: def. 3-5, ejemplos 7-16. Combinaciones de relaciones: def. 6-7, teor. 1, ejemplos 17-22.
  • Sec. 7.2 [Relaciones n-arias y sus aplicaciones]: omitir.
  • Sec. 7.3 [Representaciones de relaciones]. Representación usando matrices: ejemplos 1-6. Representación usando digrafos: def. 1, ejemplos 7-10.

Temas que se postergan al Parcial 3:

  • Sec. 7.4 [Cierre de relaciones]. Cierres: ejemplos 1-2. Caminos en grafos dirigidos: def. 1, teor. 1 (sólo enunciado), ejemplo 3. Cierre transitivo: def. 2, ejemplos 4-7, teor. 2-3 (sólo enunciado), algoritmo 7. El algoritmo de Roy-Warshall: ejemplo 8 y algoritmo 2.
  • Sec. 7.5 [Relaciones de equivalencia]. Def. 1, ejemplos 1-4. Clases de equivalencia: def. 2, ejemplos 5-6. Clases de Equivalencia y particiones: teor. 1, ejemplos 7-9.
  • Sec. 7.6 [Ordenes parciales]. Def. 1, , ejemplos 1-3. Def. 2-3, ejemplos 4-6. Omitir el resto del cap.

[06-05-12, 19:30]. Clase optativa de práctica en la Comisión 3 (i.e. no es obligatoria): este próximo Martes 08-Mayo exactamente a las 14:45 hs se verá una explicación más detallada del E37 de la GTP sobre el Principio del Palomar.

[27-04-12, 14:00].
  • Están las notas del Parcial 1 en http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • Muestra del Parcial 1: será el Viernes 4-Mayo en el CIMEC. Tema 1: a las 14 hs. Tema 2: a las 14:30 hs.
  • Se subieron a la página los enunciados de los temas 1 y 2 del Parcial 1.

[14-04-12, 15:10].
  • Para los que estuvieron ayer en el Aula 9: alguien dejó olvidada una calculadora (al fondo hacia el ventanal). Solicitarla en la teoría del próximo Miércoles.
  • La Sec. 3.2 se agregará en el Globalizador, por lo cual se la incluyó en el Temario de la teoría del parcial 1.

[10-04-12, 14:40]. Ante consultas varias:
  • La próxima clase de teoría se confirma sin cambios e incluirá un repaso para el parcial.
  • A la finalización de la clase habrá otra clase opcional (de asistencia libre) de repaso o consultas pero en otra aula (a determinar).

[06-04-12, 16:00] Fecha del Primer Parcial: VIERNES 13 de ABRIL a las 15:00 hs en el Aula 9. Instrucciones:
  • Concurrir con Libreta Universitaria o documento (con foto) para acreditar identidad.
  • Presentarse 20' antes (14:40 hs).
  • Temario de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
    • Sec. 1.1 (Lógica, pág. 1). Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos. Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Lógica y operaciones de bits. Omitir: especificaciones del sistema, juegos de lógica y búsquedas booleanas.
    • Sec. 1.2 (Equivalencias Proposicionales, pág. 19). Def. 1-2, tablas 5-7, ejemplos 1-6.
    • Sec. 1.3 (Predicados y Cuantificadores, pág. 26). Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll" y "programación lógica".
    • Sec. 1.4 (Cuantificadores Anidados, pág. 40). Ejemplos 1-9. Negaciones de cuantificadores anidados: ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16, tabla 1 y algoritmos vistos en la teoría.
    • Sec. 1.5 (Métodos de Demostración, pág. 52), Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos y por equivalencia, ejemplos 14-25. Teoremas y cuantificadores: demostraciones de existencia y de unicidad. Contraejemplos, ejemplos 28, 29, 30. Errores en las demostraciones: ejemplos 31-35. Omitir ejemplos 26-27.
    • Sec. 1.6 (Conjuntos, pág. 71), Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16.
    • Sec. 1.7 (Operaciones con Conjuntos, pág. 79). Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Omitir: "representación de conjuntos en un ordenador".
    • Sec. 1.8 (Funciones, pág. 90). Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13.
    • Sec. 3.2 (Sucesiones y Sumatorias, pág. 210). Sucesiones: def. 1-3, ejemplos 1-4. Sucesiones especiales de enteros: ejemplos 5-7. Sumatorias: teorema 1, ejemplos 9-15. Omitir el resto de la sección.
    • Sec. 3.3 (Inducción Matemática, pág. 222). Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden" y los ejemplos 11-14.

[02-12-12, 11:45]. TorneoProgramacion.
  • [26-05-11, 12:30]. Tres comentarios.
    • Sobre el Doctorado en Ingeniería (DI). Se comenta que en la página de la radio LT10: <a target="_blank" href="http://www.lt10digital.com.ar/noticia/idnot/111763/maxima-acreditacion-para-seis-carreras-de-posgrado-de-unl.html"> http://www.lt10digital.com.ar/noticia/idnot/111763/maxima-acreditacion-para-seis-carreras-de-posgrado-de-unl.html, se informa que el DI de la UNL que se dicta en la FICH y en FIQ sigue siendo "A". También aparece lo mismo en la página de la UNL:<a target="_blank" href="http://www.unl.edu.ar/noticias/leer/8226/Maxima_acreditacion_para_seis_carreras_de_posgrado.html"> http://www.unl.edu.ar/noticias/leer/8226/Maxima_acreditacion_para_seis_carreras_de_posgrado.html
    • Sobre el cálculo de áreas. En contraste con lo anterior recientemente se produjeron dos hechos curiosos:
      • Area del círculo: en la asignatura "Cálculo Numérico" (CNUM, obligatoria de 3er año, cursada 2011) durante un parcial resultó que algunos alumnos insistieron al JTP que se les facilitara la fórmula de cálculo del área de un círculo dado su radio, con argumentos tales como: "que no-lo vieron en la primaria/secundaria", "que no-era un tema que estaba siendo evaluado", etc.
      • Area del triángulo: en la asignatura "Mecánica del Continuo" (MC, obligatoria de 4to año, cursada 2010), un alumno que pasó al pizarrón admitió que ignoraba fórmula alguna para cálculo del área de un triángulo.
    • En ambos casos no-se facilitó semejantes fórmulas, entre otros motivos, porque eran de la matemática elemental y, en primer lugar, porque son alumnos de ingeniería.
  • [10-08-11, 11:45]
  • [25-07-11, 6:45] Consultas y muestra del examen final del 07-07-11: será mañana Martes 26-Julio en el CIMEC a las 15 hs.
  • [04-07-11, 07:05] Se subieron a la página los enunciados de los temas 1 y 2 en el parcial 3 y el del globalizador de este año.
  • [30-06-11, 16:10]
    • Están las notas del globalizador y la situación final de cursado, http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Los globalizadores se mostrarán mañana Viernes en el CIMEC a las 14 hs. Se ruega puntualidad pues a las 15 hs hay recuperatorio de otra asignatura.
    • ATENCIÓN: los alumnos que promocionaron deberán anotarse en alguna fecha de examen para que se les pase la nota. Por favor avisar por email antes.
  • [20-06-11, 21:20] Parcial3: será (mañana) Martes 21-Junio en el Aula Magna de 13 a 16 hs.
  • [09-06-11, 11:35] Muestra del Parcial 2: será mañana Viernes 10-Junio en el CIMEC. Tema 1: a las 14 hs. Tema 2: a ls 14:30 hs.
  • [08-06-11, 13:35] Están las notas del Parcial 2 <a target="_blank" href="../../../../%7Emstorti/notas4.cgi">http://venus.ceride.gov.ar/~mstorti/notas4.cgi</a>
  • [04-06-11, 9:25] Algunas cuestiones de actualidad en LINUX en una nota a Linus TORVALDS por los 20 años <a target="_blank" href="http://www.pagina12.com.ar/diario/dialogos/21-169096-2011-05-30.html">http://www.pagina12.com.ar/diario/dialogos/21-169096-2011-05-30.html</a>
  • [03-06-11, 13:50] Se subieron a la página los enunciados de los temas 1 y 2 en el parcial 3 del año pasado y en el parcial 2 de este año.
  • [03-06-11, 10:00] En la Sec. "Programas demos" de esta página (ver al final) se ha incluido el demo "relaciones" con los algoritmos: cierre_reflexivo, cierre_simetrico, cierre_transitivo, roywarshall, es_reflexiva, es_simetrica, es_antisimetrica, es_transitiva, es_relacion_de_equivalencia, y es_relacion_de_orden.
  • [20-05-11, 13:06] En la Sec. "Programas demos" de esta página (ver al final) se ha incluido el demo "recursividad" con algunos algoritmos recursivos simples.
  • [09-05-11, 11:50] Fecha del Parcial-2:
    • Fecha: Lunes 23 de Mayo a las 18:00 hs en el Aula Magna (único horario para todas las comisiones de práctica);
    • Concurrir con libreta universitaria o documento (con foto) para acreditar identidad;
    • Presentarse 5' antes (17:55 hs).
  • Muestra del Parcial 1: será el Viernes 13-Mayo en el CIMEC. Tema 1: a las 15 hs. Tema 2: a las 15:30 hs.
  • [07-05-11, 11:10]
    • Se subieron a la página los enunciados de los temas 1 y 2 del Parcial 1.
    • Se corrigió una entrada errónea (>100%) en el nota del E4c de un alumno.
  • [06-05-11, 14:30] Están las notas del Parcial 1 <a target="_blank" href="../../../../%7Emstorti/notas4.cgi">http://venus.ceride.gov.ar/~mstorti/notas4.cgi</a>
  • [29-04-11, 12:15] En la Sec. "Programas demos" de esta página (ver al final) se ha incluido un demo para el tema de algoritmos recursivos.
  • [14-04-11, 11:05] En la Sec. "Programas demos" de esta página (ver al final) se ha incluido un demo para el tema de cuantificadores simples y anidados en una implementación más básica.
  • [14-04-11, 07:35] El temario para el Parcial-1 es el ya indicado el [31-03-11, 09:40] excepto que la Sec. 3.3 (Inducción matemática, pág. 222) se reducirá a lo dado en la teoría mientras que la ejercitación se postergará al parcial 2.
  • [31-03-11, 09:40] Parcial-1:
    • Fecha: Lunes 18 de Abril a las 18:00 hs en el Aula Magna (único horario para todas las comisiones de práctica);
    • Concurrir con libreta universitaria o documento (con foto) para acreditar identidad;
    • Presentarse 5' antes (17:55 hs).
  • [07-02-11, 15:30] Consultas para el examen del 17 de febrero: martes 15 a partir de las 16:00 hs. en el CIMEC con Pablo Kler.
  • [07-07-10, 9:30] Como los alumnos afectados se percataron el promedio en el globalizador estaba calculado sobre la base 100 en lugar de 120 lo cual ha sido subsanado http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [05-07-10, 17:30] Están las notas del globalizador http://venus.ceride.gov.ar/~mstorti/notas4.cgi
  • [30-06-10, 14:15]
    • Están las notas del tercer parcial, http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Los parciales se mostrarán mañana Jueves en el CIMEC. Los temas 1-2 a las 10 hs, y los temas 3-4 a las 10:30 hs.
    • ATENCIÓN alumnos que promocionaron: anotarse en alguna fecha de examen para que les pasemos la nota. Por favor avisar por email antes.
  • [24-06-10, 09:00] Varios:
    • Listado parcial de algoritmos:
      • Todos los vistos en la teoría, en la práctica y en las Sec. del libro del temario.
      • Dijkstra.
      • Arbol de expansión: por búsqueda a lo ancho y por búsqueda en profundidad.
      • Arbol de expansión mínimo: algoritmos de Prim y de Kruskal.
      • Los tres recorridos recursivos de un árbol ordenado y orientado.
      • Los tres recorridos recursivos de un árbol binario.
      • Todo otro que resulte de aplicación inmediata de las definiciones y propiedades de los grafos y árboles, e.g. todos_par (A,n), es_completo (A,n), es_ciclo (A,n), es_estrella (A,n), es_rueda (A.n), etc.,
    • Demostracion del algoritmo de Prim (pp. 644): omitirlo.
    • Observaciones sobre la cola "Q" en el algoritmo de búsqueda a lo ancho dada en la teoría. Lo que en la teoría se le dió el nombre de "cola" Q, Rosen en su algoritmo 2 lo denomina "lista" L. No obstante la diferencia de nombres, Rosen hace trabajar la lista L como una cola, esto es, en dicho algoritmo escribe "borrar el PRIMER vértice v de la lista L", "añadir el vértice w AL FINAL de la lista L", operacionesque corresponden al funcionamiento de una cola Q.
    • Algoritmo pendiente de ayer. Enunciado: dado un grafo G = (V,E) a través de su matriz de incidencia A de tamaño n = |V|, escriba la función bool es_rueda (A,n) que devuelve True si G representa un grafo tipo "rueda" (siguiendo la definición dada en el Rosen) y False en otro caso. Solución: enviada por email.
  • [14-06-10, 15:55]
  • [10-06-10, 9:00] Próximas evaluaciones:
    • Fecha del Tercer Parcial: VIERNES 25 de JUNIO a las 14:30 hs en el Aula 9.
    • Fecha del Globalizador: VIERNES 2 de JULIO a las 14:30 hs en el Aula 9.
    • Presentarse 10 minutos antes (14:20 hs) y concurrir con Libreta Universitaria o documento único para acreditar identidad.
  • [10-06-10, 9:00] Temario (en construcción!) de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004). Omitir lo no-indicado expresamente:
    • Sec. 8.1 (Introducción a grafos, pág. 503).
      • Tipos de grafos: def. 1-5.
      • Modelos con grafos: cultural.
    • Sec. 8.2 (Terminología en grafos, pág. 511):
      • Terminología básica (pág. 511): def. 1-4, teor. 1-3, ejemplos 1-3.
      • Familias distinguidas de grafos simples (pág. 513): ejemplos 4-7.
      • Grafos bipartitos (pág. 514): definición 5, ejemplos 8-11. Cultura general los ejemplos 12 y 13.
      • Grafos definidos a partir de otros (pág. 518): def. 6-7, ejemplos 14 y 15.
    • Sec. 8.3 (Representación de grafos e isomorfismo de grafos, pág. 521):
      • Representación de grafos (pág. 521): listas de adyacencia, ejemplos 1 y 2.
      • Matrices de adyacencia (pág. 521): definición, ejemplos 3-5.
      • Matrices de incidencia (pág. 523): definición, ejemplos 6 y 7.
      • Isomorfismo de grafos (pág. 524): def. 1, ejemplos 8-11.
    • Sec. 8.4 (Conexión, pág. 531):
      • Caminos (pág. 531): def. 1-2, ejemplo 1.
      • Conexión en grafos no-dirigidos (pág. 532): def. 3, teor. 1, ejemplos 5 y 6. Vértices de articulación (o de corte) y arista puente (o de corte): def., ejemplo 8.
      • Conexión en grafos dirigidos (pág. 534): def. 4-5, teor. 1, ejemplos 9 y 10. Cultura general el ejemplo 11.
      • Caminos e isomorfismo (pág. 536): teor. 2, ejemplos 12-14.
    • Sec. 8.5 (Caminos eulerianos y hamiltonianos, pág. 540):
      • Caminos y circuitos eulerianos (pág. 540): def. 1, condiciones necesarias y suficientes para la existencia de circuitos y caminos eulerianos, teorema 1 (enunciado y demostración), teorema 2 (enunciado), ejemplos 1-4. Omitir algoritmo 1.
      • Caminos y circuitos hamiltonianos (pág. 545): def. 2, ejemplos 5-7, 8 (códigos de Gray). Omitir teoremas 3-4.
    • Sec. 8.6 (Caminos de longitud mínima, pág. 554):
      • Algoritmo de Dijkstra (pág. 556) en un multigrafo ponderado: prueba de escritorio y algoritmo, enunciados de los teoremas 1 y 2, ejemplos 1-2,
      • El problema del viajante (pág. 560): introducción.
    • Sec. 8.7 (Grafos planos, pág. 564):
      • Introducción (pág. 554): def. 1, ejemplos 1-3.
      • Fórmula de Euler para grafos planos (pág. 566): teorema 1 y corolarios 1-3 (enunciados y demostraciones), ejemplo 5-6.
      • Teorema de Kuratowski (pág. 569): subdivisón elemental, grafos homeomorfos (def.), teor. 2, ejemplos 7-8.
    • Sec. 8.8 (Caminos de longitud mínima, pág. 554):
      • Introducción: grafo dual, def. 1-2, teorema 1, ejemplos 1-4.
      • Aplicaciones del coloreado de grafos: ejemplo 5, Cultura general los ejemplos 6 y 7.
    • Sec. 9.1 (Introducción a árboles, pág. 589):
      • Definiciones: 1-3, bosques, teorema 1 (enunciado y demostración). Taxonomía en árboles (primera parte): padre, hijo, hermanos, antecesores, descendientes, hoja, vértices internos, subárbol, árbol ordenado con raíz, árbol binario, hijos izquierdo y derecho, subárbol izquierdo y derecho, ejemplos 1-4.
      • Arboles como modelos (pág. 593):ejemplo 5. Cultura general los ejemplos 6-8.
      • Propiedades de los árboles (pág. 595): teorema 2-5 (enunciados y demostraciones), ejemplo 9. Taxonomía en árboles (segunda parte): nivel, altura, árbol balanceado (o equilibrado). Corolario 1 (enunciado y demostración).
    • Sec. 9.2 (Aplicaciones de los árboles, pág. 600): omitirla.
    • Sec. 9.3 (Recorridos en árboles, pág. 615):
      • Sistema de etiquedo universal (pág. 615): cultura general.
      • Algoritmos de recorrido (pág. 616): def. 1-3, algoritmos 1-3, ejemplos 2-4.
      • Notación infija, prefija y posfija (pág. 622) ejemplos 5-10.
    • Sec. 9.4 (Arboles de expansión o generadores, pág. 628):
      • Introducción (pág. 628): def. 1, teorema 1 (enunciado y demostración), ejemplo 1. Cultura general el ejemplo 2.
      • Búsqueda en profundidad (o en retroceso, o backtracking, o de la vuelta atrás, pág. 630): algoritmo y prueba de escritorio, ejemplos 3-4.
      • Búsqueda a lo ancho (o por niveles, pág. 633): algoritmo y prueba de escritorio, ejemplo 5.
      • Aplicaciones de la vuelta atrás (pág. 634): el problema de las 4 reinas. Cultura general los ejemplos 6, 8.
      • Búsqueda en profundidad en grafos dirigidos (pág. 636). Cultura general: ejemplo 9, buscadores de internet (ejemplo 10).
    • Sec. 9.5 (Arbol de expansión (o generador) mínimo, pág. 641): algoritmos para árboles generadores mínimos (pág. 641): def. 1, algoritmo de Prim y su prueba de escritorio, ejemplos 1-2, algoritmo de Kruskal y su prueba de escritorio, ejemplo 3.

  • [01-06-10, 07:30] Se actualizó en la página (http://www.cimec.org.ar/tcomp) el listado de los ejercicios para las prácticas.
  • [18-05-10, 9:40] (actualizado el 19/05/10, 10:30). Listado no-exhaustivo de algoritmos para el parcial2:
    • todos los algoritmos vistos en las prácticas.
    • cadenas de bits, recursión y el conjunto potencia.
    • lazos que expresan los principios de la suma y del producto.
    • bool es_reflexiva (matrix M, int n)
    • bool es_simetrica (matrix M, int n)
    • bool es_antisimetrica (matrix M, int n)
    • bool es_transitiva (matrix M, int n)
    • bool existencia (matrix M, int n)
    • bool unicidad (matrix M, int n)
    • bool es_funcion (matrix M, int n)
    • bool es_inyectiva (matrix M, int n)
    • bool es_sobreyectiva (matrix M, int n)
    • bool es_biyectiva (matrix M, int n)
    • matrix roy_warshall (matrix M, int n)
    • matrix cierre_reflexivo (matrix A, int n)
    • matrix cierre_simetrico (matrix A, int n)
    • matrix cierre_antisimetrico (matrix A, int n)
    • matrix cierre_transitivo (matrix A, matrix B, int n) // donde "matrix" indica matriz cuadrada de n x n, con elementos enteros o booleanos.
    • real potencia (real x, int n) // Potencia n de un real x, recursivo.
    • int min (array A, int n) // min en arreglo A de enteros recursivo, sin uso de funciones de biblioteca
    • int max (array A, int n) // max en arreglo A de enteros recursivo, sin uso de funciones de biblioteca .
    • int mcd (int a, int b) // Euclides, recursivo y no-recursivo.
    • int mcm (int a, int b) // Minimo Común Múltiplo, recursivo y no-recursivo.
    • int ec_diofantica () // número de soluciones en una ecuación diofántica.
    • int inec_diofantica () // número de soluciones en una inecuación diofántica.
    • int busqueda_lineal (array A, int x, int i, int j) // devuelve la posición de un entero x en un arreglo A de n enteros buscando recursivamente entre las posiciones i, j.
    • int fibonacci (int n) // Fibonacci, recursivo y no-recursivo (muy elemental) .
    • int sumagauss (int n) // Suma de Gauss, recursivo y no-recursivo (muy-elemental).
    • int factorial (int n) // Factorial, recursivo y no-recursivo (muy elemental).

  • [16-05-10, 9:00]
    • El Segundo Parcial se postergará a inmediatamente después del receso largo por el Bicentenario pero, por problemas de Aula, se ADELANTARA la HORA de su INICIO, i.e. MIERCOLES 26 de MAYO a las 16:30 hs en el Aula 9. Presentarse 10' antes (16:20 hs). Recordar llevar Libreta Universitaria o documento único para acreditar identidad.
    • Exceptuar del temario de la teoría únicamente los temas "conjuntos y estructuras definidas recursivamente" (pág. 243) e "inducción estructural" (pág. 247), temas que se postergarán al parcial 3.
    • Horarios de consulta especiales para la semana del 17/5 en el Predio CONICET Santa Fe (para llegar ver plano en http://venus.ceride.gov.ar/twiki/bin/view/Cimec/CimecLocation). Recordar que se cancelará la consulta si no hubieran alumnos después de 15 minutos de iniciado cada horario.
      • Lunes 17/5 (elopez): a las 9 hs.
      • Lunes 17/5 (jdelia): a las 18 hs.
      • Miércoles 19/5 (pkler): a las 14:30 hs.
      • Demás integrantes: a confirmar.
  • [03-05-10, 13:00] Temario refinado (el 18-05-10, 9:40 hs) de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004). Omitir lo no-indicado expresamente:
    • Sec. 3.4 (Definiciones recursivas e inducción estructural, pág. 239). Funciones definidas recursivamente: definición 1 y ejemplos 1-6.
    • Sec. 3.5 (Algoritmos recursivos, pág. 255). Definición 1, ejemplos 1, 4-5, 7, algoritmos 7-9.
    • Sec. 4.1 (Fundamentos de combinatoria, pág. 279). Principios básicos de conteo: las reglas del producto y de la suma, ejemplos 1-6, 8-12. El principio de inclusión-Exclusión y Diagramas en Arbol: ejemplos 16-19.
    • Sec. 4.2 (Principios del palomar, pág. 290). Teoremas 1-2 (enunciados y demostraciones, hay una errata en la demostración del 1), ejemplos 1-3, 5-7, 10, 13.
    • Sec. 4.3 (Permutaciones y combinaciones, pág. 297). Teoremas 1-2 y corolario 1 (enunciados y demostraciones, definición 1, ejemplos 1-11.
    • Sec. 4.4 (Coeficientes binomiales, pág. 303). El teorema del binomio: teorema 1 y corolario 3 (enunciados y demostraciones), ejemplos 1-4. El triángulo y la identidad de Pascal: teorema 2 (enunciado y demostración). Algunas identidades entre coeficientes binomiales: teoremas 3-4 y corolario 4 (enunciados y demostraciones).
    • Sec. 4.5 (Permutaciones y combinaciones generalizadas, pág. 311). Permutaciones con repetición: teorema 1 (enunciado y demostración) y ejemplo 1. Combinaciones con repetición: teorema 2 (enunciado y demostración), ejemplos 2-7. Permutaciones con objetos indistinguibles: teorema 3 (enunciado y demostración), teorema 4 (enunciado), ejemplos 8-9. Teorema multinomial (ejercicio 53) para el caso m=3 (enunciado y demostración).
    • Sec. 6.1 (Relaciones de Recurrencia (RR), pág. 373. Def. 1, ejemplos 1-8.
    • Sec. 6.2 (Solución de las RR, pág. 384): def. 1, ejemplos 1-2. Solución de las RR Lineales, de Coeficientes Constantes (RRLCC) y Homogéneas: teorema 1 (enunciado y demostración), teoremas 2-4 (enunciados), ejemplos 3-8. RRLCC No-Homogéneas: teorema 5 (enunciado y demostración), teorema 6 (enunciado), ejemplos 9-13.
    • Sec. 6.5 (Principio de Inclusión-Exclusión (PIE), pág. 420). Ejemplos 1, 3-5. Teorema 1 (enunciado).
    • Sec. 6.6 (Aplicaciones del PIE, pág. 426). Forma alternativa del PIE y ejemplo 1.
    • Sec. 7.1 (Relaciones, pág. 439). Def. 1, ejemplos 1-3. Funciones como relaciones, Relaciones en un conjunto: def. 2, ejemplos 4-6. Propiedades de las relaciones: def. 3-5, ejemplos 7-16. Combinación de relaciones: def. 6-7, teorema 1 (enunciado y demostración), ejemplos 17-22.
    • Sec. 7.3 (Representación de relaciones, pág. 456). Representación usando matrices: ejemplos 1-6. Representación usando digrafos: def. 1, ejemplos 7-9.
    • Sec. 7.4 (Cierre de relaciones, pág. 463). Cierres: def. 1, teorema 1 (enunciado y demostración), ejemplos 1-3. Cierres transitivos: def. 2, teorema 2 (enunciado), lema1 (omitir). Ejemplos 4-6. Teorema 3 (enunciado), ejemplo 7, algoritmo 1. Algoritmo de Warshall: algoritmo 2 y ejemplo 8.
    • Sec. 7.5 (Relaciones de equivalencia, pág. 473). Def. 1, ejemplos 1-4. Clases de equivalencia: def. 2, ejemplos 5-6. Clases de equivalencia y particiones: teoremas 1-2 (enunciados y demostraciones), ejemplos 7-9.
    • Sec. 7.6 (Ordenes parciales, pág. 481). Def. 1-3, ejemplos 1-5.

  • [08-04-10, 10:10] Por problemas de Aula se ADELANTARA la HORA de INICIO del Primer Parcial: VIERNES 16 de ABRIL a las 14:45 hs en el Aula 9. Presentarse 15' antes (14:30 hs). Recordar llevar Libreta Universitaria o documento único para acreditar identidad.

  • [07-04-10, 13:10]. Horarios de consulta especiales para la semana que viene en el Predio CONICET Santa Fe (para llegar ver plano en http://venus.ceride.gov.ar/twiki/bin/view/Cimec/CimecLocation). Recordar que se cancelará la consulta si no hubieran alumnos después de 15 min. de iniciado cada horario.
    • Viernes 9/4 (Dalcin): a las 10 hs.
    • Lunes 12/4 (Lopez): a las 9 hs.
    • Lunes 12/4 (D'Elia): a las 18 hs.
    • Miércoles 14/4 (Sarraf): a las 8:30 hs.
    • Miércoles 14/4 (Kler y Pucheta): a las 10 hs.

  • [07-04-10, 09:40] Fecha del Primer Parcial: VIERNES 16 de ABRIL a las 14:45 hs en el Aula 9. Instrucciones:
    • Concurrir con Libreta Universitaria o documento único para acreditar identidad.
    • Presentarse 15' antes (14:30 hs).
    • Temas de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
      • Sec. 1.1 (Lógica, pág. 1). Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos. Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Traducción de frases del lenguaje natural. Juegos de lógica. Lógica y operaciones de bits. Omitir: "especificaciones del sistema" y "búsquedas booleanas".
      • Sec. 1.2 (Equivalencias Proposicionales, pág. 19). Def. 1-2, tablas 5-7, ejemplos 1-6.
      • Sec. 1.3 (Predicados y Cuantificadores, pág. 26). Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll" y "programación lógica".
      • Sec. 1.4 (Cuantificadores Anidados, pág. 40). Ejemplos 1-9. Negaciones de cuantificadores anidados: ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16, tabla 1 y algoritmos (visto en la teoría).
      • Sec. 1.5 (Métodos de Demostración, pág. 52), Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos y por equivalencia, ejemplos 14-25. Teoremas y cuantificadores: demostraciones de existencia y de unicidad. Contraejemplos, ejemplos 28, 29, 30. Errores en las demostraciones: ejemplos 31-35.Omitir ejemplos 26-27.
      • Sec. 1.6 (Conjuntos, pág. 71), Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16.
      • Sec. 1.7 (Operaciones con Conjuntos, pág. 79). Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Opcional: "representación de conjuntos en un ordenador".
      • Sec. 1.8 (Funciones, pág. 90). Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13. Funciones inversas y composición de funciones: def. 9-10, ejemplos 14-18. Gráfica de una función: def. 11. Algunas funciones importantes: parte entera (piso) y parte entera por exceso (techo), ejemplos 21-25, tabla 1.
      • Sec. 3.2 (Sucesiones y Sumatorias, pág. 210). Sucesiones: def. 1-3, ejemplos 1-4. Sucesiones especiales de enteros: ejemplos 4-8. Sumatorias: teor. 1, ejemplos 9-15, tabla 2. Cardinal: def. 4-5, ejemplo 18, omitir ejemplos 19-20.
      • Sec. 3.3 (Inducción Matemática, pág. 222). Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden" y los ejemplos 11-14.
  • [18-03-10, 09:15] Estamos buscando a alguna persona interesada en desarrollar una pasantía en el CIMEC para la administración del sitio de OCS. El OCS es un sistema para administrar congresos. <a target="_blank" href="http://pkp.sfu.ca/?q=ocs">http://pkp.sfu.ca/?q=ocs</a>. Interesados contactar a Mario Storti (mario.storti)(at)(gmail)(dot)(com), responsable de la cátedra AED. Es deseable que el postulante tenga conocimientos de:
    • administración de páginas web (Apache)
    • PHP
    • MYSQL

  • [17-03-10, 07:00] Los capítulos del texto base ROSEN, 5ta edición en español, son los siguientes: 1 (lógica, demostraciones, conjuntos y funciones), 3 (razonamiento, inducción y recursión), 4 (conteo), 6 (técnicas avanzadas de conteo), 7 (relaciones), 8 (grafos), 9 (árboles) y 11 (modelos de computación). Chequear buena calidad en las zonas sombreadas con grises.

  • [04-12-09, 12:00]. Atención:
    • Los alumnos promocionados ineludiblemente deberán inscribirse en un llamado a examen final para que les pasemos la nota.
    • Los dos próximos llamados de diciembre serán los Jueves 10/12 y 17/12 a las 16 hs.

  • [04-12-09, 11:00]. Novedades:
    • Los alumnos que deseen rendir el Globalizador, para promocionar o mejorar la nota de promoción, pueden hacerlo sin detrimento de la nota actual.
    • Las condiciones de regularidad o promoción se han enviado por email por el Noti-TC.
    • Gloablizador: sábado 05/12/09 en el Aula 9 a las 9 hs.

  • [26-11-09, 17:50] Novedades:
    • Además del temario detallado en cada Sec. incluir todos los temas vistos en clase: algoritmos, ejemplos, enunciados y/o demostraciones.
    • Listado actualizado de ejercicios (ahora cap. 6, 7, 8 y 9) (Rosen K.H., "Matemática Discreta y sus Aplicaciones", 5ta edición, 2004) para las prácticas:
      • Sec. 6.1: 01-17, 23-25.
      • Sec. 6.2: 1-4, 7-9, 11-15, 18-20, 23-37,45-47.
      • Sec. 7.1: 1-23, 40-45.
      • Sec. 7.3: 1-10, 18-32.
      • Sec. 8.1: 10, 25-27.
      • Sec. 8.2: 1-6, 18-37, 41-44, 46.
      • Sec. 8.3: 5-18, 22-25, 32, 34-47, 49, 54-57.
      • Sec. 8.4: 1-6, 15-18, 20, 37-43.
      • Sec. 8.5: 1-11, 13-15,26-48, 65
      • Sec. 8.6: 2, 3, 6-20, 26-28.
      • Sec. 9.1: 1-8, 11a, 12a, 13a, 14-17,24-26, 32.
      • Sec. 9.2: 1-12.
      • Sec. 9.3: 7-25.
      • Sec. 9.4: 1-25.
      • Sec. 9.5: 1-9.
    • Documento tc-recur1.pdf con los teoremas 3 y 4 de la sección 6.2 (pág. 388-389) del Rosen.

  • [16-11-09, 15:00]
    • Temario de la teoría siguiendo el texto (Rosen K.H., "Matemática Discreta y sus Aplicaciones", 5ta edición, 2004):
      • Parcial 3: cap. 6-8, excluir cap. 5.
      • Globalizador: cap. 1-9, excluir cap. 5.
      • Exámenes Finales: cap. 1-9 y 11, excluir cap. 5 y 10.
    • Temario detallado cap. 5-9, 11. Excepto que se excluya expresamente o que no aparezca en el texto, incluir las demostraciones en teor. y corolarios.
      • Cap. 6 (pág. 373)
        • Sec. 6.1 Relaciones de Recurrencia (RR) [pág. 373]. Intro: def. 1, ejemplos 1-2; modelos con RR: ejemplos 3-8.
        • Sec. 6.2: Solución de las RR (pág. 384). Intro: def. 1, ejemplos 1-2. Resolución de RR lineales de Coeficientes Constantes (RRLCC) homogéneas: teor. 1-4, ejemplos 3-8. RRLCC no-homogéneas: teor. 5-6, ejemplo 9-13.
        • Sec. 6.3 (pág. 396): excluir.
        • Sec. 6.4 (pág. 405): excluir.
        • Sec. 6.5 Principio de Inclusión-Exclusión (PIE, pág. 430). El PIE, enunciado del teor. 1, ejemplos 1-5.
        • Sec. 6.6 Aplicaciones del PIE (pág. 426). Forma alternativa del PIE: sólo el ejemplo 1. Excluir el resto.
      • Cap. 7 (pág. 439):
        • Sec. 7.1 Relaciones y sus propiedades (pág. 439). Intro>: def. 1, ejemplos 1, 3. Relaciones en un conjunto: def. 2, ejemplos 4-6. Propiedades de las relaciones: def. 3-5, ejemplos 7-16. Combinación de relaciones: def. 6-7, teor. 1, ejemplos 17-22.
        • Sec. 7.2 Relaciones n-arias y sus aplicaciones (pág. 449): excluir.
        • Sec. 7.3 Representaciones de relaciones (pág. 456). Usando matrices: ejemplos 1-6. Usando grafos dirigidos (o digrafos): def. 1, ejemplos 7-10.
        • Sec. 7.4 Cierre de relaciones (pág. 463): excluir.
        • Sec. 7.5 Relaciones de equivalencia (pág. 473). Def. 1, ejemplos 1-4. Clases de equivalencia: def. 2, ejemplos 5-6. Clases de equivalencia y particiones: teor. 1, teor. 2, ejemplos 8-9.
        • Sec. 7.6 Ordenes parciales (pág. 481). Intro: def. 1-3, ejemplos 1-6, excluir: def. 4, teor. 1 y ejemplo 7. Excluir "orden lexicográfgico" (toda la subsección).
      • Cap. 8 (pág. 503). En este cap. excluir todo lo referido a grafos dirigidos (o digrafos):
        • Sec. 8.1 Intro a grafos (pág. 503): def. 1-3. "Modelos con grafos": cultural.
        • Sec. 8.2 Terminología en grafos (pág. 511). Def. 1-2, def. vértice aislado y hoja, teor. 1, ejemplos 1-2. Excluir def. 3-4 y teor. 3. Familias distinguidas de grafos simples: ejemplos 4-7, cosntrucción de Q_{n+1} a partir de Q_n. Grafos bipartitos: def. 5, ejemplos 8-11. "Aplicaciones de grafos especiales": cultural. Grafos definidos a partir de otros: def. 6-7, ejemplos 14-15.
        • Sec. 8.3 Representación de grafos e isomorfismo de grafos (pág. 521). Matrices de adyacencia y de incidencia, ejemplos 1, 3, 5, 6, 7, excluir ejemplo 2. Isomorfismo de grafos: def. 1, ejemplos 8-11.
        • Sec. 8.4 Conexión (pág. 531). Caminos: def. 1 y ejemplo 1 (excluir def. 2), ejemplos 2-4: cultural. Conexión en grafos: def. 3, teor. 1, ejemplos 5, 6, 8, excluir ejemplo 7. Conexión en digrafos: excluir def. 4-5 y ejemplos 9-10, ejemplo 11: cultural. Caminos e isomorfismo: ejemplos 12-13. El números de caminos entre 2 vértices: teor. 2, ejemplo 14.
        • Sec. 8.5 Caminos eulerianos y hamiltonianos (pág. 540). Caminos y circuitos eulerianos: def. 1, ejemplos 1-2. Condiciones necesarias y suficientes para la existencia de circuitos y caminos eulerianos, teor. 1-2, ejemplos 3-4, excluir algoritmo 1. Caminos y circuitos hamiltonianos: def. 2, ejemplos 5-7, excluir teor. 3-4, ejemplo 8: cultural.
        • Sec. 8.6 Caminos de longitud mínima (pág. 554). Algoritmo de Dijkstra: ejemplo 2, enunciados teor. 1-2, algoritmo 1, excluir ejemplo 1. El Problema del Agente de Viajes (PAV): leer.
        • Sec. 8.7 Grafos planos (pág. 564). Intro: def. 1, ejemplos 1-3. Fórmula de Euler: teor. 1 (enunciado), corolarios 1-3, ejemplos 4-6. Teor. de Kuratowski: teor. 2, ejemplos 7-8.
        • Sec. 8.8 Coloreado de grafos (cpág. 573). Intro: def. 1-2, teor. 1, ejemplo 1-4. Aplicaciones del coloreado de grafos: excluir.
      • Cap. 9 (pág. 589):
        • Sec. 9.1 Intro a árboles (pág. 589). Intro: def. 1-3, teor. 1, ejemplo 1-4. Arboles como modelos: cultural. Propieades de árboles. Teor. 2-5, corolario 1.
        • Sec. 9.2 Aplicaciones de árboles (pág. 601): cultural.
        • Sec. 9.3 Recorridos en árboles (pág. 615). Algoritmos de recorrido: def. 1-3, ejemplos 2-4, algoritmos 1-3. Notación infija, prefija y postfija, ejemplos 5-10.
        • Sec. 9.4 Arboles generadores (o de expansión) [pág. 628]. Intro: def. 1, teor. 1, ejemplo 2. Búsqueda en profundidad y a lo ancho: ejemplos 3-5, algoritmo 1-2. Aplicaciones de la vuelta atrás: ejemplos 6-8. Búsqueda en profundidad en grafos dirigidos: ejemplo 10 (cultural), excluir el resto.
        • Sec. 9.5 Arboles generadores mínimos (pág. 641). Intro: def. 1, algoritmo de Prim y de Kruskal (algor. 1-2), ejemplos 1-3.
      • Cap. 11 (pág. 689):
        • Sec. 11.1 Lenguajes y gramáticas (pág. 689). Gramáticas con estructura de frases: def. 1-4, ejemplos 1-7. Tipos de gramáticas con estructura de frases, ejemplos 8-10. Arbol de derivción: ejemplos 11-12. La forma de Backus-Naur: excluir.
        • Sec. 11.2 Máquinas de estado finito con salida (pág. 700): def. 1, ejemplos 1-6.
        • Sec. 11.3 Máquinas de estado finito sin salida (pág. 706): def. 1-4, enunciado teor. 1, ejemplos 1-9.
        • Sec. 11.4 Reconocimiento de lenguajes (pág. 713): def. 1, ejemplo 1, teor. 1 hasta la parte 3 de la demostración, ejemplo 2, enunciado teor. 2, ejemplos 3-4. Un conjunto no-reconocido por un autómata finito: excluir. Tipos de máquinas más potentes: leer.
        • Sec. 11.5 Máquinas de Turing (pág. 722): def. 1, ejemplo 1. La tesis de Church-Turing.

  • [14-11-09, 12:00] Está disponible el tc-recur1.pdf con los teoremas 3 y 4 de la sección 6.2 (pág. 388-389) del Rosen.

  • [11-11-09, 12:00] Fechas y horarios de las próximas evaluaciones (único horario para ambas comisiones de práctica):
    • Tercer Parcial: Martes 01 de Diciembre en el Aula 9 a las 18 hs. Temas: hasta grafos.
    • Globalizador: Sábado 05 de Diciembre en el Aula 9 a las 08 hs. Temas: hasta árboles.

  • [20-10-09, 12:50] Se completó las Sec. 2.4-2.6 y 4.4 del listado de ejercicios (cap. 2, 3, 4).

  • [15-10-09, 14:00] Se amplió el listado de ejercicios (cap. 3 y 4).

  • [08-10-09, 13:00] Listado de ejercicios (cap. 2, 3, 4) (Rosen K.H., "Matemática Discreta y sus Aplicaciones", 5ta edición, 2004) para las prácticas:
    • Sección 2.4: 01-14, 16-19, 21-22, 36-39, 42,45.
    • Sección 2.5: 01-12.
    • Sección 2.6: 03-8, 11-12,15,18-19,25-29,36-39.
    • Sección 3.2: 05-10, 13-16, 19-24.
    • Sección 3.3: 01-10, 12-18, 20-23, 25-29, 36, 60, 61.
    • Sección 3.4: 01-16, 23-31.
    • Sección 3.5: 01-05, 10-17, 20-24, 29-30.
    • Sección 4.1: 01-22, 24-33, 37, 40-43.
    • Sección 4.2: 01-19, 24-25, 29-36, 40.
    • Sección 4.3: 01-24,26-28, 30-42.
    • Sección 4.4: 01-13, 15, 17, 19-25, 27-30, 32-38.

  • [07-10-09, 12:00] Novedades:
    • Se completó el temario de la teoría incluyendo ahora las Sec. del Cap. 4.
    • Fecha del Segundo Parcial: Jueves 29 de Octubre a las 18 hs (único horario para ambas comisiones de práctica);
    • Temas de la 5ta edición del texto Rosen ("Matemática discretas y sus aplicaciones"): Cap. 2 (los fundamentos: algoritmos, números enteros y matrices), 3 (razonamiento matemático, inducción y recursividad), 4 (recuento), tanto lo indicado en la practica como en el temario de la teoría.

  • [05-10-09, 07:10] Temario de la teoría actual siguiendo el texto (Rosen K.H., "Matemática Discreta y sus Aplicaciones", 5ta edición, 2004):
    • Sec. 2.4 Enteros y División (pág. 140):
      • División (pág. 141): definic. 1, ejemplos 1-2, teor. 1, corol. 1.
      • Números Primos (pág. 142): definic. 2, ejemplo 3,, teor. 2, ejemplo 4, teor. 3, ejemplos 5-6, teor. 4 (la demostrac. del Johnsonbaugh-6ta. es quizás más clara), ejemplo 7, teor. 5.
      • El Algoritmo de la División (pág. 145): teor. 6, definic. 3, ejemplos 8-9.
      • Máximo Común Divisor y Mínimo Común Múltiplo (pág. 146): definiciones 4-7, ejemplos 10-15, teorema 7.
      • Aritmética Modular (pág. 148): definic. 8, ejemplos 16-17, teoremas 8-10.
      • Aplicaciones de las Congruencias (pág. 150): ejemplos 18-21.
    • Sec. 2.5 Enteros y Algoritmos (pág. 155):
      • El Algoritmo de Euclides (pág. 163): lema 1, algor. 6, ejemplo 12.
    • Sec. 2.6 Aplicaciones de la teoría de Números (pág. 167)
      • Algunos Resultados Utiles (pág. 167): teoremas 1-2, lemas 1-2, ejemplos 1-2.
      • Congruencias Lineales (pág. 169): teorema 3, ejemplos 3-4.
      • Teorema Chino del Resto (pág. 171): teorema 4, ejemplos 5-6.
      • Aritmética Computacional con Números Grandes (pág. 172): omitir.
      • Pseudoprimos (pág. 173): teorema 5, definiciones 1-2, ejemplos 9-10.
      • Criptografía de Clave Pública (pág. 175): incluir.
      • Cifrado RSA (pág. 176): intro y ejemplo 11.
      • Descifrado RSA (pág. 177): intro y ejemplo 12.
      • RSA como Sistema de Clave Pública (pág. 178): incluir.
    • Sec. 2.7 Matrices
      • Introducción (pág. 181): omitir.
      • Aritmética Matricial (pág. 182): omitir.
      • Algoritmos para Multiplicar Matrices (pág. 184): omitir.
      • Matrices Booleanas (pág. 186): definiciones 8-10, algoritmo 2, ejemplos 9-12.
    • Sec. 3.1 Estrategias de Demostración, sólo incluir:
      • Estrategias de Demostración (pág. 200):
        • Razonamiento hacia adelante y hacia atrás: intro y ejemplos 1-2.
        • Demostración por casos: intro pero omitir ejemplos 2-4.
        • Adaptación de demostraciones conocidas: intro pero omitir ejemplo 6.
      • Conjetura y Demostración (pág. 203): intro, teor 1. (enunciado) pero omitir ejemplos 6-7.
      • Conjetura y Contraejemplos (pág. 294): ejemplos 8-9.
      • Problemas Abiertos (pág. 205): teor. 2, ejemplos 10-13.
    • Sec. 3.2 Sucesiones y Sumatorias:
      • Sucesiones (pág. 210): definiciones 1-3, ejemplos 1-4.
      • Sucesiones Especiales de Enteros (pág. 211): ejemplos 5-8, uso de la tabla 1.
      • Sumatorias (pág. 212): teor. 1, uso de la tabla 2, ejemplos 9-15 pero omitir ejemplos 16-17.
      • Cardinal: definición 4-5, ejemplo 18 pero omitir ejemplos 19-20.
    • Sec. 3.3 Inducción Matemática:
      • Inducción Matemática (pág. 223): enunciado y notación.
      • Ejemplos de Demostración por Inducción (pág. 224): ejemplos 1-10 pero omitir ejemplos 11-12.
      • Inducción Fuerte (pág. 232): enunciado, notación, ejemplos 14-15.
      • La Propiedad del Buen Orden (pág. 234): omitir.
    • Sec. 3.4 Definiciones Recursivas e Inducción Estructural:
      • Funciones Definidas Recursivamente (pág. 239): definición inductiva, definición 1, ejemplos 1-6 pero omitir teor. 1.
      • Conjuntos y Cadenas Definidas Recursivamente (pág. 243): definiciones 2-3, ejemplos 7-9, definiciones 4-6, pero omitir ejemplos 10-11.
      • Inducción Estructural: enunciado, definición 7, teore. 2, ejemplo 12, pero omitir: ejmeplos 13-14 así como "ejemplos de demostraciones que utilizan inducción estructural".
      • Inducción Generalizada: omitir.
    • Sec. 3.5 Algoritmos Recursivos:
      • Introducción (pág. 255): definic. 1, algoritmos 1-5, pero omitir ejemplo 3.
      • Recursión e Iteración (pág. 258): algoritmos 6-9.
      • La Ordenación por Mezcla (pág. 269): sólo lo visto en la práctica.
    • Sec. 3.6 Verificación de Programas: omitir.
    • Sec. 4.1 Fundamentos de combinatoria:
      • Principios básicos (pág. 280): reglas del producto y de la suma para n tareas (definiciones, definiciones en términos de conjuntos), ejemplos 1-6 pero omitir ejemplo 7.
      • Problemas de recuento más complicados (pág. 283): omitir ejemplos 8-12.
      • El principio de inclusión-exclusión (pág. 285): intro, ejemplo 16.
      • Diagramas en árbol (pág. 286): intro, ejemplos 17-19 (hay una incompatibilidad entre el texto del ejemplo 19 y la fig. 4.)
    • Sec. 4.2 Principios del Palomar (PP):
      • Introducción (pág. 290): teor. 1, ejemplos 1-4.
      • El PP generalizado (pág. 291): teor. 2, ejemplos 5-9.
      • Algunas aplicaciones elegantes del PP (pág. 293): ejemplos 10-11, 13 pero omitir teorema 3 y ejemplo 12.
    • Sec. 4.3 Permutaciones y combinaciones:
      • Permutaciones (pág. 297): definición, teorema 1, ejemplos 1-5.
      • Combinaciones (pág. 299): definición, teor. 2, corolario 1, definición 1, ejemplos 6-11.
    • Sec. 4.4 Coeficientes binomiales:
      • El teorema del binomio (pág. 303): teorema 1, corolarios 1-3, ejemplos 1-4.
      • El triángulo y la identidad de Pascal (pág. 306): teorema 2.
      • Algunas otras identidades entre coeficientes binomiales (pág. 307): teor. 3 y corolario 4 pero omitir teor. 4.
    • Sec. 4.5 Permutaciones y combinaciones generalizadas:
      • Permutaciones y combinaciones con repetición (pág. 311): teor. 1-2, ejemploa 1-7.
      • Permutaciones con objetos indistinguibles (pág. 315): teor. 3-4, tabla 1, ejemplos 8-9.
    • Sec. 4.6 Generación de permutaciones y combinaciones: omitir.

  • [10-09-09, 11:45] Listado completo de ejercicios del cap. 1 (Rosen K.H., "Matemática Discreta y sus Aplicaciones", 5ta edición, 2004) para las prácticas:
    • Sección 1.5 (pág. 67): 17-30, 36-45, 48-59, 64, 65,70,71, 73, 74, 77.
    • Sección 1.6 (pág. 78): 01-28.
    • Sección 1.7 (pág. 87): 03-23,40-46.
    • Sección 1.8 (pág. 99): 01-13, 16-23, 25-33, 40-49, 61-88.

  • [07-09-09, 11:55] Novedades:
    • Fecha del Primer Parcial: Jueves 17 de Septiembre a las 18 hs (único horario para ambas comisiones de práctica);
    • Temas de la 5ta edición del texto Rosen ("Matemática discretas y sus aplicaciones"): Sec. 1.1 (lógica), 1.2 (equivalencias proposicionales), 1.3 (predicados y cuantificadores), 1.4 (cuantificadores anidados), 1.5 (métodos de demostración), 1.6 (conjuntos), 1.7 (operaciones con conjuntos), y 1.8 (funciones), tanto lo indicado en la practica como en la teoría.

  • [31-08-09, 7:10] Listado de ejercicios (Rosen K.H., "Matemática Discreta y sus Aplicaciones", 5ta edición, 2004) para las comisiones de práctica:
    • Sección 1.1 (pág. 14): 01-12, 14, 20, 23-31, 33-34, 40, 42, 51-60.
    • Sección 1.2 (pág. 24): 01-29, 34-36.
    • Sección 1.3 (pág. 36): 01-27, 30-35, 41-43, 46-47, 55-58.
    • Sección 1.4 (pág. 47): 08-18, 26-28, 30-42.

  • [25-08-09, 7:20]. Por pedidos varios se actualizó el listado para las comisiones de práctica, Martes y Jueves (Comisión 1: de 17:30 a 19:00 hs; Comisión 2: de 19:00 a 20:30 hs), http://venus.ceride.gov.ar/~mstorti/notas4.cgi

  • [22-08-09, 16:20]
    • Está el listado para las comisiones de práctica, Martes y Jueves (Comisión 1: de 17:30 a 19:00 hs; Comisión 2: de 19:00 a 20:30 hs), http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Temario para el control de teoría de la semana del 24 al 28 de agosto (texto Rosen K.H., "Matemática Discreta y sus Aplicaciones", 5ta edición, rústica, Mc Graw Hill, 2004):
      • Sec. 1.1 Lógica (pág. 2). Proposiciones: valor de verdad, proposiciones compuestas, tabla de verdad, operador negación, conectivos lógicos (conjunción, disyunción, o-exclusivo). Implicaciones: definición, recíproca, contrarrecíproca e inversa, bicondicional. Precedencia de operadores lógicos, búsquedas booleanas. Lógica y operaciones con bits: cadena de bits, operaciones bit OR, AND y XOR [Excluir: traducción de frases del lenguaje natural, especificaciones del sistema y juegos de lógica].
      • Sec. 1.2 Equivalencias proposicionales (pág. 19). Introducción: tautología, contradicción y contingencia. Equivalencias lógicas: definición, Tablas 6-7 (pág. 22).
      • Sec. 1.3 Predicados y cuantificadores (pág. 26). Introducción: función proposicional y predicado. Cuantificadores: cuantificador universal, cuantificador existencial, variables ligadas, negaciones. Traducción de frases del lenguaje natural al lenguaje formal. Ejemplos de Lewis Carroll [excluir: programación lógica].
      • Sec. 1.4 Cuantificadores anidados (pág. 40). Formalización de sentencias con cuantificadores anidados. Formalización de sentencias en expresiones lógicas. Negación de cuantificadores anidados. El orden de los cuantificadores, tabla 1 (pág. 46). Pensando en los cuantificadores como bucles.

  • [18-08-09 12:00] Cursado especial en el 2do cuatrimestre-2009.
    • PRIMERA CLASE: VIERNES 21 DE AGOSTO A LAS 13 HS EN EL AULA 9.
    • Modalidad: cursado con cupo, con 80 % de asistencia obligatoria tanto en la teoría como en la práctica. No se contemplará superposición de cursado con otras asignaturas.
    • Días y aulas de cursado: los Martes en el "Lab1", los Jueves en el "Aula de Dibujo" y los Viernes en el "Aula 9".
    • Comisión 1: Martes y Jueves de 17:30 a 19:00 hs; Viernes de 13 a 16 hs.
    • Comisión 2: Martes y Jueves de 19:00 a 20:30 hs; Viernes de 13 a 16 hs.

  • [04-08-09, 10:50]
    • Se corrigió el promedio de los tres parciales (como varios lo hicieron notar antes sólo era el promedio de las dos primeras notas.)
    • Para ver el parcial 3: mañana después del horario de finalización del Globalizador.
    • Consultas: hoy a las 15 hs en el Predio CONICET Santa Fe.

  • [08-07-09, 10:00] Las nuevas fechas para el tercer parcial y el globalizador serán las siguientes:
    • Tercer parcial: Lunes 3 de Agosto a las 18 hs;
    • Globalizador: Viernes 7 de Agosto a las 13 hs.
    • Temas: se mantienen sin cambios, tanto lo visto en la práctica como en la teoría.
    • Un par de aclaraciones con respecto a las precisiones no-exhaustivas indicadas antes en esta misma página:
      • "No-exhaustivo", en general, quiere significar que podrían haber detalles que se comentaron en las teorías y/o en las prácticas, o bien que harían falta, o que convendría saberlos, para resolver más fácil alguna cuestión teórica o ejercicio, o bien se presume que ya lo conocen por materias previas.
      • Si en la página aparece "enunciado teorema" entonces sólo va el enunciado y su uso en ejercicios o en otros teoremas, pero si dice "teorema", a secas, entonces incluir también su demostración.

  • [29-06-09, 13:00] Debido al riesgo sanitario y la inminente suspensión de actividades, el tercer parcial y el globalizador quedan SUSPENDIDOS hasta nuevo aviso. Por favor, estén atentos a nuestros avisos ya que ni bien se reinicien las actividades estaremos efectuando dichas evaluaciones.

  • [26-06-09, 12:32] Se cancela la clase de repaso de hoy viernes.

  • [23-06-09, 19:25] Se confirma las siguientes fechas:
    • Tercer parcial: Lunes 29 de Junio a las 18 hs;
    • Globalizador: Viernes 03 de Julio a las 13 hs.
    • Temas: son los que ya fueron indicados, tanto lo visto en la práctica como en la teoría. El Cap. 12 no-entrará en ninguna de estas dos evaluaciones.

  • [23-06-09, 11:47]. Para los alumnos de la comisión de los lunes, la clase práctica de las secciones 9.5, 9.6 y 9.8 se dictará el día jueves de 14:00hs a 16:00hs en el Aula 7 del Laboratorio de Hidráulica (frente a la lancha y los modelos de hidráulica) de la FICH.

  • [18-06-09, 06:50]. Grafos planos: además de lo visto en el texto en Johnsonbaugh, incluir enunciados y demostraciones de los corolarios 1-3 del texto del Rosen (sec. 8.7, pág. 567-569) y que fueron dados en la teoría, Estos corolarios facilitan algunas demostraciones, por ejemplo, que los grafos K5 y K33 no son planos.

  • [09-06-09, 07:40]. Por consultas varias se incluyen precisiones no-exhaustivas para el próximo parcial 3. Excepto por, o bien indicación expresa en contrario, o bien por omisión, entra todo de cada sección:
    • Sec. 8.3 (ciclos de Hamilton, pág. 340): excluir códigos de Gray (ejemplo 8.3.5, teorema 8.3.6 y corolario 8.3.7);
    • Sec. 8.4 (algoritmo de Dijkstra, pág. 347): algoritmo 8.4.1, enunciado teorema 8.4.3, teorema 8.4.5;
    • Sec. 8.5 (representaciones de grafos, pág. 352): teorema 8.5.3;
    • Sec. 8.6 (isomorfismos de grafos, pág. 356): definición 8.6.1, teorema 8.6.4, corolario 8.6.5;
    • Sec. 8.7 (grafos planos, pág. 363): definiciones 8.7.1, 8.7.3 y 8.7.5, enunciado teorema 8.7.7, teorema 8.7.9;
    • Sec. 8.8 (locura instantánea, pág. 369): excluir toda la sección;
    • Sec. 9.1 (intro a árboles, pág. 379): excluir códigos de Huffman;
    • Sec. 9.2 (terminología en árboles, pág. 386): definición, 9.2.1, teorema 9.2.3 y RSP en pág. 391;
    • Sec. 9.3 (árboles de expansión, pág. 392): teorema 9.3.4, algoritmos 9.3.6 y 9.3.7, problema de las n-reinas: darle preferencia a la Fig. 9.3.3 (caso n=4) que es lo que construye el algoritmo 9.3.10;
    • Sec. 9.4 (árboles de expansión mínima, pág. 398): definición 9.4.1, algoritmo 9.4.3, enunciado teorema 9.4.5;
    • Sec. 9.5 (árboles binarios, pág. 403): definición 9.5.1, teoremas 9.5.4 y 9.5.6, definición 9.5.8, excluir algoritmo 9.5.10;
    • Sec. 9.6 (recorridos en árboles, pág. 409): algoritmos 9.6.1, 9.6.3 y 9.6.5;
    • Sec. 9.7 (árboles de decisiones, pág. 414): excluir toda la sección;
    • Sec. 9.8 (isomorfismo de árboles, pág. 420): teorema 9.8.3, definición 9.8.4, teorema 9.8.7, definición 9.8.8, teoremas 9.8.11 y 9.8.12, algoritmo 9.8.13, excluir algoritmo 9.8.14,
    • Sec. 9.9 (árboles de juegos, pág. 414): excluir toda la sección;
    • Cap. 12, pág. 506): después se precisará.

  • [31-05-09, 9:00] Se han incluido los enunciados del parcial 1 del 25/04/09 (en formato PDF).

  • [27-05-09, 15:55]. Por consultas varias se incluyen las siguientes precisiones no-exhaustivas para el próximo parcial 2:
    • Ejemplo 6.1.5 (pp. 223), demostración por conteo del teorema 2.1.6: fue visto en la teoría;
    • Rincón de solución de problemas (pp. 228). seguir la técnica de conteo explicada en el texto a partir de "n" bajos;
    • Ejemplo 6.2.22 (pp. 235), cuadrícula: es un caso particular de lo discutido el Rincón de Solución de Problemas (pp. 240);
    • Teorema 6.6.2 (pp. 261): fue visto en la teoría;
    • Teorema 6.6.5 (pp. 263): entra la demostración;
    • Teorema 6.7.1 (pp. 267): entran ambas demostraciones;
    • Identidades combinatorias: por álgebra y/o por argumento combinatorio;
    • Teorema 6.7.6 (pp. 268), argumento combinatorio: fue visto en la teoría;
    • Teorema 7.2.11 (pp. 294) y 7.2.14 (pp. 297): entran ambas demostraciones;
    • Principio del palomar (pp. 271-273): todo;
    • Ejemplo 8.1.7 (pp. 323), grafos de similitud: leerlo sólo como formación "cultural" que todo programador debería haber oído alguna vez;
    • Ejemplo 8.1.8 (pp. 324), el hipercubo: ídem anterior;
    • Teorema 8.2.17 (pp. 333): entra la demostración;
    • Teorema 8.2.18 (pp. 333): sólo el enunciado;
    • Teorema 8.2.21 (pp. 335): entra la demostración;
    • Corolario 8.2.22 (pp. 335): ídem anterior;
    • Teorema 8.2.23 (pp. 335): ídem anterior;
    • Teorema 8.2.24 (pp. 336): ídem anterior;
    • Algoritmos de la Sec. 7.3 (pp. 305): ninguno (los verán, al menos, en AED);
    • Algoritmos de las Sec. 6.1, 6.2, 6.6, 6.7, 6.8: por una parte interesan aquellos para hacer conteos, ya sea por soluciones directas (e.g. ejemplo 6.6.9), por recursión (e.g. ejemplo 6.2.22), o por conteos obtenidos usando el uso del PS y/o del PM. Por otra parte, también interesan los algoritmos que generen objetos combinatorios (e.g. cadenas de bits) pero NO los de la Sec. 6.3 sino que bastan aquellos que fueron dados en la teoría;
    • Algoritmos para las secciones 7.1, 7.2: notar que las Relaciones de Recurrencia (RR), junto con sus condiciones iniciales, naturalmente conducen a algoritmos recursivos, en uno o más índices. Por otra parte, las soluciones de las RR naturalmente dan lugar a los algoritmos "directos", i.e. aquellos sin recursión ni lazos;
    • Algoritmos para las secciones 8.1 y 8.2: los algoritmos que implementen y/o hagan un chequeo, e.g. si tal o cual propiedad o definición se cumple (o no) en un grafo dado se posponen al tercer parcial pues, antes, hace falta ver la Sec. 8.5.

  • [18-05-09, 17:25] Interesados en ver su parcial 1: será el próximo Jueves 21 de Mayo a las 12 hs en el CIMEC.

  • [14-05-09, 14:35] Novedades:
    • Se confirma fecha ya informada para el Segundo Parcial: SABADO 30 de MAYO a las 8 hs*;
    • Temas: además de los temas ya indicados anteriormente se apregarán las Sec. 8.1 (intro a teoría de grafos), 8.2 (trayectorias y ciclos), tanto lo visto en la practica como en la teoría.

  • [11-05-09, 09:10] Novedades:
    • Teoría: se dictará clases normalmente el día Viernes 15 de Mayo;
    • Fecha del Segundo Parcial: SABADO 30 de MAYO a las 8 hs;
    • Temas: son los ya indicados en el Cronograma siguiendo la sexta edición del libro Johnsonbaugh, Sec. 6.1 (métodos de conteo), 6.2 (permutaciones y combinaciones), 6.6 (permutaciones y combinaciones generalizadas). 6.7 (coeficientes binomiales e identidades combinatorias), 6.8 (principio del palomar), 7.1 (relaciones de recurrencia, 7.2 (solución de las relaciones de recurrencia), tanto lo indicado en la practica como en la teoría.

  • [01-05-09, 21:00]
    • Teoría: se dictarán clases recuperatorias de teoría los días Viernes 10 y Sábado 11 de Mayo.
    • Prácticas: las clases de práctica de los días Lunes 04 y Miércoles 06 de Mayo se cancelan.

  • [30-04-09, 14:00] Es del agrado de los docentes de esta cátedra anunciar la defensa de tesis del profesor Ing. Ezequiel José López, para acceder al título de Doctor en Ingeniería - Mención Mecánica Computacional.
    • Título de la Tesis: "Metodologías para la simulación numérica del flujo de fluidos en motores de combustión interna".
    • Director: Dr. Norberto Nigro. Codirector: Dr. Mario Storti.
    • Jurados:
      • Prof. Dr. Gino Bella, Università di Roma “Tor Vergata” (Italia);
      • Prof. Dr. Gustavo Buscaglia, Centro Atómico Bariloche e Instituto Balseiro (Argentina), e Instituto de Ciências Matemáticas e de Computacão, Universidade de São Paulo (Brasil);
      • Prof. Dr. Néstor Calvo, Facultad de Ingeniería y Ciencias Hídricas, Universidad Nacional del Litoral (Argentina);
      • Prof. Dr. Mario Díaz Terrado, Universidad Nacional de San Juan (Argentina).
    • Acto de Defensa Pública: lunes 4 de mayo de 2009, a la hora 09:30, en la Sala de Conferencias "Prof. Juan C. Alarcón" de la FICH/UNL -Ciudad Universitaria.

  • [18-04-09, 11:00]
    • Primer Parcial: SABADO 25 de ABRIL a las 8 hs en Aulas Magna y 9;
    • Concurrir con libreta universitaria o documento único para acreditar identidad;
    • Temas: son los ya indicados en el cronograma siguiendo la sexta edición del libro Johnsonbaugh, Sec. 1.1-1.5, 1.7 ( cap. 1); 2.1-2.3 ( cap. 2); 3.1-3.3 ( cap. 3), tanto lo dado en la practica como en la teoría.

  • [17-04-09, 10:00] CLASE DE CONSULTA a cargo de Lisandro Dalcin, martes 21 de abril a las 14:00, en FICH (aula 10).

  • [13-04-09, 11:00] CLASE DE CONSULTA a cargo de Lisandro Dalcin, martes 14 de abril a las 14:00, en FICH (aula 10).

  • [06-04-09, 10:10] Novedades:
    • Fecha del Primer Parcial: SABADO 25 de ABRIL a las 8 hs;
    • Temas: son los ya indicados en el Cronograma siguiendo la sexta edición del libro Johnsonbaugh, Sec. 1.1-1.5, 1.7 ( cap. 1); 2.1-2.3 ( cap. 2); 3.1-3.3 ( cap. 3), tanto lo dado en la practica como en la teoría;
    • Están disponibles los horarios de consulta;
    • Se ha incluido el régimen de regularidad y promoción;
    • Está disponible el listado de alumnos pendientes según el listado provisional de Alumnado.

  • [01-04-09, 8:00] Según el Listado Provisional de Alumnado los alumnos listados a continuación están en estado "pendiente". Los mismos deberán quedar como alumnos regulares para poder el rendir el parcial 1.

  • [19-03-09, 8:40] Clase recuperatoria: el Sábado 21 de Marzo de 09-12 hs en el Aula 9 se recuperará la clase del Miércoles 18/3.

  • [25-01-09, 10:00].
    • Próximas consultas. Práctica: los lunes 16/02 y 02/03, ambas a las 19 hs. Teoría: los viernes 30/01, 20/02 y 27/02 a las 15 hs. Todas en el Predio CONICET Santa Fe.
    • Se corrigieron entradas erróneas en el listado de ejercicios de la práctica 2008 detectadas por los alumnos.
    • Por preguntas varias se incluyen las siguientes precisiones con algunos temas en el libro de texto de referencia:
      • Práctica de RSA: sólo para los alumnos libres.
      • Suma con bases arbitrarias (16,8,2), pág. 199-200: sólo la suma en base 2 y 16.
      • Gráficas de similitud (ejemplo 8.1.7, pág. 323): NO entra para nadie.
      • El n-cubo o hipercubo (ejemplo 8.1.8, pág. 324): ídem anterior.
      • Tablas modus-ponens, modus-tolens (figura 1.5.1, pág. 45): sólo habría que saber deducirlas, o bien por razonamiento o bien por tabla de verdad (los nombres de las reglas no interesan). De hecho, algunos ejemplos del libro de esa sección consideran algunas de las entradas más simples de esa tabla.
      • Problema de los trominos (ejemplo 1.7.6, pág. 58): NO entra para nadie.
      • Ciclo invariante (pág. 59): sólo para los alumnos libres en sus ejemplos más simples.
      • Función característica (pág. 101): sólo para los alumnos libres en sus ejemplos más simples. Aquí primero habría que mirar el Rincón de Solución de Problemas (RSP) de la pág. 102-103.
    • Itinerario de repaso de los temas en el libro de texto que entraron en el Parcial 1, en lo que respecta a la teoría, es el siguiente:
      • Cap. 1. Definiciones: 1.1.1, 1.1.3, 1.1.6, 1.1.9, 1.2.1, 1.2.3, 1.2.8, 1.2.10, 1.2.16, 1.3.1, 1.3.4, 1.3.9, 1.5.7, 1.5.20, 1.7.1. Ejemplos: 1.1.2, 1.1.4, 1.1.5, 1.1.7, 1.1.8. 1.1.10-1.1.12, 1.2.2, 1.2.4-1.2.7, 1.2.9, 1.2.11-1.2.15, 1.2.17, 1.3.2, 1.3.3, 1.3.5-1.3.8, 1.3.10-1.3.13, 1.3.15-1.3.18, 1.4.1-1.4.15, 1.5.1, 1.5.6, 1.5.8-1.5.19, 1.5.21-1.5.25, 1.7.2-1.7.7. Teoremas: 1.2.18, 1.3.14. Enunciados: 1.8.5. Sugerencias para resolver problemas: pág. 15, 28, 34, 46, 59. Rincón de solución de problemas pág. 63. Nada de las Sec. 1.6, 1.8.
      • Cap. 2. Definiciones: 2.2.1, 2.2.10, 2.2.16, 2.2.21, 2.2.28, 2.2.34, 2.2.39, 2.2.44, 2.3.11, 2.3.14, 2.3.20, 2.3.26. Teoremas: 2.1.6, 2.1.12. Ejemplos: 2.1.1-2.1.5, 2.1.7-2.1.11, 2.1.13-2.1.18, 2.2.2-2.2.9, 2.2.11-2.2.15, 2.2.17, 2.2.20, 2.2.22-2.2.27, 2.2.29-2.2.33, 2.2.35-2.2.38, 2.2.40-2.2.43, 2.2.45, 2.2.46, 2.2.47, 2.3.1-2.3.10, 2.3.12, 2.3.13, 2.3.15-2.3.19, 2.3.21-2.3.25, 2.3.27. Sugerencias para resolver problemas, pág. 85, 98, 109. Rincón de solución de problemas, pág. 102.
      • Cap. 3. Definiciones: 3.1.1, 3.1.6, 3.1.9, 3.1.12, 3.1.16, 3.1.19, 3.1.22, 3.1.24, 3.2.3, 3.2.9. Teoremas: 3.2.1, 3.2.8, 3.2.15, 3.3.6. Ejemplos: 3.1.2-3.1.5, 3.1.7, 3.1.8, 3.1.10, 3.1.11, 3.1.13-3.1.15, 3.1.17, 3.1.18, 3.1.20, 3.1.23, 3.1.25, 3.2.2, 3.2.4-3.2.7, 3.2.11-3.2.14, 3.3.1-3.3.5, 3.3.7, 3.3.8. Sugerencias para resolver problemas, pág. 122, 128, 136. Rincón de solución de problemas, pág. 131. Nada de la Sec. 3.4.
    • Itinerario de repaso de los temas en el libro de texto que entraron en el Parcial 2, en lo que respecta a la teoría, es el siguiente:
      • Cap. 4: algor. 4.2.4 y 4.3.17 (pero el shuffle como fue visto en la teoría), def. 4.3.2, ejemplos 4.3.3 a 4.3.13, 4.3.16, teor. 4.4.4, tablas 4.3.3 y la que aparece en pág. 168, ejemplos 4.4.1, 4.4.5, 4.4.7, algor. 4.4.2, 4.4.6, teor. 4.4.3. Sugerencias para resolver problemas de la pág. 178.
      • Cap. 5: def. 5.1.1, 5.1.4, 5.1.14, 5.1.19, teor. 5.1.3, 5.1.7, 5.1.12, 5.1.25, 5.2.17, 5.3.2, 5.3.7, enunciados 5.1.11, 5.1.17, 5.1.22, 5.3.6, algor. 5.1.8, 5.2.16, 5.2.19, 5.3.3, ejemplo 5.3.9, cálculo práctico de la encriptación RSA como se vió en la teoría.
      • Cap. 6: principio de la multiplicación y de la suma, el Rincón de Solución de Problemas (RSP) de la pág. 228, def. 6.2.1, 6.2.8, 6.2.15, teor. 6.2.3, 6.2.10, 6.2.17, 6.6.2, 6.6.5, 6.7.1, 6.7.6, ejemplos 6.2.12-6.2.23, 6.6.1-6.6.9, 6.7.2 a 6.7.9, sugerencias para resolver problemas de la pág. 264, el RSP de la pág. 240. Nada de las Sec. 6.3-6.5. Principio del palomar (las 3 formas), ejemplos 6.8.1-6.8.5
      • Cap. 7: def. 7.7.1, ejemplos 7.1.2-7.1.8, 7.2.1-7.2.10, 7.2.13, 7.2.15, teor. 7.2.11, 7.2.14, algor. 7.1.4, sugerencias para resolver problemas de la pág. 298.
    • Itinerario de repaso de los temas en el libro de texto que entraron en el Parcial 3, en lo que respecta a la teoría, es el siguiente:
      • Cap. 8. Definiciones: 8.1.1, 8.1.9, 8.1.11, 8.1.15, 8.2.1, 8.2.4, 8.2.8, 8.2.11, 8.2.14; 8.3, 8.6.1, 8.7.1, 8.7.3, 8.7.5. Ejemplos: 8.2.16, 8.3.1-8.3.4. Teoremas: 8.2.17, 8.2.18, 8.2.21, 8.2.22, 8.2.23, 8.2.24, 8.5.3, 8.7.9. Enunciados: 8.4.5, 8.6.4, 8.6.5, 8.7.7. Algoritmo 8.4.1. Nada de la Sec. 8.8.
      • Cap. 9. Definiciones: 9.1.1, 9.2.1, 9.3.1, 9.4.1, 9.5.1, 9.5.8, 9.8.4, 9.8.8. Teoremas: 9.2.3, 9.5.4, 9.5.6, 9.8.3, 9.8.7, 9.8.11, 9.8.12. Algoritmos 9.3.6, 9.3.7, 9, 4.3, 9.6.1, 9.6.3, 9.6.5, 9.8.13. Ejemplos: 9.8.1, 9.8.2, 9.8.5, 9.8.6, 9.8.9, 9.8.10, Rincón de solución de problemas pág. 391. Nada de: códigos de Huffman, Sec. 9.7 ni 9.9.
    • Itinerario de repaso para el el Cap. 12. Los temas se restringen a las definiciones, propiedades, ejemplos y ejercicios propuestos vistos en la teoría. En particular, la conversión de un Autómata de Estado Finito (AEF) no-determinista a otro AEF determinista que le sea equivalente, dado en el ejemplo 12.5.1. El listado completo de las Sec. es el siguiente: Def. 12.1.4; Ejem. 12.1.5, 12.1.6; Def. 12.1.7, 12.1.8; Ejem. 12.1.9; Def. 12.2.1; Ejem. 12.2.2-12.2.4; Ejem. 12.2.5-12.2.9; Alg. 12.2.10; Def. 12.2.11; Ejem. 12.2.12;Def. 12.3.1; Ejem. 12.3.2; Def. 12.3.3; Ejem. 12.3.4; Def. 12.3.5; Ejem. 12.3.6; Def. 12.3.8; Ejem. 12.3.9; Def. 12.3.10; Ejem. 12.3.11, 12.3.14; Def. 12.3.15; Ejem. 12.3.16; Ejem. 12.4.1; Teor. 12.4.2: NO entra; Ejem. 12.4.3; Def. 12.4.4; Ejem. 12.4.5, 12.4.6; Def. 12.4.7; Ejem. 12.4.8, 12.4.9; Ejem. 12.5.1, 12.5.2: verlos en detalle; Teor. 12.5.3: no entra ni nada de lo que resta en ese Cap.

  • [13-07-08, 19:15]
    • Están las notas del Examen Final del 10/07/08 http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Examen por equivalencia parcial. Ambos alumnos aprobaron: Gonzalo Rodríguez con 6 (aprobado). Pablo Abratte con 8 (muy bueno), pero este último deberá inscribirse en la próxima mesa de examen como alumno libre para pasarle la nota.
    • Se han agregado los enunciados de dicho examen (en formato PDF).

  • [05-07-08, 17:00] Se ha actualizado la Sección con los enunciados de Parciales o exámenes finales tomados previamente (en formato PDF). No se preveen mayores cambios en los próximos exámenes.

  • [04-07-08, 14:00] Próxima consulta: Martes 08/07/08 a las 15 hs en el Predio CONICET Santa Fe.

  • [03-07-08, 7:00] Con pesar comunicamos que el pasado lunes ha fallecido Andrés Rafael Aiassa, quien fuera alumno de primer año de la carrera Ingeniería en Informática. Sus restos fueron inhumados en la localidad de Concordia donde residía, http://www.ellitoral.com/index.php/id_um/31922

  • [01-07-08, 14:00]
    • Para ver los globalizadores: miércoles 02/07/08 a las 12 hs en el Predio CONICET Santa Fe.
    • Está el listado con la situación final de cursado http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Los promovidos deberán inscribirse en una fecha de examen final para que se les pase la nota.

  • [24-06-08, 12:00] Invitación a presenciar una defensa de Tesis.
    • Día y lugar: Jueves 26/6/2008, 16:30hs, en la Sala de Conferencias Prof. Juan Carlos Alarcón de la FICH.
    • Tesis de Doctorado en Ingeniería de la UNL-FICH, mención Mecánica Computacional.
    • Título: "Techniques for High-Performace Distributed Computing in Computational Fluid Mechanics". Tesista Lisandro Dalcín y director Mario Storti (profesores de la materia Algoritmos y Estructuras de Datos).
    • Abstract: "Although a lot of progress has been made in theory as well as practice, the true costs of accessing parallel environments are still largely dominated by software. The number of end-user parallelized applications is still very small, as well as the number of people affected to their development. Engineers and scientists not specialized in programming or numerical computing, and even small and medium size software companies, hardly ever considered developing their own parallelized code. High performance computing is traditionally associated with software development using compiled languages. However, in typical applications programs, only a small part of the code is time-critical enough to require the efficiency of compiled languages. The rest of the code is generally related to memory management, error handling, input/output, and user interaction, and those are usually the most error-prone and time-consuming lines of code to write and debug in the whole development process. Interpreted high-level languages can be really advantageous for these kind of tasks. This thesis reports the attempts to facilitate the access to high-performance parallel computing resources within a Python programming environment. The target audience are all members of the scientific and engineering community using Python on a regular basis as the supporting environment for developing applications and performing numerical simulations. The target computing platforms range from multiple-processor and/or multiple-core desktop computers, clusters of workstations or dedicated computing nodes either with standard or special network interconnects, to high-performance shared memory machines. The net result of this effort are two open source and public domain packages, MPI for Python (known in short as mpi4py) and PETSc for Python (known in short as petsc4py). MPI for Python, is an open-source, public-domain software project that provides bindings of the Message Passing Interface (MPI) standard for the Python programming language. MPI for Python is a general-purpose and full-featured package targeting the development of parallel application codes in Python. Its facilities allow parallel Python programs to easily exploit multiple processors. MPI for Python employs a back-end MPI implementation, thus being immediately available on any parallel environment providing access to any MPI library. PETSc for Python is an open-source, public-domain software project that provides access to the Portable, Extensible Toolkit for Scientific Computation (PETSc) libraries within the Python programming language. PETSc for Python is a general-purpose and full-featured package. Its facilities allow sequential and parallel Python applications to exploit state of the art algorithms and data structures readily available in PETSc. MPI for Python and PETSc for Python packages are fully integrated to PETSc-FEM, an MPI and PETSc based parallel, multiphysics, finite elements code. Within a parallel Python programming environment, this software infrastructure supported research activities related to the simulation of electrophoretic processes in microfluidic chips. This work is part of a multidisciplinary effort oriented to design and develop these devices in order to improve current techniques in clinical analysis and early diagnosis of cancer".

  • [23-06-08, 15:00]
    • Están las notas del Parcial 3 del 18/06/08 http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Se incluye situación actual de cursado. Los que "deben o pueden venir al Globalizador" contempla la necesidad de subir nota ya sea para regularizar, promover o mejorar nota (opcional). En cualquier caso quedarán con las tres mejores de las cuatro notas.
    • Para ver los parciales: martes 24/06/08 de 12 a 13 hs en el Predio CONICET Santa Fe.

  • [21-06-08, 12:30]
    • Globalizador: MIERCOLES 25 de JUNIO a las 14 hs en Aula 9 (o sea, en el horario de la práctica). Los que se presenten se les recomienda presentarse 15' antes (13:45 hs). Los temas son los mismos ya indicados en cada parcial. La excepción es en el Cap. 12 en donde ahora hay que agregar la Sec. 12.3.
    • El globalizador es globalizador independiente de cuál parcial no les fue tan bien. Itinerarios de repaso de los temas que entraron en los parciales 2 y 3, en lo que respecta a la teoría, ya fueron dados oportunamente. Uno correspondiente para el parcial 1 es el siguiente:
      • Cap. 1. Definiciones: 1.1.1, 1.1.3, 1.1.6, 1.1.9, 1.2.1, 1.2.3, 1.2.8, 1.2.10, 1.2.16, 1.3.1, 1.3.4, 1.3.9, 1.5.7, 1.5.20, 1.7.1. Ejemplos: 1.1.2, 1.1.4, 1.1.5, 1.1.7, 1.1.8. 1.1.10-1.1.12, 1.2.2, 1.2.4-1.2.7, 1.2.9, 1.2.11-1.2.15, 1.2.17, 1.3.2, 1.3.3, 1.3.5-1.3.8, 1.3.10-1.3.13, 1.3.15-1.3.18, 1.4.1-1.4.15, 1.5.1, 1.5.6, 1.5.8-1.5.19, 1.5.21-1.5.25, 1.7.2-1.7.7. Teoremas: 1.2.18, 1.3.14. Enunciados: 1.8.5. Sugerencias para resolver problemas: pág. 15, 28, 34, 46, 59. Rincón de solución de problemas pág. 63. Nada de las Sec. 1.6, 1.8.
      • Cap. 2. Definiciones: 2.2.1, 2.2.10, 2.2.16, 2.2.21, 2.2.28, 2.2.34, 2.2.39, 2.2.44, 2.3.11, 2.3.14, 2.3.20, 2.3.26. Teoremas: 2.1.6, 2.1.12. Ejemplos: 2.1.1-2.1.5, 2.1.7-2.1.11, 2.1.13-2.1.18, 2.2.2-2.2.9, 2.2.11-2.2.15, 2.2.17, 2.2.20, 2.2.22-2.2.27, 2.2.29-2.2.33, 2.2.35-2.2.38, 2.2.40-2.2.43, 2.2.45, 2.2.46, 2.2.47, 2.3.1-2.3.10, 2.3.12, 2.3.13, 2.3.15-2.3.19, 2.3.21-2.3.25, 2.3.27. Sugerencias para resolver problemas, pág. 85, 98, 109. Rincón de solución de problemas, pág. 102.
      • Cap. 3. Definiciones: 3.1.1, 3.1.6, 3.1.9, 3.1.12, 3.1.16, 3.1.19, 3.1.22, 3.1.24, 3.2.3, 3.2.9. Teoremas: 3.2.1, 3.2.8, 3.2.15, 3.3.6. Ejemplos: 3.1.2-3.1.5, 3.1.7, 3.1.8, 3.1.10, 3.1.11, 3.1.13-3.1.15, 3.1.17, 3.1.18, 3.1.20, 3.1.23, 3.1.25, 3.2.2, 3.2.4-3.2.7, 3.2.11-3.2.14, 3.3.1-3.3.5, 3.3.7, 3.3.8. Sugerencias para resolver problemas, pág. 122, 128, 136. Rincón de solución de problemas, pág. 131. Nada de la Sec. 3.4.

  • [13-06-08, 18:00] Sobre la teoría en el Cap. 12:
    • En el parcial 3 sólo entrarán las Sec. 12.1 y 12.2;
    • La Sec. 12.3 se agregará desde el Globalizador;
    • La Sec. 12.4 se agregará desde los exámenes de Julio en adelante.

  • [10-06-08, 16:00]
    • Tercer parcial: MIERCOLES 18 de JUNIO a las 14 hs en Aula 9 (o sea, en el horario de la práctica). Se recomienda:
      • Presentarse 20' antes (13:40 hs);
      • Temas: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Cap. 8, 9 y 12 (Sec. 12.1, 12.2 y 12.3), tanto en la práctica como en la teoría.
    • Consulta:viernes 13/06/08 a las 16:30 hs en el Predio CONICET Santa Fe.
    • Sobre el Cap. 12. Los temas se restringen a las definiciones, propiedades, ejemplos y ejercicios propuestos vistos en la teoría. En particular, la conversión de un Autómata de Estado Finito (AEF) no-determinista a otro AEF determinista que le sea equivalente, dado en el ejemplo 12.5.1. El listado completo de las Sec. es el siguiente: Def. 12.1.4; Ejem. 12.1.5, 12.1.6; Def. 12.1.7, 12.1.8; Ejem. 12.1.9; Def. 12.2.1; Ejem. 12.2.2-12.2.4; Ejem. 12.2.5-12.2.9; Alg. 12.2.10; Def. 12.2.11; Ejem. 12.2.12;Def. 12.3.1; Ejem. 12.3.2; Def. 12.3.3; Ejem. 12.3.4; Def. 12.3.5; Ejem. 12.3.6; Def. 12.3.8; Ejem. 12.3.9; Def. 12.3.10; Ejem. 12.3.11, 12.3.14; Def. 12.3.15; Ejem. 12.3.16; Ejem. 12.4.1; Teor. 12.4.2: NO entra; Ejem. 12.4.3; Def. 12.4.4; Ejem. 12.4.5, 12.4.6; Def. 12.4.7; Ejem. 12.4.8, 12.4.9; Ejem. 12.5.1, 12.5.2: verlos en detalle; Teor. 12.5.3: no entra ni nada de lo que resta en ese Cap.

  • [26-05-08, 16:55] Varios
    • Aviso: la restricción de tener una nota piso de 30 ptos excepcionalmente se la suspende a partir del segundo parcial. O sea, tanto los que faltaron al parcial 2 como los que sacaron menos de 30 ptos en ese parcial, estarán habilitados para rendir el parcial 3. De todas maneras deberán recuperar en el Globalizador.
    • Están las notas del Parcial 2 del 12/05/08 http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Un itinerario para el repaso. Un primer listado de los temas hasta ahora vistos en el libro de texto, en lo que respecta a la teoría, es el siguiente:
      • Cap. 8. Definiciones: 8.1.1, 8.1.9, 8.1.11, 8.1.15, 8.2.1, 8.2.4, 8.2.8, 8.2.11, 8.2.14; 8.3, 8.6.1, 8.7.1, 8.7.3, 8.7.5. Ejemplos: 8.2.16, 8.3.1-8.3.4. Teoremas: 8.2.17, 8.2.18, 8.2.21, 8.2.22, 8.2.23, 8.2.24, 8.5.3, 8.7.9. Enunciados: 8.4.5, 8.6.4, 8.6.5, 8.7.7. Algoritmo 8.4.1. Nada de la Sec. 8.8.
      • Cap. 9. Definiciones: 9.1.1, 9.2.1, 9.3.1, 9.4.1, 9.5.1, 9.5.8, 9.8.4, 9.8.8. Teoremas: 9.2.3, 9.5.4, 9.5.6, 9.8.3, 9.8.7, 9.8.11, 9.8.12. Algoritmos 9.3.6, 9.3.7, 9, 4.3, 9.6.1, 9.6.3, 9.6.5, 9.8.13. Ejemplos: 9.8.1, 9.8.2, 9.8.5, 9.8.6, 9.8.9, 9.8.10, Rincón de solución de problemas pág. 391. Nada de: códigos de Huffman, Sec. 9.7 ni 9.9.

  • [10-05-2008 12:50] Durante la promoción se dará énfasis a las definiciones, propiedades, teoremas, algoritmos, ejemplos y ejercicios propuestos y/o vistos en la teoría y en la práctica. Un primer listado del libro de texto en lo que respecta a la teoría es el siguiente.
    • Cap. 4: algor. 4.2.4 y 4.3.17 (pero el shuffle como fue visto en la teoría), def. 4.3.2, ejemplos 4.3.3 a 4.3.13, 4.3.16, teor. 4.4.4, tablas 4.3.3 y la que aparece en pág. 168, ejemplos 4.4.1, 4.4.5, 4.4.7, algor. 4.4.2, 4.4.6, teor. 4.4.3. Sugerencias para resolver problemas de la pág. 178.
    • Cap. 5: def. 5.1.1, 5.1.4, 5.1.14, 5.1.19, teor. 5.1.3, 5.1.7, 5.1.12, 5.1.25, 5.2.17, 5.3.2, 5.3.7, enunciados 5.1.11, 5.1.17, 5.1.22, 5.3.6, algor. 5.1.8, 5.2.16, 5.2.19, 5.3.3, ejemplo 5.3.9, cálculo práctico de la encriptación RSA como se vió en la teoría.
    • Cap. 6: principio de la multiplicación y de la suma, el Rincón de Solución de Problemas (RSP) de la pág. 228, def. 6.2.1, 6.2.8, 6.2.15, teor. 6.2.3, 6.2.10, 6.2.17, 6.6.2, 6.6.5, 6.7.1, 6.7.6, ejemplos 6.2.12-6.2.23, 6.6.1-6.6.9, 6.7.2 a 6.7.9, sugerencias para resolver problemas de la pág. 264, el RSP de la pág. 240. Nada de las Sec. 6.3-6.5. Principio del palomar (las 3 formas), ejemplos 6.8.1-6.8.5
    • Cap. 7: def. 7.7.1, ejemplos 7.1.2-7.1.8, 7.2.1-7.2.10, 7.2.13, 7.2.15, teor. 7.2.11, 7.2.14, algor. 7.1.4, sugerencias para resolver problemas de la pág. 298.

  • [05-05-08, 12:00]
    • Segundo parcial: LUNES 12 de MAYO a las 10:00hs en Aulas 2-4 (a confirmar). Se recomienda:
      • Concurrir con libreta universitaria o documento único para acreditar identidad;
      • Presentarse 20' antes (9:40 hs);
      • Llevar calculadora;
      • Temas: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Cap. 4-7, tanto la práctica como la teoría.
    • Clases de consulta (ssarraf y elopez): serán los días martes alternados de 14:30 a 16:30 hs en el CIMEC re-empezando este martes 06/Mayo. Clases de consulta (jdelia): viernes 16 hs. Recordar que las clases de consultas se levantarán si no hay alumnos después de 15 min. de iniciado el horario.

  • [22-04-08 8:30]

  • [31-03-08, 14:00] Primer parcial: LUNES 7 de ABRIL a las 10:00hs en Aulas 2-4 (a confirmar). Se recomienda:
    • Concurrir con libreta universitaria o documento único para acreditar identidad;
    • Presentarse 20' antes (9:40 hs);
    • Temas: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Cap. 1-3, tanto la práctica como la teoría.
    • Obsv.: las respuestas no justificadas no tendrán puntaje.

  • [17-03-08, 14:30]
    • Fecha del Parcial 1: LUNES 7 de ABRIL a las 10 hs en Aula a confirmar.
    • Alumnos que empezaron con el Plan Nuevo (rectificación): la Secretaría de Coordinación confirma que para poder cursar TC basta tener la regularidad en las materias 1 y 7 del plan de estudio que son "Matem. Básica" y "Prog. Orientada a Objetos", respectivamente. De todos modos, para poder rendir el Parcial 1, deben asegurarse de aparecer en el Listado de Alumnado en caso contrario no serán admitidos.

  • [13-03-2008, 13:40] Próximas clases de teoría:
    • Viernes 14 Marzo: se dicta como estaba previsto en su horario habitual.
    • Lunes 17 Marzo (recuperatoria): de 10 a 13 hs en aula a determinar. Desde ese clase hasta nuevo aviso se volverá a los viernes.

  • [13-07-08, 19:15]
    • Están las notas del Examen Final del 10/07/08 http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Examen por equivalencia parcial. Ambos alumnos aprobaron: Gonzalo Rodríguez con 6 (aprobado). Pablo Abratte con 8 (muy bueno), pero este último deberá inscribirse en la próxima mesa de examen como alumno libre para pasarle la nota.
    • Se han agregado los enunciados de dicho examen (en formato PDF).

  • [05-07-08, 17:00] Se ha actualizado la Sección con los enunciados de Parciales o exámenes finales tomados previamente (en formato PDF). No se preveen mayores cambios en los próximos exámenes.

  • [04-07-08, 14:00] Próxima consulta: Martes 08/07/08 a las 15 hs en el Predio CONICET Santa Fe.

  • [03-07-08, 7:00] Con pesar comunicamos que el pasado lunes ha fallecido Andrés Rafael Aiassa, quien fuera alumno de primer año de la carrera Ingeniería en Informática. Sus restos fueron inhumados en la localidad de Concordia donde residía, http://www.ellitoral.com/index.php/id_um/31922

  • [01-07-08, 14:00]
    • Para ver los globalizadores: miércoles 02/07/08 a las 12 hs en el Predio CONICET Santa Fe.
    • Está el listado con la situación final de cursado http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Los promovidos deberán inscribirse en una fecha de examen final para que se les pase la nota.

  • [24-06-08, 12:00] Invitación a presenciar una defensa de Tesis.
    • Día y lugar: Jueves 26/6/2008, 16:30hs, en la Sala de Conferencias Prof. Juan Carlos Alarcón de la FICH.
    • Tesis de Doctorado en Ingeniería de la UNL-FICH, mención Mecánica Computacional.
    • Título: "Techniques for High-Performace Distributed Computing in Computational Fluid Mechanics". Tesista Lisandro Dalcín y director Mario Storti (profesores de la materia Algoritmos y Estructuras de Datos).
    • Abstract: "Although a lot of progress has been made in theory as well as practice, the true costs of accessing parallel environments are still largely dominated by software. The number of end-user parallelized applications is still very small, as well as the number of people affected to their development. Engineers and scientists not specialized in programming or numerical computing, and even small and medium size software companies, hardly ever considered developing their own parallelized code. High performance computing is traditionally associated with software development using compiled languages. However, in typical applications programs, only a small part of the code is time-critical enough to require the efficiency of compiled languages. The rest of the code is generally related to memory management, error handling, input/output, and user interaction, and those are usually the most error-prone and time-consuming lines of code to write and debug in the whole development process. Interpreted high-level languages can be really advantageous for these kind of tasks. This thesis reports the attempts to facilitate the access to high-performance parallel computing resources within a Python programming environment. The target audience are all members of the scientific and engineering community using Python on a regular basis as the supporting environment for developing applications and performing numerical simulations. The target computing platforms range from multiple-processor and/or multiple-core desktop computers, clusters of workstations or dedicated computing nodes either with standard or special network interconnects, to high-performance shared memory machines. The net result of this effort are two open source and public domain packages, MPI for Python (known in short as mpi4py) and PETSc for Python (known in short as petsc4py). MPI for Python, is an open-source, public-domain software project that provides bindings of the Message Passing Interface (MPI) standard for the Python programming language. MPI for Python is a general-purpose and full-featured package targeting the development of parallel application codes in Python. Its facilities allow parallel Python programs to easily exploit multiple processors. MPI for Python employs a back-end MPI implementation, thus being immediately available on any parallel environment providing access to any MPI library. PETSc for Python is an open-source, public-domain software project that provides access to the Portable, Extensible Toolkit for Scientific Computation (PETSc) libraries within the Python programming language. PETSc for Python is a general-purpose and full-featured package. Its facilities allow sequential and parallel Python applications to exploit state of the art algorithms and data structures readily available in PETSc. MPI for Python and PETSc for Python packages are fully integrated to PETSc-FEM, an MPI and PETSc based parallel, multiphysics, finite elements code. Within a parallel Python programming environment, this software infrastructure supported research activities related to the simulation of electrophoretic processes in microfluidic chips. This work is part of a multidisciplinary effort oriented to design and develop these devices in order to improve current techniques in clinical analysis and early diagnosis of cancer".

  • [23-06-08, 15:00]
    • Están las notas del Parcial 3 del 18/06/08 http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Se incluye situación actual de cursado. Los que "deben o pueden venir al Globalizador" contempla la necesidad de subir nota ya sea para regularizar, promover o mejorar nota (opcional). En cualquier caso quedarán con las tres mejores de las cuatro notas.
    • Para ver los parciales: martes 24/06/08 de 12 a 13 hs en el Predio CONICET Santa Fe.

  • [21-06-08, 12:30]
    • Globalizador: MIERCOLES 25 de JUNIO a las 14 hs en Aula 9 (o sea, en el horario de la práctica). Los que se presenten se les recomienda presentarse 15' antes (13:45 hs). Los temas son los mismos ya indicados en cada parcial. La excepción es en el Cap. 12 en donde ahora hay que agregar la Sec. 12.3.
    • El globalizador es globalizador independiente de cuál parcial no les fue tan bien. Itinerarios de repaso de los temas que entraron en los parciales 2 y 3, en lo que respecta a la teoría, ya fueron dados oportunamente. Uno correspondiente para el parcial 1 es el siguiente:
      • Cap. 1. Definiciones: 1.1.1, 1.1.3, 1.1.6, 1.1.9, 1.2.1, 1.2.3, 1.2.8, 1.2.10, 1.2.16, 1.3.1, 1.3.4, 1.3.9, 1.5.7, 1.5.20, 1.7.1. Ejemplos: 1.1.2, 1.1.4, 1.1.5, 1.1.7, 1.1.8. 1.1.10-1.1.12, 1.2.2, 1.2.4-1.2.7, 1.2.9, 1.2.11-1.2.15, 1.2.17, 1.3.2, 1.3.3, 1.3.5-1.3.8, 1.3.10-1.3.13, 1.3.15-1.3.18, 1.4.1-1.4.15, 1.5.1, 1.5.6, 1.5.8-1.5.19, 1.5.21-1.5.25, 1.7.2-1.7.7. Teoremas: 1.2.18, 1.3.14. Enunciados: 1.8.5. Sugerencias para resolver problemas: pág. 15, 28, 34, 46, 59. Rincón de solución de problemas pág. 63. Nada de las Sec. 1.6, 1.8.
      • Cap. 2. Definiciones: 2.2.1, 2.2.10, 2.2.16, 2.2.21, 2.2.28, 2.2.34, 2.2.39, 2.2.44, 2.3.11, 2.3.14, 2.3.20, 2.3.26. Teoremas: 2.1.6, 2.1.12. Ejemplos: 2.1.1-2.1.5, 2.1.7-2.1.11, 2.1.13-2.1.18, 2.2.2-2.2.9, 2.2.11-2.2.15, 2.2.17, 2.2.20, 2.2.22-2.2.27, 2.2.29-2.2.33, 2.2.35-2.2.38, 2.2.40-2.2.43, 2.2.45, 2.2.46, 2.2.47, 2.3.1-2.3.10, 2.3.12, 2.3.13, 2.3.15-2.3.19, 2.3.21-2.3.25, 2.3.27. Sugerencias para resolver problemas, pág. 85, 98, 109. Rincón de solución de problemas, pág. 102.
      • Cap. 3. Definiciones: 3.1.1, 3.1.6, 3.1.9, 3.1.12, 3.1.16, 3.1.19, 3.1.22, 3.1.24, 3.2.3, 3.2.9. Teoremas: 3.2.1, 3.2.8, 3.2.15, 3.3.6. Ejemplos: 3.1.2-3.1.5, 3.1.7, 3.1.8, 3.1.10, 3.1.11, 3.1.13-3.1.15, 3.1.17, 3.1.18, 3.1.20, 3.1.23, 3.1.25, 3.2.2, 3.2.4-3.2.7, 3.2.11-3.2.14, 3.3.1-3.3.5, 3.3.7, 3.3.8. Sugerencias para resolver problemas, pág. 122, 128, 136. Rincón de solución de problemas, pág. 131. Nada de la Sec. 3.4.

  • [13-06-08, 18:00] Sobre la teoría en el Cap. 12:
    • En el parcial 3 sólo entrarán las Sec. 12.1 y 12.2;
    • La Sec. 12.3 se agregará desde el Globalizador;
    • La Sec. 12.4 se agregará desde los exámenes de Julio en adelante.

  • [10-06-08, 16:00]
    • Tercer parcial: MIERCOLES 18 de JUNIO a las 14 hs en Aula 9 (o sea, en el horario de la práctica). Se recomienda:
      • Presentarse 20' antes (13:40 hs);
      • Temas: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Cap. 8, 9 y 12 (Sec. 12.1, 12.2 y 12.3), tanto en la práctica como en la teoría.
    • Consulta:viernes 13/06/08 a las 16:30 hs en el Predio CONICET Santa Fe.
    • Sobre el Cap. 12. Los temas se restringen a las definiciones, propiedades, ejemplos y ejercicios propuestos vistos en la teoría. En particular, la conversión de un Autómata de Estado Finito (AEF) no-determinista a otro AEF determinista que le sea equivalente, dado en el ejemplo 12.5.1. El listado completo de las Sec. es el siguiente: Def. 12.1.4; Ejem. 12.1.5, 12.1.6; Def. 12.1.7, 12.1.8; Ejem. 12.1.9; Def. 12.2.1; Ejem. 12.2.2-12.2.4; Ejem. 12.2.5-12.2.9; Alg. 12.2.10; Def. 12.2.11; Ejem. 12.2.12;Def. 12.3.1; Ejem. 12.3.2; Def. 12.3.3; Ejem. 12.3.4; Def. 12.3.5; Ejem. 12.3.6; Def. 12.3.8; Ejem. 12.3.9; Def. 12.3.10; Ejem. 12.3.11, 12.3.14; Def. 12.3.15; Ejem. 12.3.16; Ejem. 12.4.1; Teor. 12.4.2: NO entra; Ejem. 12.4.3; Def. 12.4.4; Ejem. 12.4.5, 12.4.6; Def. 12.4.7; Ejem. 12.4.8, 12.4.9; Ejem. 12.5.1, 12.5.2: verlos en detalle; Teor. 12.5.3: no entra ni nada de lo que resta en ese Cap.

  • [26-05-08, 16:55] Varios
    • Aviso: la restricción de tener una nota piso de 30 ptos excepcionalmente se la suspende a partir del segundo parcial. O sea, tanto los que faltaron al parcial 2 como los que sacaron menos de 30 ptos en ese parcial, estarán habilitados para rendir el parcial 3. De todas maneras deberán recuperar en el Globalizador.
    • Están las notas del Parcial 2 del 12/05/08 http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Un itinerario para el repaso. Un primer listado de los temas hasta ahora vistos en el libro de texto, en lo que respecta a la teoría, es el siguiente:
      • Cap. 8. Definiciones: 8.1.1, 8.1.9, 8.1.11, 8.1.15, 8.2.1, 8.2.4, 8.2.8, 8.2.11, 8.2.14; 8.3, 8.6.1, 8.7.1, 8.7.3, 8.7.5. Ejemplos: 8.2.16, 8.3.1-8.3.4. Teoremas: 8.2.17, 8.2.18, 8.2.21, 8.2.22, 8.2.23, 8.2.24, 8.5.3, 8.7.9. Enunciados: 8.4.5, 8.6.4, 8.6.5, 8.7.7. Algoritmo 8.4.1. Nada de la Sec. 8.8.
      • Cap. 9. Definiciones: 9.1.1, 9.2.1, 9.3.1, 9.4.1, 9.5.1, 9.5.8, 9.8.4, 9.8.8. Teoremas: 9.2.3, 9.5.4, 9.5.6, 9.8.3, 9.8.7, 9.8.11, 9.8.12. Algoritmos 9.3.6, 9.3.7, 9, 4.3, 9.6.1, 9.6.3, 9.6.5, 9.8.13. Ejemplos: 9.8.1, 9.8.2, 9.8.5, 9.8.6, 9.8.9, 9.8.10, Rincón de solución de problemas pág. 391. Nada de: códigos de Huffman, Sec. 9.7 ni 9.9.

  • [10-05-2008 12:50] Durante la promoción se dará énfasis a las definiciones, propiedades, teoremas, algoritmos, ejemplos y ejercicios propuestos y/o vistos en la teoría y en la práctica. Un primer listado del libro de texto en lo que respecta a la teoría es el siguiente.
    • Cap. 4: algor. 4.2.4 y 4.3.17 (pero el shuffle como fue visto en la teoría), def. 4.3.2, ejemplos 4.3.3 a 4.3.13, 4.3.16, teor. 4.4.4, tablas 4.3.3 y la que aparece en pág. 168, ejemplos 4.4.1, 4.4.5, 4.4.7, algor. 4.4.2, 4.4.6, teor. 4.4.3. Sugerencias para resolver problemas de la pág. 178.
    • Cap. 5: def. 5.1.1, 5.1.4, 5.1.14, 5.1.19, teor. 5.1.3, 5.1.7, 5.1.12, 5.1.25, 5.2.17, 5.3.2, 5.3.7, enunciados 5.1.11, 5.1.17, 5.1.22, 5.3.6, algor. 5.1.8, 5.2.16, 5.2.19, 5.3.3, ejemplo 5.3.9, cálculo práctico de la encriptación RSA como se vió en la teoría.
    • Cap. 6: principio de la multiplicación y de la suma, el Rincón de Solución de Problemas (RSP) de la pág. 228, def. 6.2.1, 6.2.8, 6.2.15, teor. 6.2.3, 6.2.10, 6.2.17, 6.6.2, 6.6.5, 6.7.1, 6.7.6, ejemplos 6.2.12-6.2.23, 6.6.1-6.6.9, 6.7.2 a 6.7.9, sugerencias para resolver problemas de la pág. 264, el RSP de la pág. 240. Nada de las Sec. 6.3-6.5. Principio del palomar (las 3 formas), ejemplos 6.8.1-6.8.5
    • Cap. 7: def. 7.7.1, ejemplos 7.1.2-7.1.8, 7.2.1-7.2.10, 7.2.13, 7.2.15, teor. 7.2.11, 7.2.14, algor. 7.1.4, sugerencias para resolver problemas de la pág. 298.

  • [05-05-08, 12:00]
    • Segundo parcial: LUNES 12 de MAYO a las 10:00hs en Aulas 2-4 (a confirmar). Se recomienda:
      • Concurrir con libreta universitaria o documento único para acreditar identidad;
      • Presentarse 20' antes (9:40 hs);
      • Llevar calculadora;
      • Temas: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Cap. 4-7, tanto la práctica como la teoría.
    • Clases de consulta (ssarraf y elopez): serán los días martes alternados de 14:30 a 16:30 hs en el CIMEC re-empezando este martes 06/Mayo. Clases de consulta (jdelia): viernes 16 hs. Recordar que las clases de consultas se levantarán si no hay alumnos después de 15 min. de iniciado el horario.

  • [22-04-08 8:30]

  • [31-03-08, 14:00] Primer parcial: LUNES 7 de ABRIL a las 10:00hs en Aulas 2-4 (a confirmar). Se recomienda:
    • Concurrir con libreta universitaria o documento único para acreditar identidad;
    • Presentarse 20' antes (9:40 hs);
    • Temas: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Cap. 1-3, tanto la práctica como la teoría.
    • Obsv.: las respuestas no justificadas no tendrán puntaje.

  • [17-03-08, 14:30]
    • Fecha del Parcial 1: LUNES 7 de ABRIL a las 10 hs en Aula a confirmar.
    • Alumnos que empezaron con el Plan Nuevo (rectificación): la Secretaría de Coordinación confirma que para poder cursar TC basta tener la regularidad en las materias 1 y 7 del plan de estudio que son "Matem. Básica" y "Prog. Orientada a Objetos", respectivamente. De todos modos, para poder rendir el Parcial 1, deben asegurarse de aparecer en el Listado de Alumnado en caso contrario no serán admitidos.

  • [13-03-2008, 13:40] Próximas clases de teoría:
    • Viernes 14 Marzo: se dicta como estaba previsto en su horario habitual.
    • Lunes 17 Marzo (recuperatoria): de 10 a 13 hs en aula a determinar. Desde ese clase hasta nuevo aviso se volverá a los viernes.

  • [28-01-2008 17:50] Consultas en Febrero, en el CIMEC
    • Lunes 11/02 de 18 a 19 hs.
    • Lunes 25/02 de 18 a 19 hs.
    • Nota: se levantará la consulta si no hay alumnos después de 15 min. de iniciado el horario.

  • [28-01-2008 17:00] Se recuerda que
    • La 6ta edición del Johnsonbaugh tiene errores tipográficos por lo que deben extremar la atención en su lectura.
    • En el examen final entran todos los temas vistos durante el cursado 2007.

  • [30-11-2007 8:00] Sobre el Cap. 12. Los temas se restringen a las definiciones, propiedades, ejemplos y ejercicios propuestos vistos en la teoría. En particular, la conversión de un Autómata de Estado Finito (AEF) no-determinista a otro determinista equivalente, dado en el ejemplo 12.5.1. El listado completo de las Sec es el siguiente: Def. 12.1.4; Eje. 12.1.5, 12.1.6; Def. 12.1.7, 12.1.8; Eje. 12.1.9; Def. 12.2.1; Eje. 12.2.2-12.2.4; Eje. 12.2.5-12.2.9; Alg. 12.2.10; Def. 12.2.11; Eje. 12.2.12;Def. 12.3.1; Eje. 12.3.2; Def. 12.3.3; Eje. 12.3.4; Def. 12.3.5; Eje. 12.3.6; Def. 12.3.8; Eje. 12.3.9; Def. 12.3.10; Eje. 12.3.11, 12.3.14; Def. 12.3.15; Eje. 12.3.16; Eje. 12.4.1; Teo. 12.4.2: NO entra; Eje. 12.4.3; Def. 12.4.4; Eje. 12.4.5, 12.4.6; Def. 12.4.7; Eje. 12.4.8, 12.4.9; Eje. 12.5.1, 12.5.2: vistos en detalle; Teo. 12.5.3: NO entra ni nada de lo que resta en ese Cap.

  • [30-11-2007 8:00] Listado parcial de las Secs. 8.2.17-9.8.14:
    • 8.2.17 (pag. 333): quedo para el hogar;
    • 8.2.18 (pag. 333): visto;
    • 8.2.21 (pag. 335): visto;
    • 8.2.22 (pag. 335): visto (es un corolario simple del anterior);
    • 8.2.23 (pag. 335): visto en detalle la 1ra y la 2da parte;
    • 8.2.24 (pag. 336): visto (es sencillo mirando la Fig. 8.2.12);
    • 8.3.6 (pag. 343): NO estudiarlo;
    • 8.3.7 (pag. 343): NO estudiarlo;
    • 8.4.3 (pag. 349): está hecho en detalle en el libro;
    • 8.4.5 (pag. 351): quedo para el hogar;
    • 8.4.5 (pag. 351): quedo para el hogar;
    • 8.5.3 (pag. 353): visto;
    • 8.6.4 (pag. 358): quedo para el hogar;
    • 8.6.5 (pag. 358): quedo para el hogar;
    • 8.7.7 (pag. 365): basta saber el enunciado;
    • 8.7.9 (pag. 366): visto en detalle;
    • 9.2.3 (pag. 388): visto el 1er inciso, mientras que el resto quedo para el hogar;
    • 9.3.4 (pag. 392): visto;
    • 9.4.5 (pag. 401): visto;
    • 9.5.6 (pag. 405): visto;
    • 9.7.3 (pag. 418): NO estudiar nada de la Sec. 9.7;
    • 9.8.3 (pag. 421): visto (sencillo);
    • 9.8.7 (pag. 422): visto (sencillo);
    • 9.8.11 (pag. 424): visto (sencillo);
    • 9.8.12 (pag. 424): visto en detalle;
    • 9.8.14 (pag. 426): NO estudiarlo.

  • [24-07-2007 14:15] confirmar por e-mail los alumnos regulares o libres que asistiran al examen del Jueves 26/8. Por omision se supondra que lo pospondran al Jueves 2/8. Los promocionados no deben confirmar asistencia alguna pero, si lo desean, pueden pasar por la mesa para que se les firme la libreta.

  • [07-07-2007 10:00]
  • [04-07-2007 13:20]
    • Pedidos de reconsideración: recordar que la revisión implica que las notas pueden o subir, o quedar sin cambios, o bajar.
    • A los que quedaron regulares: además se tuvo en cuenta que:
      • Todos sus parciales por encima de un cierto valor y promedio mayor a 40;
      • El porcentaje de incisos No-Contestados y/o No-Justificados en todos sus parciales;
      • Nota general de concepto.
    • Quienes tengan que ir al coloquio, de todos modos, tendrán que demostrar un substancial progreso en la teoria/práctica y coherencia de ideas.

  • [03-07-2007 18:00]
    • Primera Fecha de Examen: próximo Jueves 5 de Julio: el coloquio será a las 14 hs y para el resto será a las 16 hs.
    • Se agregaron los puntajes en el listado.

  • [02-07-2007 18:00]
    • Están las notas del Recuperatorio. El listado incluye la situación final de cada alumno, y si tiene que ir al coloquio para intentar promocionar o levantar nota. http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Los alumnos promocionados deberán inscribirse en un llamado a examen para que se les pase la nota final.
    • Para ver los parciales ir al CIMEC mañana Martes 3/7 a las 15 hs (única oportunidad).
    • Información suministrada por Bedelía para los alumnos:
      • El 5to turno de exámenes tiene dos llamados, el primero del 23/7 al 28/7 y el segundo del 30/7 al 4/8.
      • Cada alumno se puede presentar a uno u otro llamado pero no a los dos por cada asignatura.
      • Si no se presentara en el primer llamado no se le considerará ausente y se podrá presentar en el segundo llamado.
      • La inscripción se hace en una única fecha para los dos llamados: del 17 al 19 de Julio.
    • Comentario: en retrospectiva, los que rindieron el recuperatorio probablemente les habría ido bastante mejor si se hubieran seguido las reglas de juego iniciales (tomar un único Globalizador con los temas de los tres parciales) y no acceder, excepcionalmente por única vez, a lo solicitado por los alumnos, es decir, que se tomara un recuperatorio del parcial con la menor nota en cada caso. De todos modos, el año que viene se retomará la política prefijada de un único Globalizador.

  • [29-06-2007 18:30] No hay cambios en la fecha, hora y aula ni en los temas para el Recuperatorio ya indicados en el mensaje del día [18-05-2007 8:35]. Recordar que si bien no todos los temas se re-hicieron en clase, algunos ya están hechos en detalle en el libro, mientras que otros quedaron para el hogar.

  • [25-06-2007 15:12]
    • Están las notas del 3er Parcial. El listado incluye la situación actual de cada alumno, y el parcial que deben recuperar para acceder a regularizar, promocionar o levantar nota. http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Para ver los parciales ir al CIMEC mañana Martes 26/6 a las 15 hs.
    • Por favor confirmar por e-mail la asistencia al Recuperatorio.

  • [20-06-2007 16:50] Ante nuevas consultas para el Parcial 3, recordamos lo que ya se dijo reiteradamente en las clases de teoría: por esta vez NO entrará el Cap. 12 pero si todo lo indicado en el listado de teoremas dado en el mensaje anterior.

  • [1-06-2007 13:30] Novedades:
    • Están las notas del 2do Parcial http://venus.ceride.gov.ar/~mstorti/notas4.cgi
    • Por esta vez el Globalizador se degradará a un Recuperatorio únicamente del parcial que tenga la menor nota. Notar que no se podrá recuperar más de un parcial.
    • Tema: "Autómatas, gramáticas y lenguajes formales": con respecto al Cap. 12 del nuevo libro, tener presente que:
      • en el Recuperatorio: eventualmente entrarían las Sec. 12.1 y 12.2;
      • para después: agregar las Sec. 12.3-12.5.
    • Coloquio teórico adicional sólo para promedios mayores a 60: Los alumnos que tengan una calificación promedio superior a los 60 (sesenta) puntos, podrán acceder a una instancia de evaluación adicional para intentar promocionar y/o levantar nota. En la misma deberá demostrarse un muy buen dominio de los temas, y consistirá en un coloquio teórico oral, el cual incluirá preguntas sobre definiciones, propiedades, enunciados de teoremas y/o demostraciones de todos los temas vistos durante el cursado. Dicho coloquio será durante la primera fecha de examen de Julio prevista en el Calendario Academico del presente año.

  • [18-05-2007 8:35]
    • Llevar calculadora para el parcial 2.
    • Fecha del Parcial 3: VIERNES 22 DE JUNIO a las 9:30 hs en el Aula 9. Instrucciones:
      • Concurrir con Libreta Universitaria o documento único para acreditar identidad.
      • Presentarse 20' antes (9:10 hs)
      • Temas: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Sec. 8.1-8.7, 9.1-9.8 (cap. 8, 9), tanto la práctica como la teoría.
      • Obsv.: las respuestas no justificadas no tendrán puntaje.
    • Fecha del Recuperatorio: será exactamente una semana después del Parcial 3, es decir, VIERNES 29 DE JUNIO a las 12:30 hs en el Aula 9. Temas: los mismos que fueron dados en los parciales 1-3, a excepción del parcial 3 en donde ahora se incluirían las Sec. 12.1-12.2.

  • [11-05-2007 8:35]
    • Para ver los parciales: ir a la consulta de hoy viernes (última fecha).
    • Fecha del Parcial 2: LUNES 21 DE MAYO a las 12:30 hs en el Aula 9. Instrucciones:
      • Concurrir con Libreta Universitaria o documento único para acreditar identidad.
      • Presentarse 20' antes (12:10 hs)
      • Temas del Parcial: son los ya indicados en el cronograma siguiendo la 6ta edición del libro base, Sec. 4.1, 4.2, 4.4, 5.1-5.4, 6.1, 6.2, 6.6-6.8, 7.1-7.3 (cap. 4-7), tanto la práctica como la teoría.
      • Obsv.: las respuestas no justificadas no tendrán puntaje.

  • [26-04-2007 9:00] Clase recuperatoria de la Teoría: viernes 27 de abril, de 11 a 14 hs, en el Aula 9. Esta es por el feriado del Martes 1/5.

  • [24-04-2007 17:05] A partir del Jueves 26/4 se fusionarán las comisiones 1 y 2 de la práctica en una sola, cuyo único horario será:
    • Martes: de 16:00 a 18:00 hs
    • Jueves: de 17:30 a 19:30 hs

  • [18-04-2007 17:15]
    • Ya están disponibles los libros en Biblioteca.

  • [11-04-2007 17:25]
    • Clase recuperatoria de la Teoría: viernes 13 de abril, de 11 a 14 hs, en el Aula 9.
    • Consulta del viernes 13 de abril: de 15 a 17 hs en el CIMEC.
    • Consulta extra: miércoles 18 de abril, de 14 a 16 hs en el CIMEC.
    • Fecha del Parcial 1: LUNES 23 DE ABRIL a las 13 hs en el Aula 9. Instrucciones:
      • Concurrir con Libreta Universitaria o documento único para acreditar identidad.
      • Presentarse 20' antes (12:40 hs)
      • Temas del Parcial 1: son los ya indicados en el Cronograma siguiendo la cuarta edición del libro base, Sec. 1.1-1.4, 1.6, 2.1-2.6 y 2.8 (Capitulos 1 y 2), tanto la practica como la teoría.
      • Obsv.: las respuestas no justificadas no tendran puntaje.

  • [07-04-2007 12:56] Se suspenden las clases de práctica para hoy lunes 9/4.

  • [30-03-2007 11:45]
    • Clases de consulta: hoy en el lugar y horario habitual.
    • Temas del Parcial 1: son las Sec. ya indicadas en el Cronograma siguiendo la cuarta edición del libro base: 1.1-1.4, 1.6, 2.1-2.6 y 2.8.
    • Libro nuevo: ya está disponible en Biblioteca la sexta edición a usar para el Parcial 2 en adelante. Los primeros temas son las Sec. 4.1 y 4.4.
    • Clases de Teoría: empezarán quinces minutos antes (desde las 12:45 hs).
    • Clase recuperatoria de la Práctica (por la del 29/3): será el Lunes 9/4 de 13 a 16 hs, en el aula 9.

  • [29-03-2007 13:30] Por prensa y radio se informa que la UNL ha suspendido las clases hasta nuevo aviso.

  • [26-03-2007 14:00] Mañana Martes habrá clases de Teoría y de Práctica en el horario habitual.

  • [20-03-2007 17:30] Nota: la asistencia de los alumnos es obligatoria a la Comisión de Práctica que le corresponda según el listado del Sistema Guaraní, sin exepciones. La regularidad en la asignatura incluye cumplir con este requisito. Notar que unicamente se computará la asistencia a la comisión que le asigno dicho sistema, ver http://venus.ceride.gov.ar/~mstorti/pagina_tc07.htm

Enlaces de interés

http://math.unl.edu.ar: ir a las páginas de las materias y buscar Matemática Discreta. Contiene enunciados de exámenes basados en buena parte en la 4ta edición del libro de referencia.
Topic revision: r31 - 26 Jul 2022, JorgeDElia
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback