Las matemáticas discretas es una herramienta fundamental para el estudio de las ingenierías, y en especial, para las áreas de las nuevas tecnologías de la información.
En lógica, la lógica
proposicional es un
sistema formal diseñado
para analizar ciertos
tipos de argumentos.
Logica predicados
La lógica de predicados estudia las frases
declarativas con mayor grado de detalle,
considerando la estructura interna de las
proposiciones.
Teoria de conjuntos
Para el entendimiento de las
matemáticas siempre se
estudia como base el tema de
conjuntos, y el caso particular
de las matemáticas discretas,
esto no puede pasarse por
alto, debido que en esta
materia se requiere
conceptualizar y crear
conjuntos de elementos para
agrupar datos y relacionarlos
conforme informaciones
específicas que se tienen, por
ejemplo para el algebra
booleana o bien para grafos,
por mencionar algunos
ejemplos.
Induccion Matematica
La inducción matemática es un método de demostración que
generalmente se utiliza cuando se trata de establecer la
veracidad de una lista infinita de proposiciones.
Una descripción informal de la inducción matemática puede ser ilustrada por el efecto dominó,
donde ocurre una reacción en cadena con una secuencia de piezas de dominó cayendo una detrás de
la otra.
Relaciones Y funciones
Relaciones
El concepto de relación surge de manera
natural en el análisis de un sistema. Un
ejemplo, en los números Naturales se
establece la relación “… es menor que ...”.
Bajo esta relación R el número 2 se relaciona
con el 3: 2 es menor que 3, pero no así al
contrario (3 no es menor que 2).
Funciones
Intuitivamente una función es una regla que asocia
elementos de un conjunto A con elementos de un
conjunto B de modo que el elemento del conjunto A
se asocia con uno y sólo un elemento del segundo
conjunto.
Grafos
La Teoría de Grafos juega un papel
importante en la fundamentación
matemática de las Ciencias de la
Computación. Los grafos constituyen
una herramienta básica para modelar
fenómenos discretos y son
fundamentales para la comprensión de
las estructuras de datos y el análisis de
algoritmos
Que es?
Parte de la Matemática encargada del estudio de los conjuntos discretos
y las formalizaciones que dependen de éstos.