Estructuras Discretas II
Bienvenida
Bienvenidos a “Estructuras Discretas II”
Este es un curso orientado al estudio de conceptos abstractos básicos en computación y a la comprensión y desarrollo de argumentos demostrativos que siguen las reglas de inferencia de la Lógica Proposicional en un contexto matemático expuesto en forma precisa.
El arte de proponer una pregunta debe considerarse de mayor valor que resolverla George Cantor Universidad Simón Bolívar
Características
Asignatura
Presencial
Duración 12 semanas
Universidad Simón Bolívar
Semana Cuatro horas de teoría Dos horas de práctica Dos horas de consulta en aula
Objetivo General
El aprendizaje y manejo de conceptos abstractos básicos en computación. Elaboración de argumentos de demostración dentro de un contexto matemático definido en forma precisa.
Universidad Simón Bolívar
Objetivos Específicos
Adquirir dominio en el manejo de, estructuras definidas en forma abstracta, relaciones y funciones. Adquirir conocimientos Cardinalidad.
básicos
en
Teoría
de
Argumentar razonamientos sólidos de inferencia, a nivel básico, en un contexto formal.
Universidad Simón Bolívar
Temario Teoría básica de Conjuntos
Relaciones Binarias
Relaciones de Orden
Relaciones de Equivalencia
Potencia de Relaciones y Clausuras
Universidad Simón Bolívar
(Continuación)
Números Naturales. Definición.
Principio de Inducción
Definiciones Inductivas
Funciones
Universidad Simón Bolívar
Teoría Básica de Cardinalidad
Bibliografía [Yri01] Vicente Yriarte (2001). Elementos de Teoría Axiomática de Conjuntos. Universidad Simón Bolívar. Disponible en el URL, http://ldc.usb.ve/~hcastro/documentos/CI2521/LibroTeoConjYriarte.pdf
[Stat77] Donald F. Stanat & David Mc Allister (1977). Discrete Mathematics in Computer Science. Prentice Hall. [Contre13]
Xiomara Contreras (2013). Familia
de
Conjuntos.
Disponible en el URL. http://ldc.usb.ve/~xiomara/ci2526/Familias_de_conjuntos.pdf
[Hal60] Paul Halmos (1960). Naive set Theory. Disponible en el URL
http://sistemas.fciencias.unam.mx/~lokylog/images/stories/Alexandria/Logica%20y %20Conjuntos/Paul%20R.Halmos%20-%20Naive%20Set%20Theory.pdf
[SEncPh14]Stanford Encyclopedia of Philosophy (2014). Russell's Paradox. Disponible en el URL, http://plato.stanford.edu/entries/russell-paradox
Universidad Simón Bolívar
Evaluación
Actividades evaluativa s de los temas 1 y 2 Valor 22% Actividades evaluativa s de los temas 3, 4 y 5 Valor 39% Actividades evaluativa s de los temas 6, 7 y 8 Valor 39%
Universidad Simón Bolívar
Recomendaciones Expresar en el Foro Dudas y Consultas, ubicado en el bloque introductorio, cualquier duda o consulta concerniente al contenido del curso. Alcanzar los objetivos antes mencionados puede requerir una dedicaci贸n aproximada de cuatro(4) horas a la semana para la asignatura.
Est谩n invitados a explorar el aula virtual y revisar el material disponible Universidad Sim贸n Bol铆var