Skip to main content
Home Computer Science Department Logo LCC
Computer Science Department
Computer Science Department
Faculty of Exact Sciences, Engineering and Surveying
National University of Rosario
Logo FCEIA Logo UNR

Main menu

  • Home
  • Department
  • LCC
  • Courses
  • Admissions
  • People

Search form

Login Menu

  • Login

Languages

  • En
  • Es

You are here

Home » Lógica

Lógica

Lógica

r223
Archivos
PDF icon 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

Latest news

Resultados del 1er parcial

Submitted by Webmaster on Tue, 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.
  • Read more about Resultados del 1er parcial

Logica_2015 - Parcial 1.pdf

Submitted by Webmaster on Tue, 06/10/2015 - 11:02
(Originalmente subido por Pablo Verdes en el sitio anterior)

Resultados del 1er parcial
Archivo: 
PDF icon Logica_2015 - Parcial 1.pdf
  • Read more about Logica_2015 - Parcial 1.pdf

practica_5.pdf

Submitted by Webmaster on Wed, 30/09/2015 - 23:33
(Originalmente subido por Pamela Viale en el sitio anterior)

Práctica 5: Lógica de Predicados, Semántica
Archivo: 
PDF icon practica_5.pdf
  • Read more about practica_5.pdf

Pages

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

Contact

Administration: webmasterlcc@fceia.unr.edu.ar
Enquiries: ingrlcc@fceia.unr.edu.ar

Logo FCEIA Logo UNR
  • Home
  • Department
  • LCC
  • Courses
  • Admissions
  • People
Designed by
Sitemap