Pasar al contenido principal
Inicio Departamento de Ciencias de la Computación Logo LCC
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
Logo FCEIA Logo UNR

Menú principal

  • Inicio
  • Departamento
  • LCC
  • Materias
  • Ingresantes
  • Docentes

Formulario de búsqueda

Login Menu

  • Login

Idiomas

  • Es
  • En

Usted está aquí

Inicio » Lógica
  • Materias
  • Perfil y Plan
  • Jornadas de Cs. de la Computación
  • Tesinas de Grado
  • El Proyecto PROMINF‐LCC‐FCEIA
  • Lista de correo

Lógica

Lógica

r223
Archivos
Icono PDF Programa Analítico
Horario: 
Lista de Correo: 
logica@fceia.unr.edu.ar
Descripción: 

Profesor: Dante Zanarini (dante [at] fceia.unr.edu.ar)
 

La asignatura se ubica en el 2º cuatrimestre de 2º año de la carrera de Lic. en Cs. de la Computación. La lógica es una disciplina básica de las ciencias de la computación, por lo que su inclusión como actividad curricular es fundamental. En el curso se presentan diferentes formalismos lógicos, sus principales propiedades y limitaciones. Asimismo, se presentan aplicaciones a problemas de especificación y verificación.

 

Objetivos:

  1. Comprender diferentes modelos lógicos, desde un enfoque sintáctico y semántico.
  2. Conocer las principales características y limitaciones de la lógica.
  3. Expresar sus ideas y razonamientos en forma clara y precisa, fomentando la rigurosidad y formalidad en sus razonamientos y demostraciones.
  4. Resolver problemas de programación y verificación utilizando formalismos lógicos.

Otros docentes:

- Verdes, Pablo

- Bianchi, Gabina
- Gurmendi, Hernan

- Pividori, Marcos

 

El contenido principal de la materia se encuentra disponible en el campus virtual.

La contraseña es: LogicaLCC

Año: 
Segundo año
Cuatrimestre: 
Segundo cuatrimestre

Últimas noticias

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

Logica_2015 - Parcial 1.pdf

Enviado por Webmaster el Mar, 06/10/2015 - 11:02
(Originalmente subido por Pablo Verdes en el sitio anterior)

Resultados del 1er parcial
Archivo: 
Icono PDF Logica_2015 - Parcial 1.pdf
  • Leer más sobre Logica_2015 - Parcial 1.pdf

practica_5.pdf

Enviado por Webmaster el Mié, 30/09/2015 - 23:33
(Originalmente subido por Pamela Viale en el sitio anterior)

Práctica 5: Lógica de Predicados, Semántica
Archivo: 
Icono PDF practica_5.pdf
  • Leer más sobre practica_5.pdf

Páginas

  • « primera
  • ‹ anterior
  • …
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • …
  • siguiente ›
  • última »

Contacto

Administración: webmasterlcc@fceia.unr.edu.ar
Preguntas: ingrlcc@fceia.unr.edu.ar

Logo FCEIA Logo UNR
  • Inicio
  • Departamento
  • LCC
    • Materias
    • Perfil y Plan
    • Jornadas de Cs. de la Computación
    • Tesinas de Grado
    • El Proyecto PROMINF‐LCC‐FCEIA
    • Lista de correo
  • Materias
  • Ingresantes
  • Docentes
Diseñado por
Sitemap