CC51N-1 Métodos Lógicos en Ciencia de la Computación

Clases - Lógica de primer orden II 19 Jul 200719/07/07 a las 12:37 hrs.2007-07-19 12:37:19

Pablo Barcelo B.
Clases - Lógica de primer orden I 19 Jul 200719/07/07 a las 12:37 hrs.2007-07-19 12:37:19

Pablo Barcelo B.
Clases - Teorema de Cook 19 Jul 200719/07/07 a las 12:36 hrs.2007-07-19 12:36:19

Pablo Barcelo B.
Clases - Repaso de complejidad computacional 19 Jul 200719/07/07 a las 12:36 hrs.2007-07-19 12:36:19

Pablo Barcelo B.
Clases - Resolución proposicional 19 Jul 200719/07/07 a las 12:27 hrs.2007-07-19 12:27:19

Pablo Barcelo B.
Clases - Lógica proposicional 19 Jul 200719/07/07 a las 12:24 hrs.2007-07-19 12:24:19

Pablo Barcelo B.

U-Cursos ::