Fecha Semana 1ra sesión 2da sesión
(9 a 13 de Febrero)

1
    speaker_notes Durante la sesión:
    1. Logic programming paradigm
    2. Prolog
    3. Unification
(16 a 20 de Febrero)

2
    speaker_notes Durante la sesión:
    1. Backtracking
    2. Recursion in prolog
    3. Tail Recursion
    4. Head Recursion
    speaker_notes Durante la sesión:
    1. Lists in prolog
    2. Head and Tail
    3. Sort algorithm
(23 a 27 de Febrero)

3
    speaker_notes Durante la sesión:
    1. Write
    2. Read
    3. Cut
    speaker_notes Durante la sesión:
    1. Proof by induction
    2. Programming proof by induction
offline_pin Explicar Evidencia Análisis Léxico
(2 a 6 de Marzo)

4
    speaker_notes Durante la sesión:
    1. Scripting Paradigm
    2. grep
(9 a 13 de Marzo)

5
    speaker_notes Durante la sesión:
    1. Regular Languages
    2. Lexical analysis
    3. Context Free Languages
    4. Push Down Automata
(16 a 20 de Marzo)

6

Semana Tec

Semana Tec
(23 to 27 of Marzo)

7

 offline_pin Entregar Evidencia Análisis léxico antes de esta sesión
    speaker_notes Durante la sesión:
    1. Types of parsers
    2. Abstract syntax tree
    3. Eliminate ambiguity
    4. Eliminate left recursion
    speaker_notes Durante la sesión:
    1. Example of Parsing
(30 de Marzo a 3 de Abril)

Asueto

Semana Santa

Semana Santa
(8 a 10 de Abril)

8
    speaker_notes Durante la sesión:
    1. Extended Chomsky Hierarchy
offline_pin Explicar Evidencia Gramática
(13 a 17 de Abril)

9
    speaker_notes Durante la sesión:
    1. Lambda Syntax
    2. Lambda in other languages
    speaker_notes Durante la sesión:
    1. Recursion in scheme
    2. Lists in scheme
(20 a 24 de Abril)

10
    speaker_notes Durante la sesión:
    1. Errors in lists
    2. Map
    3. Reduce
    speaker_notes Durante la sesión:
    1. Nested lists
    2. Mutual recursion
(27 de Abril a 1 de Mayo)

11

 offline_pin Entregar Evidencia Gramática antes de esta sesión
    Asueto 1ero de Mayo
(4 a 8 de Mayo)

12

 Semana Tec Semana Tec
(11 a 15 de Mayo)

13
    speaker_notes Durante la sesión:
    1. Sharing resources
    2. Race conditions
    3. Mutex
    4. Deadlocks
    5. Starvation and Livelocks
    6. Thread pools
offline_pin Explicar Evidencia Demonstración Paradigma
(18 a 22 de Mayo)

14
    speaker_notes Durante la sesión:
    1. Parallel programming in GPU
    2. Cuda
    3. Gpu Architecture
    offline_pin Entregar Evidencia Demonstración Paradigma antes de esta sesión
    speaker_notes Durante la sesión:
    1. Thread management
    2. Linearization
    3. Threads reuse
(25 a 29 de Mayo)

15
    speaker_notes Durante la sesión:
    1. Thread management 2 dimensions (x,y)
offline_pin Explicar Evidencia Entrevista
(1 a 5 de Junio)

16

  • En esta sesión se definen los espacios para la entrevista y se revisan las notas. No asistir a esta sesión implica no tener entrevista y por ende reprobar el curso.

    offline_pin Entregar Evidencia Analizador léxico antes de esta sesión para calificación final
    offline_pin Entregar Evidencia Gramática antes de esta sesión para calificación final
    offline_pin Entregar Evidencia Demostración de Paradigma antes de esta sesión para calificación final
    offline_pin Entregar Evidencia Notas para Entrevista antes de esta sesión para calificación final
  • Entrevistas
(8 a 12 de Junio)

17
  • Entrevistas
  • Entrevistas