Herramientas de usuario

Herramientas del sitio


introalg:recursado10

Organizacion de la materia

Horario de clases:

  • Teórico: de 9 a 11 (aula 13) - Docentes Paula Estrella, Laura Alonso
  • Práctico-taller: de 11 a 13 (laboratorio 30) - Docentes Araceli Acosta, Luciana Benotti

Condiciones de promoción y aprobación:

  • Regularidad: dos parciales aprobados con nota > 4 (equivalente a 60% del parcial)
  • Promoción: dos parciales aprobados con nota > 7 (equivalente a ~80% del parcial e incluye recuperatorio) + entregables del taller (los ejercicios entregados que esten bien contribuyen an algun porcentaje a la nota del parcial)

Prácticos

Materiales del curso:

  • Libro: Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008.

Calendario de las clases teoricas

Día Temas Capítulos Día Temas Capítulos
10-08 presentación, oraganizacion, intro ecuacional en aritmética 30-09 Analisis de razonamientos complejos Cap 4
12-08 cálculo ecuacional en aritmética (operadores y tipado) Cap 1 05-10 Caballeros y picaros Cap 4
17-08 operadores y tipado con listas Cap 7 07-10 Caballeros y picaros Cap 4
19-08 induccion y recursion Cap 10 12-10 Calculo de predicados (operadores y tipado) Cap 5
24-08 induccion y recursion Cap 10 14-10 Calculo de predicados: propiedades, axiomas, teoremas del ∃ Cap 5
26-08 Consulta teorico/practico 19-10 Calculo de predicados: propiedades, axiomas, teoremas del ∀ Cap 5
31-08 Calculo proposicional: operadores, tipado, Calculo proposicional: axiomas/teoremas ≡, ¬, ≠ Cap 3 21-10 Calculo de predicados: debilitamiento y monotonia Cap 5
02-09 Calculo proposicional: axiomas/teoremas Λ, ∨ Cap 3 26-10 Calculo de predicados: demostraciones Cap 5
07-09 Calculo proposicional: axiomas/teoremas ⇒, ⇐ Cap 3 28-10 formalización de proposiciones con predicados Cap 5
09-09 Analisis de razonamientos 02-11 Analisis de razonamientos predicados Cap 5
14-09 Consulta 04-11 Analisis de razonamientos predicados Cap 5
16-09 Consulta teorico/practico 09-11 Consulta teorico/practico
21-09 Semana del estudiante 11-11 Parcial 2 - 9-13 hs AULA 25
23-09 Semana del estudiante 16-11 Consulta teorico/practico
28-09 Parcial 1 - 9-13 hs AULA 13 18-11 Recuperatorio - 9-13 hs AULA 25
introalg/recursado10.txt · Última modificación: 2010/10/12 09:31 por benotti