Search this site
Camilo Rocha
  • home
  • publications
    • Journals
    • Conferences (refereed)
    • Technical Reports
    • Dissertation
  • software
    • Synchronous Set Relations in Maude
    • The Maude Invariant Analyzer Tool
  • teaching
    • ADA - Análisis y Diseño de Algoritmos
      • 2016-1
      • 2016-2
      • 2017-1
      • 2017-2
      • 2018-1
      • 2018-2
      • 2019-1
      • 2019-2
      • 2020-1
    • AGRA - Árboles y Grafos
      • 2018-2
      • 2019-1
      • 2019-2
    • ALGO - Algoritmos
      • 2014-1
        • Anuncios
          • Bienvenidos
          • Notas Tercios 1, 2 y 3
      • 2015-1
    • BFOM - Bases Formales de la Computación
      • 2017-2
    • DFS - Desarrollo Formal de Software
      • 2018-1
    • DIA - Diseño e Implementación de Algoritmos
      • 2019-1
    • FAP - Fundamentos de Algoritmos y Programación
      • 2017-1
      • 2018-1
      • 2019-2
    • FMEF - Fundamentos en Métodos Formales
      • 2017-2
      • 2018-2
    • INMO - Introducción al Modelado de Sistemas
      • 2016-2
      • 2017-1
      • 2017-2
    • INPR - Introducción a la Programación
      • 2016-1
    • LCAL - Lógica Calculativa
      • 2013-2
        • Anuncios
          • Libro en formato digital
          • Notas (incompletas) tercio 3
          • Notas DS
          • Notas tercio 1
          • Notas tercio 2
          • Notas tercio 3
          • Notas y ambiente virtual
          • Quiz 3
          • Quiz 4
          • Tarea 2
          • Tarea 3
          • Tarea 4
          • Tarea 5
          • Tarea 6
          • Tarea 7
      • 2014-1
        • Anuncios
          • Acertijos para la tarea 4
          • Bienvenidos
          • Notas Tercio 1
          • Notas Tercios 1, 2 y 3
      • 2014-2
      • 2015-1
      • 2015-2
    • LMAT - Lógica Matemática
      • 2013-2
        • Anuncios
          • Libro en formato digital
          • Notas tercio 1
          • Notas Tercio 2
          • Notas tercio 3
          • Notas y ambiente virtual
          • Proyectos
          • Publicada Tarea 2 y Foro (actualización)
          • Quiz 3
          • Tarea 3
          • Tarea 4
          • Tarea 8
          • Tarea Semana 11
          • Teoremas a estudiar para el final
      • 2014-2
      • 2015-2
    • PIMO - Programación Imperativa Modular
      • 2013-1
        • Anuncios
          • Acuerdos del curso
          • Búsqueda binaria
          • Grafos
          • Ideas instalación Linux
          • Laboratorio 9: Parcial práctico Tercio 2
          • Longitud máxima de un segmento ascendente
          • Mensaje de bienvenida
          • Notas tercer tercio
          • Notas Tercio 1
          • Notas Tercio 2 (actualizadas)
          • Números primos
          • Parcial Tercio 2: Temario
          • Problema Libro Aho, Hopcroft y Ullman: Example 2.2
          • Proyecto Final: Sudoku
          • Solución Laboratorio 1
          • Solución Laboratorio 6
          • Solución Laboratorio 7
          • Tableros de Sudoku
          • Transparencias complejidad
          • Árboles Binarios
        • Laboratorios
          • Laboratorio 10: Árboles binarios etiquetados
          • Laboratorio 11: Árboles binarios balanceados (opcional)
          • Laboratorio 12: Grafos con listas de adyacencia
          • Laboratorio 13: El problema de las 8 reinas
          • Laboratorio 14: Maratón de Grafos
          • Laboratorio 1: Calculadora interactiva
          • Laboratorio 2: "Rock, paper, scissors, lizard, Spock"
          • Laboratorio 3: Implementando Funciones
          • Laboratorio 4: "The Pong Game"
          • Laboratorio 5: "Memory"
          • Laboratorio 6: "Paint Me and Reverse Nonogram"
          • Laboratorio 7: Listas Ordenadas
          • Laboratorio 8: Listas de adyacencia
      • 2013-2
        • Anuncios
          • Conferencias Semana 5
          • Hashtable (casi terminada)
          • Insertion-Sort
          • Max-Subarray-Sum
          • MaxHeap
          • Merge-Sort
          • Notas tercio 1
          • Notas tercio 2
          • Notas tercio 3
          • Proyectos de investigación
          • Publicación material semana 2 y foro
          • Publicación tarea 2
          • Publicación tarea 3
          • Quiz 6
          • Quiz 7
          • Quiz 8
          • Tarea 4
          • Tarea 5
      • 2014-1
        • Anuncios
          • Instrucciones y plantilla para hashtable
          • La página del curso ha sido habilitada
          • maxheap
          • Notas Tercio 1
          • Parcial PIMO 2013-2 está disponible
          • Tercio 3
      • 2014-2
      • 2015-1
      • 2015-2
    • TPRO - Teoría de la Programación
      • 2013-1
        • Anuncios
        • Anuncios
          • 2-Partition
          • Ejercicios Semana 9: Ejercicios adicionales sobre recurrencia
          • Implementación de soluciones en Python3
          • Mensaje de bienvenida
          • Notas tercer tercio
          • Notas Tercio 1
          • Notas Tercio 2
          • Problema 5, página 275
          • Sección de quices
