Introducción a la Lógica y la Computación

* Cursado: Segundo cuatrimestre de 2012

* Profesores: Carlos Areces, Mariana Badano, Héctor Gramaglia, Ezequiel Orbe, Miguel Pagano

Generalidades

  • La materia se divide en tres partes, que corresponden con los tres grandes ejes temáticos.
  • Parte 1: Estructuras Ordenadas. A cargo de Héctor Gramaglia, se desarrolla en el período 22/8 al 14/9.
  • Primer Parcial: 19/9/2012.
  • Parte 2: Lógica. A cargo de Miguel Pagano, se desarrolla en el período 26/9 al 19/10.
  • Segundo Parcial: 26/10/2012.
  • Parte 3: Lenguajes y Autómatas. A cargo de Carlos Areces, se desarrolla en el período 24/10 al 21/11.
  • Tercer Parcial: 23/11/2012.
  • Promoción: obteniendo al menos 6 en cada uno de los parciales, con promedio al menos 7, y aprobando un coloquio que se sustancia al finalizar el cuatrimestre.
  • Regularidad: aprobando 2 parciales con al menos 4.

Apuntes

Para experimentar en Haskell

Pueden descargar una definición de la sintaxis para programar algunas funciones sobre las proposiciones.

Parciales

Cuatrimestres anteriores

Apuntes

Parciales

 
intrologica/main.txt · Última modificación: 2012/09/28 04:58 por mpagano
 
Excepto donde se indique lo contrario, el contenido de esta wiki se autoriza bajo la siguiente licencia:Public Domain
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Run by Debian Driven by DokuWiki