Notas de clase


Notas de laboratorio


Manuel Soto Romero
Notas de laboratorio de Lenguajes de Programación
Licenciatura en Ciencias de la Computación, UNAM
Revisiones:

Manuel Soto Romero
Notas de laboratorio de Lógica Computacional
Licenciatura en Ciencias de la Computación, UNAM
Revisiones:

×

Notas de laboratorio para el curso de Lenguajes de Programación


Manuel Soto Romero
Licenciatura en Ciencias de la Computación, UNAM
Revisión 2019-2


Contenido

Revisión en curso
#
Fecha Tema Descarga
1
07-02-2019 Introducción a Racket PDF
2
11-02-2019 Estructuras de datos PDF
3
22-02-2019 Definición de tipos de datos PDF
4
25-02-2019 Análisis léxico y sintáctico PDF
5
04-03-2019 Análisis semántico PDF
6
11-03-2019 Funciones de primera clase PDF
7
25-03-2019 Alcance PDF
8
01-04-2019 Evaluación perezosa PDF
A
30-01-2019 Instalación de Racket PDF
B
31-01-2019 Uso de la plataforma GitHub Classroom PDF
×

Notas de laboratorio para el curso de Lógica Computacional


Manuel Soto Romero
Licenciatura en Ciencias de la Computación, UNAM
Revisión 2019-2


Contenido

Revisión en curso
#
Fecha Tema Descarga
1
06-02-2019 Introducción a Haskell PDF
2
13-02-2019 Estructuras de datos PDF
3
20-02-2019 Definición de tipos de datos PDF
4
27-02-2019 Sintaxis de la Lógica Proposicional PDF
5
06-03-2019 Semántica de la Lógica Proposicional PDF
6
13-03-2019 Lógica Clausular Proposicional PDF
7
20-03-2019 Sintaxis de la Lógica de Primer Orden PDF
8
27-03-2019 Sustitución en Lógica de Primer Orden PDF
A
04-02-2019 Instalación de Haskell PDF
B
06-02-2019 Uso de la plataforma GitHub Classroom PDF