Matemática Discreta usando Isetl

Docente

Información general

Materiales

Actividades

Discusión

Trabajo en máquina

Trabajos finales

Jornadas sobre Matemática Discreta en Rivera, setiembre 2006: evaluación final

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