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

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

modal-imprimir.pdf

Enviado por Webmaster el Jue, 05/11/2015 - 17:48
(Originalmente subido por Marcos Pividori en el sitio anterior)

Archivo: 
Icono PDF modal-imprimir.pdf
  • Leer más sobre modal-imprimir.pdf

modal.pdf

Enviado por Webmaster el Jue, 05/11/2015 - 17:47
(Originalmente subido por Marcos Pividori en el sitio anterior)

Archivo: 
Icono PDF modal.pdf
  • Leer más sobre modal.pdf

Páginas

  • « primera
  • ‹ anterior
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • …
  • 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