Profesor | Fernando Javier Nuñez Rosales | lu mi vi | 14 a 15 | O130 |
Ayudante | David Ernan Huerta Guerrero | ma ju | 14 a 15 | O130 |
El objetivo de este curso es dotar al alumno de los conocimientos de la teoría de los conjuntos y la lógica matemática que son útiles en carreras como matemáticas, actuaría, etc. Cuando se hacen matemáticas todo tiempo se está empleando una lógica adyacente, si esta se conoce y se maneja puede ser una herramienta muy potente. Las matemáticas como hoy las conocemos tienen una gran carga teórico-conjuntista. Casi todos los objetos que se estudian en la matemática son conjuntos. Por esto resulta conveniente saber como se portan estos objetos donde está apoyada mucha matemática.
Algunos tópicos a revisar son:
- Demostraciones
- La lógica en la matemática
- Lenguajes formales
- Sistemas formales
- Operaciones lógicas
- Tables de verdad
- ¿Verdad matemática?
- Axiomas de la teoría de conjuntos
- Funciones
- Cardinalidad
- Operaciones conjuntistas finitas
- Operaciones conjuntistas infinitas
- Conjuntos B-F-Inductivos
Como se puede ver el temario oficial será cubierto.
La forma de evaluación se acordará con el ayudante.