Camilo Rocha
  • home
  • publications
    • Journals
    • Conferences (refereed)
    • Technical Reports
    • Dissertation
  • software
    • Synchronous Set Relations in Maude
    • The Maude Invariant Analyzer Tool
  • teaching
    • ADA - Análisis y Diseño de Algoritmos
      • 2016-1
      • 2016-2
      • 2017-1
      • 2017-2
      • 2018-1
      • 2018-2
      • 2019-1
      • 2019-2
      • 2020-1
    • AGRA - Árboles y Grafos
      • 2018-2
      • 2019-1
      • 2019-2
    • ALGO - Algoritmos
      • 2014-1
        • Anuncios
          • Bienvenidos
          • Notas Tercios 1, 2 y 3
      • 2015-1
    • BFOM - Bases Formales de la Computación
      • 2017-2
    • DFS - Desarrollo Formal de Software
      • 2018-1
    • DIA - Diseño e Implementación de Algoritmos
      • 2019-1
    • FAP - Fundamentos de Algoritmos y Programación
      • 2017-1
      • 2018-1
      • 2019-2
    • FMEF - Fundamentos en Métodos Formales
      • 2017-2
      • 2018-2
    • INMO - Introducción al Modelado de Sistemas
      • 2016-2
      • 2017-1
      • 2017-2
    • INPR - Introducción a la Programación
      • 2016-1
    • LCAL - Lógica Calculativa
      • 2013-2
        • Anuncios
          • Libro en formato digital
          • Notas (incompletas) tercio 3
          • Notas DS
          • Notas tercio 1
          • Notas tercio 2
          • Notas tercio 3
          • Notas y ambiente virtual
          • Quiz 3
          • Quiz 4
          • Tarea 2
          • Tarea 3
          • Tarea 4
          • Tarea 5
          • Tarea 6
          • Tarea 7
      • 2014-1
        • Anuncios
          • Acertijos para la tarea 4
          • Bienvenidos
          • Notas Tercio 1
          • Notas Tercios 1, 2 y 3
      • 2014-2
      • 2015-1
      • 2015-2
    • LMAT - Lógica Matemática
      • 2013-2
        • Anuncios
          • Libro en formato digital
          • Notas tercio 1
          • Notas Tercio 2
          • Notas tercio 3
          • Notas y ambiente virtual
          • Proyectos
          • Publicada Tarea 2 y Foro (actualización)
          • Quiz 3
          • Tarea 3
          • Tarea 4
          • Tarea 8
          • Tarea Semana 11
          • Teoremas a estudiar para el final
      • 2014-2
      • 2015-2
    • PIMO - Programación Imperativa Modular
      • 2013-1
        • Anuncios
          • Acuerdos del curso
          • Búsqueda binaria
          • Grafos
          • Ideas instalación Linux
          • Laboratorio 9: Parcial práctico Tercio 2
          • Longitud máxima de un segmento ascendente
          • Mensaje de bienvenida
          • Notas tercer tercio
          • Notas Tercio 1
          • Notas Tercio 2 (actualizadas)
          • Números primos
          • Parcial Tercio 2: Temario
          • Problema Libro Aho, Hopcroft y Ullman: Example 2.2
          • Proyecto Final: Sudoku
          • Solución Laboratorio 1
          • Solución Laboratorio 6
          • Solución Laboratorio 7
          • Tableros de Sudoku
          • Transparencias complejidad
          • Árboles Binarios
        • Laboratorios
          • Laboratorio 10: Árboles binarios etiquetados
          • Laboratorio 11: Árboles binarios balanceados (opcional)
          • Laboratorio 12: Grafos con listas de adyacencia
          • Laboratorio 13: El problema de las 8 reinas
          • Laboratorio 14: Maratón de Grafos
          • Laboratorio 1: Calculadora interactiva
          • Laboratorio 2: "Rock, paper, scissors, lizard, Spock"
          • Laboratorio 3: Implementando Funciones
          • Laboratorio 4: "The Pong Game"
          • Laboratorio 5: "Memory"
          • Laboratorio 6: "Paint Me and Reverse Nonogram"
          • Laboratorio 7: Listas Ordenadas
          • Laboratorio 8: Listas de adyacencia
      • 2013-2
        • Anuncios
          • Conferencias Semana 5
          • Hashtable (casi terminada)
          • Insertion-Sort
          • Max-Subarray-Sum
          • MaxHeap
          • Merge-Sort
          • Notas tercio 1
          • Notas tercio 2
          • Notas tercio 3
          • Proyectos de investigación
          • Publicación material semana 2 y foro
          • Publicación tarea 2
          • Publicación tarea 3
          • Quiz 6
          • Quiz 7
          • Quiz 8
          • Tarea 4
          • Tarea 5
      • 2014-1
        • Anuncios
          • Instrucciones y plantilla para hashtable
          • La página del curso ha sido habilitada
          • maxheap
          • Notas Tercio 1
          • Parcial PIMO 2013-2 está disponible
          • Tercio 3
      • 2014-2
      • 2015-1
      • 2015-2
    • TPRO - Teoría de la Programación
      • 2013-1
        • Anuncios
        • Anuncios
          • 2-Partition
          • Ejercicios Semana 9: Ejercicios adicionales sobre recurrencia
          • Implementación de soluciones en Python3
          • Mensaje de bienvenida
          • Notas tercer tercio
          • Notas Tercio 1
          • Notas Tercio 2
          • Problema 5, página 275
          • Sección de quices
  • More
    • home
    • publications
      • Journals
      • Conferences (refereed)
      • Technical Reports
      • Dissertation
    • software
      • Synchronous Set Relations in Maude
      • The Maude Invariant Analyzer Tool
    • teaching
      • ADA - Análisis y Diseño de Algoritmos
        • 2016-1
        • 2016-2
        • 2017-1
        • 2017-2
        • 2018-1
        • 2018-2
        • 2019-1
        • 2019-2
        • 2020-1
      • AGRA - Árboles y Grafos
        • 2018-2
        • 2019-1
        • 2019-2
      • ALGO - Algoritmos
        • 2014-1
          • Anuncios
            • Bienvenidos
            • Notas Tercios 1, 2 y 3
        • 2015-1
      • BFOM - Bases Formales de la Computación
        • 2017-2
      • DFS - Desarrollo Formal de Software
        • 2018-1
      • DIA - Diseño e Implementación de Algoritmos
        • 2019-1
      • FAP - Fundamentos de Algoritmos y Programación
        • 2017-1
        • 2018-1
        • 2019-2
      • FMEF - Fundamentos en Métodos Formales
        • 2017-2
        • 2018-2
      • INMO - Introducción al Modelado de Sistemas
        • 2016-2
        • 2017-1
        • 2017-2
      • INPR - Introducción a la Programación
        • 2016-1
      • LCAL - Lógica Calculativa
        • 2013-2
          • Anuncios
            • Libro en formato digital
            • Notas (incompletas) tercio 3
            • Notas DS
            • Notas tercio 1
            • Notas tercio 2
            • Notas tercio 3
            • Notas y ambiente virtual
            • Quiz 3
            • Quiz 4
            • Tarea 2
            • Tarea 3
            • Tarea 4
            • Tarea 5
            • Tarea 6
            • Tarea 7
        • 2014-1
          • Anuncios
            • Acertijos para la tarea 4
            • Bienvenidos
            • Notas Tercio 1
            • Notas Tercios 1, 2 y 3
        • 2014-2
        • 2015-1
        • 2015-2
      • LMAT - Lógica Matemática
        • 2013-2
          • Anuncios
            • Libro en formato digital
            • Notas tercio 1
            • Notas Tercio 2
            • Notas tercio 3
            • Notas y ambiente virtual
            • Proyectos
            • Publicada Tarea 2 y Foro (actualización)
            • Quiz 3
            • Tarea 3
            • Tarea 4
            • Tarea 8
            • Tarea Semana 11
            • Teoremas a estudiar para el final
        • 2014-2
        • 2015-2
      • PIMO - Programación Imperativa Modular
        • 2013-1
          • Anuncios
            • Acuerdos del curso
            • Búsqueda binaria
            • Grafos
            • Ideas instalación Linux
            • Laboratorio 9: Parcial práctico Tercio 2
            • Longitud máxima de un segmento ascendente
            • Mensaje de bienvenida
            • Notas tercer tercio
            • Notas Tercio 1
            • Notas Tercio 2 (actualizadas)
            • Números primos
            • Parcial Tercio 2: Temario
            • Problema Libro Aho, Hopcroft y Ullman: Example 2.2
            • Proyecto Final: Sudoku
            • Solución Laboratorio 1
            • Solución Laboratorio 6
            • Solución Laboratorio 7
            • Tableros de Sudoku
            • Transparencias complejidad
            • Árboles Binarios
          • Laboratorios
            • Laboratorio 10: Árboles binarios etiquetados
            • Laboratorio 11: Árboles binarios balanceados (opcional)
            • Laboratorio 12: Grafos con listas de adyacencia
            • Laboratorio 13: El problema de las 8 reinas
            • Laboratorio 14: Maratón de Grafos
            • Laboratorio 1: Calculadora interactiva
            • Laboratorio 2: "Rock, paper, scissors, lizard, Spock"
            • Laboratorio 3: Implementando Funciones
            • Laboratorio 4: "The Pong Game"
            • Laboratorio 5: "Memory"
            • Laboratorio 6: "Paint Me and Reverse Nonogram"
            • Laboratorio 7: Listas Ordenadas
            • Laboratorio 8: Listas de adyacencia
        • 2013-2
          • Anuncios
            • Conferencias Semana 5
            • Hashtable (casi terminada)
            • Insertion-Sort
            • Max-Subarray-Sum
            • MaxHeap
            • Merge-Sort
            • Notas tercio 1
            • Notas tercio 2
            • Notas tercio 3
            • Proyectos de investigación
            • Publicación material semana 2 y foro
            • Publicación tarea 2
            • Publicación tarea 3
            • Quiz 6
            • Quiz 7
            • Quiz 8
            • Tarea 4
            • Tarea 5
        • 2014-1
          • Anuncios
            • Instrucciones y plantilla para hashtable
            • La página del curso ha sido habilitada
            • maxheap
            • Notas Tercio 1
            • Parcial PIMO 2013-2 está disponible
            • Tercio 3
        • 2014-2
        • 2015-1
        • 2015-2
      • TPRO - Teoría de la Programación
        • 2013-1
          • Anuncios
          • Anuncios
            • 2-Partition
            • Ejercicios Semana 9: Ejercicios adicionales sobre recurrencia
            • Implementación de soluciones en Python3
            • Mensaje de bienvenida
            • Notas tercer tercio
            • Notas Tercio 1
            • Notas Tercio 2
            • Problema 5, página 275
            • Sección de quices

Journals

Conferences (refereed)

Technical Reports

Dissertation

Report abuse
Page details
Page updated
Report abuse