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
Materias
Perfil y Plan
Jornadas de Cs. de la Computación
Tesinas de Grado
El Proyecto PROMINF‐LCC‐FCEIA
Lista de correo
reglas.pdf
Enviado por
Webmaster
el Lun, 24/08/2015 - 15:30
(Originalmente subido por
Pablo Verdes
en el sitio anterior)
Reglas de Deducción Natural
Archivo:
reglas.pdf
Noticias Relacionadas
Campus virtual de la UNR
Enviado por
Webmaster
el Dom, 21/08/2016 - 22:11
(Originalmente publicado por
Marcos Pividori
en el sitio anterior)
Puede encontrar todo el material actualizado de la materia en el
Campus virtual de la UNR: (
http://comunidades.campusvirtualunr.edu.ar/
)
Leer más
sobre Campus virtual de la UNR
Resultados del 2do parcial
Enviado por
Webmaster
el Vie, 06/11/2015 - 16:48
(Originalmente publicado por
Pablo Verdes
en el sitio anterior)
En la sección Archivos se encuentran disponibles los resultados del 2do parcial.
Leer más
sobre Resultados del 2do parcial
Práctica 7 y slides
Enviado por
Webmaster
el Vie, 06/11/2015 - 15:04
(Originalmente publicado por
Dante Zanarini
en el sitio anterior)
Ya están disponibles estos archivos.
Leer más
sobre Práctica 7 y slides
Práctica 6
Enviado por
Webmaster
el Mié, 14/10/2015 - 11:24
(Originalmente publicado por
Pablo Verdes
en el sitio anterior)
En la sección Archivos está disponible la Práctica 6: Lógica de predicados - Deducción Natural.
Leer más
sobre Práctica 6
Resultados del 1er parcial
Enviado por
Webmaster
el Mar, 06/10/2015 - 11:03
(Originalmente publicado por
Pablo Verdes
en el sitio anterior)
En la sección Archivos se encuentran disponibles los resultados del 1er parcial.
Leer más
sobre Resultados del 1er parcial