Programa para Temas Selectos de Matemticas Aplicadas I.

Grupo OPEXT01

Trimestre 15-O
Ma. de la Asuncin Preisser Rodrguez.

El objetivo de este curso es que el estudiante obtenga algunos conocimientos de ciertos tpicos con
un propsito ms bien recreativo, aunque para ello es necesario manejar previamente los conceptos
formalmente con la seriedad que es propia de cualquier materia. Veremos teora de conjuntos, con
algunas aplicaciones, as como conocimientos elementales de lgica tanto de lgica de enunciados
como de lgica de predicados para que el alumno pueda resolver ejercicios y acertijos accesibles.
Tengo contemplado, si nos da tiempo, al final ver un poco de geometra, en especfico ver la
relacin urea y algunas aplicaciones en el arte y la arquitectura.
I. Elementos de teora de conjuntos.
1. Definicin de conjunto por extensin y por comprensin, notacin y diagramas de Venn.
2. Operaciones elementales entre conjuntos: unin, interseccin, diferencia, complemento, producto
cartesiano, conjunto de subconjuntos. Diagramas de Venn.
3. Relaciones entre conjuntos: igualdad y contencin de conjuntos. Diagramas de Venn.
4. Principales resultados de los conceptos mencionados en los puntos anteriores.
5. Resolucin de ejercicios prcticos utilizando diagramas de Venn, y los conceptos y resultados
previos.
II. Elementos de Lgica.
II.1.Lgica de enunciados.
1. Enunciados simples y compuestos. Simbolizacin de enunciados compuestos.
2. Condiciones de verdad para enunciados. Tablas de verdad. Tautologas, contradicciones,
enunciados contingentes. Equivalencia lgica. Negacin de enunciados.
3. Conceptos de argumento lgicamente vlido y de argumento lgicamente invlido.
4. Resolucin de acertijos utilizando los valores de verdad y razonando segn la lgica clsica.
5. Argumentos en lenguaje de enunciados. Demostracin de la validez o invalidez de argumentos
usando valores de verdad.
II.2. Lgica de predicados.
1. Smbolos de predicados y cuantificadores para reflejar las estructuras de enunciados del tipo
Todo A es B, Algn A es B, Ningn A es B.
2. Relacin entre el tipo de enunciados mencionados en el punto anterior y conjuntos. Diagramas de
Venn que lo reflejan.

3. Aplicacin de las relaciones entre conjuntos para determinar la validez o invalidez de argumentos
utilizando diagramas de Venn.
III. La relacin urea.
Construccin geomtrica de segmentos y figuras en relacin urea. La serie de Fibonacci, el nmero
phi. Detectar esta relacin geomtrica en pinturas, esculturas, flores, construcciones humanas.

Bibliografa:
La divina proporcin. Bonell, C. Alfaomega grupo editor S.A. de C.V. 2000
Teora de Conjuntos y temas afines. Lipschutz, S. MacGraw- Hill. 1991.
Lgica y argumentacin. Bustamante, A. Prentice Hall, 2009.
La dama o el tigre. Smullyan, R. Ctedra. 1998.
Introduccin a la lgica matemtica. Suppes,P. & Hill,S. Revert. 1999.