Descripción |
Este objeto pretende lograr los siguientes objetivos:
- Introducir al usuario en técnicas de razonamiento lógico y razonamiento combinatorio, y en general, métodos discretos.
- Se incluyen temas como algoritmos, inducción matemática, aritmética residual y sistemas numéricos.
- Se hace un tratamiento matemático de lo que es un algebra de Boole, a partir del concepto de relación de orden.
- Se introduce el concepto de grafos y de máquinas de tiempo finito que enfatiza la modelación y las aplicaciones.
- Se tocan temas de discretización de señales haciendo énfasis en el concepto de sumatoria de convolución, ecuaciones en diferencias homogéneas y no homogéneas. Se finaliza con el estudio de la transformada Z.
- Se incluyen gran variedad de aplicaciones, que buscan desarrollar la madurez matemática del estudiante mediante el estudio de un área tan diferente al cálculo.
|
Palabras clave |
silogismo, leyes de implicación, noción de cálculo, razonamiento lógico, deducción, axiomas, método directo, adjunción, proposición, cuantificadores, simbolización, cuantificación, tablas de verdad, lógica proposicional, leyes de intercambio, doble negación, predicado, negación de cuantificadores, simbolización, semiótica, conmutatividad, discretización, aritmetica residual, lógica cuantificacional, álgebra boleana, sistemas numéricos |