| 
 Curso a cargo de Sylvia da Rosa, docente del 
Instituto de Computación (InCo)
de la at  Facultad de Ingeniería 
de la Universidad
de la República, Montevideo,
Uruguay.  
  
Para comunicarse con la docente: 
- email: darosa(arroba)fing.edu.uy 
 
- telef.:  +598-02-7114244
 
- interno: 115 
 
 
Fax, Postal
address, etc.. 
 
  
Información general 
 Información
  
Materiales 
 Manual de ISetL
 
  Matemática discreta
  Matemática y programación
 
 Actividades 
  Actividad 0
   Actividad 1 
   Actividad 2 
   Actividad 3
   MD03.txt
   Actividad 4 
 
 Discusión 
  Discusión 0
   Discusión 1 
   Discusión 2
   Discusión 3 
   Discusión 4 
 
 Trabajo en máquina 
  Máquina 0
  MD01.txt 
   Máquina 1 
   Máquina 2
   Máquina 3
   Complemento 3
   Máquina 4
 
 Trabajos finales 
Curso 2008
  Lógica de predicados
   Funciones
   Proposiciones
 Curso 2007
  Lógica de predicados
   Lógica proposicional y funciones lógicas usando ISetL
   Sucesiones, funciones por recurrencia, teoría combinatoria
   El lugar de los naturales en la sociedad de la información
   Divisores y MCD
   
Cálculo de proposiciones utilizando conjuntos y funciones
  
 
Curso 2006 
  Construir Conceptos de Divisibilidad en Formación Docente aplicando IsetL
   Trabajando Divisibilidad con IsetL
   De las Definiciones por Recurrencia a las Demostraciones por Inducción Completa
   Conjuntos y Lógica
   Divisibilidad
   Divisibilidad, Funciones y Conjuntos
   Progresiones Aritméticas y Geométricas
 
 Anteriores a 2006 
 Trabajo 1
  Trabajo 2
  Trabajo 3
  Pautas para la elaboración
 
 Jornadas sobre Matemática Discreta en Rivera, setiembre 2006: 
evaluación final
 Trabajo para la evaluación final de las Jornadas  
  Resultados de la evaluación final de las Jorn
adas
  (
To InCo. home page.)  
 |