UNIVERSIDAD SIMÓN BOLÍVAR

DEPARTAMENTO DE COMPUTACIÓN Y TECNOLOGÍA DE LA INFORMACIÓN
CI2521 Estructuras Discretas I

 

Tareas y Prácticas para el trimestre septiembre-diciembre 2004:

Notas Acumuladas

Calendario para el trimestre septiembre-diciembre 2004

Semana

LUNES

MARTES

JUEVES

1

 

Introducción: Conjuntos y definiciones básicas. Axiomas de Extensión y Separación

Subconjunto: Def. y propiedades. Teo. Doble Contención. Operaciones: Unión,Intersección y Diferencias

2

Ejercicios

Tarea1

Familias:Def., Operaciones. Ax. Conjunto Potencia.

Conjunto Potencia:Def.,Prop.

3

Ejercicios

Inducción: Def.,teoremas

Inducción (continuación...)

4

Ejercicios

Tarea 2

Prod.Cartesiano: Def.; Prop. Relaciones:Introducción.Propiedades. Dominio.Rango

 Restricción de una Rel.. Relación inversa. Secuenciación de relaciones:Def., Propieda- des. Tipos de relaciones

5

Ejercicios

 

Feriado (12 de Obtubre)

 Parcial I

6

Ejercicios

Tarea 3

Composición de relaciones. Orden Parcial.

 Ord.Total. Buen Orden. Orden Topológico.

7

Ejercicios

Clausura de Relaciones

Continuación de Clausuras

8

Ejercicios

Tarea 4

Parcial II

 

 Relaciones de equivalencia.
Propiedades. Conjunto Cociente

9

Ejercicios

 

 Partición:Def.Propiedades Composición de Funciones. Funciones definidas parcialmente.

10

Ejercicios

Tarea 5		 Funciones Inversas

 

 		Conjuntos que admiten Inducción

 

11

Ejercicios

Conti...

Conjuntos Finitos.

Conjuntos Contables

12

 Ejercicios

Parcial III

  

Acumulado en las Tareas (en forma global): 10 puntos
Acumulado en Parciales: 90 puntos Distribuidos en:

30% (Parcial I) Semana 5

30% (Parcial II) Semana 8

30 % (Parcial III) Semana 12
Total acumulado:100 puntos

Bibliografía de consulta:
  1. A Logical Approach to Discrete Math. David Gries & Fred B. Schneider. Springer Verlag.1993.
  2. Discrete Mathematics in Computer Science. Donald F. Stanat & David Mc Allister.Prentice Hall.1977
  3. Elementos de Teoría Axiomática de Conjuntos. Vicente Yriarte. USB [.ps]
  4. Naive Set Theory. P. Halmos
  5. Pedro R. Borges, Problemario para CI2521: Estructuras Discretas I. Reporte CI-1994-001 Formato pdf, Formato ps.gz