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.)
|