Pasar al contenido principal
Departamento de Ciencias de la Computación
Depto. de Ciencias de la Computación
Departamento de Ciencias de la Computación
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario
Menú principal
Inicio
Departamento
LCC
Materias
Ingresantes
Docentes
Formulario de búsqueda
Buscar
Login Menu
Login
Idiomas
Es
En
Usted está aquí
Inicio
»
LCC
Materias
Perfil y Plan
Jornadas de Cs. de la Computación
Tesinas de Grado
El Proyecto PROMINF‐LCC‐FCEIA
Lista de correo
Archivos de Lógica
practica_2.pdf
Enviado por
Webmaster
el Lun, 24/08/2015 - 14:18
(Originalmente subido por
Pablo Verdes
en el sitio anterior)
Práctica 2: Deducción Natural
Archivo:
practica_2.pdf
Leer más
sobre practica_2.pdf
dn-prop.pdf
Enviado por
Webmaster
el Jue, 20/08/2015 - 01:20
(Originalmente subido por
Dante Zanarini
en el sitio anterior)
Slides de la clase del 19/08.
Archivo:
dn-prop.pdf
Leer más
sobre dn-prop.pdf
intro.pdf
Enviado por
Webmaster
el Jue, 13/08/2015 - 19:49
(Originalmente subido por
Dante Zanarini
en el sitio anterior)
Slides de la primer clase.
Archivo:
intro.pdf
Leer más
sobre intro.pdf
practica_1.pdf
Enviado por
Webmaster
el Mié, 12/08/2015 - 18:18
(Originalmente subido por
Pablo Verdes
en el sitio anterior)
Práctica 1: Semántica de la Lógica Proposicional
Archivo:
practica_1.pdf
Leer más
sobre practica_1.pdf
prop.pdf
Enviado por
Webmaster
el Mié, 12/08/2015 - 18:18
(Originalmente subido por
Pablo Verdes
en el sitio anterior)
Semántica de la Lógica Proposicional
Archivo:
prop.pdf
Leer más
sobre prop.pdf
Páginas
« primera
‹ anterior
1
2
3