Carrillo 1

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 6

Luis Fernando Herrera Mendoza Grupo:204 Informática

Actividad de: Aplicación de Matemáticas discretas

A continuación, le entrego el trabajo que ha dejado profesor carrillo, la cual es la definición de las
siguientes terminologías.

1.-Simplificación de expresiones usando leyes de conjuntos:


La teoría de conjuntos es una parte de las matemáticas que tiene un objeto de estudio propio; con métodos propios, con
ciertas relaciones con otras teorías matemáticas, en particular, con todas las teorías matemáticas tradicionales y a partir
de sus principios se mantiene la existencia, estructura y relaciones mutuas entre ellos. Es decir, que el resto de la
matemática puede expresarse en términos de conjuntos.

Se llama conjunto a toda agrupación, colección o reunión de individuos (cosas, animales, personas o números) bien
definidos que cumplen una propiedad determinada. A los objetos del conjunto se denominan (elementos).

Ejemplo: Los siguientes son algunos ejemplos de conjunto:


. El conjunto formado por los colores de la bandera de Colombia.

La colección de letras de la palabra “murciélago”.

El conjunto formado por los dígitos del número 345923238.

La agrupación de números naturales menores que 10

La agrupación de números primos entre 0 y 20.

Notación de conjuntos

Ejemplo: utilice la notación correcta para escribir los conjuntos dados en el ejemplo 7.1

A= El conjunto formado por los colores de la bandera de Colombia.

B= La colección de letras de la palabra “murciélago”

C= El conjunto formado por los dígitos del número 345923238

D= La agrupación de números naturales menores que 10

E= La agrupación de números primos entre 0 y 20


Luis Fernando Herrera Mendoza Grupo:204 Informática
Actividad de: Aplicación de Matemáticas discretas
Determinación de conjuntos

La determinación de un conjunto corresponde a la manera como éste puede expresarse. Para determinar un conjunto se
utilizan dos formas: determinación por extensión y la determinación por comprensión.

Determinación de conjuntos por extensión

Un conjunto se determina por extensión cuando se enumeran o se nombran los elementos del conjunto. Cuando el
conjunto es finito se escriben entre llaves, separados por comas. Cuando el conjunto es infinito se escriben entre llaves
algunos elementos y se ponen puntos suspensivos

Ejemplo: Determine por extensión los conjuntos del ejemplo 7.2

A={amarillo, azul, rojo}

B={m, u, r, c, i, e, l, a, g, o}

C={3,4,5,9,2,8}, no se repiten elementos

D={1, 2, 3, 4, 5, 6, 7, 8, 9}

E={1, 2, 3, 5, 7, 11, 13, 17, 19}

Determinación de conjuntos por comprensión

Un conjunto se determina por comprensión enunciando la propiedad o cualidad que distingue a los elementos. Para tal fin
se utiliza lo siguiente:
{x/x cumple la propiedad},
que se lee: el conjunto de las x tal que x cumple la propiedad

Ejemplo: Determine por comprensión los conjuntos del ejemplo 7.2

A={x/ x es un color de la bandera de Colombia}

B={x/ x es una letra de la palabra “murciélago”}

C={ x/ x es un dígito del número 345923238}

D={ x/ x es un número natural menor que 10}

E={ x/ x es número primo entre 0 y 20}


Luis Fernando Herrera Mendoza Grupo:204 Informática
Actividad de: Aplicación de Matemáticas discretas
Representación de conjuntos

Existen varias formas de representar los conjuntos: representación gráfica y representación en la computadora.

2.-Relacion entre teoría de conjuntos, lógica matemática y algebra booleana.


Luis Fernando Herrera Mendoza Grupo:204 Informática
Actividad de: Aplicación de Matemáticas discretas
La lógica a través del tiempo se ha ido consolidando como ciencia formal gracias a la dedicación de grandes pensadores.
Tratar de conocer y abarcar los orígenes y avances de esta ciencia es labor rigurosa y compleja dado a la gran magnitud
de interés y desarrollo que a tenido por casi toda la historia humana. Es por ende que iniciaré dando una breve reseña
del surgimiento de la lógica y sus avances, luego definiremos qué es un algebra y por último nos sumergiremos en el
mundo de la lógica matemática y la teoría de conjuntos.

El nacimiento de la lógica esta relacionado con el nacimiento intelectual del hombre. Ya que a partir de la directa y
constante relación entre hombre – naturaleza, el ser humano se ve en la necesidad de comprender, entender y analizar
adecuadamente los hechos que suceden a su alrededor. Es en Grecia donde la lógica inicia su desarrollo intelectual y
formal. Es a partir de Platón, quien introduce la dialéctica como la forma de relacionar el mundo de las ideas, para así,
percibir lo concreto, lo tangible. Pera ya mas adelante, es Aristóteles quien se dedica al estudio de la lógica, entendiendo
a esta como la ciencia de las ideas y procesos de la mente. Además, considera que la lógica tiene un objeto y este objeto
es la estructura de la ciencia en general que luego es la misma estructura del ser que es objeto de la ciencia. Gracias a
los aportes que realizó este filosofo griego, los estoicos continuaron con el avance de la lógica entendiéndola como la
retórica que considera los valores de verdad, falsedad o ninguno de los dos (dando lugar a las paradojas) de los
enunciados y argumentos. Los megáricos – estoicos son quienes estudian la lógica de enunciados, es decir, los
enunciados unidos por partículas conectivas como y, o, no.

Además son los estoicos quienes introdujeron algunas leyes lógicas (entendiéndolas como leyes de inferencia) como el
Modus Ponens, el Modus Tollens y el silogismo disyuntivo.
Siguiendo el avance de esta ciencia es en el medioevo etapa precursora de la lógica Aristotélica donde se destaca la
teoría general de las implicaciones, un desarrollo de la lógica de las modalidades y el tratamiento de problemas lógicos
del lenguaje.
Podemos seguir enunciando más progresos de la lógica por parte de pensadores como Pedro Hispano, quien es el que
da las notaciones de los cuantificadores universales;
Euclides quien organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa y
altamente eficaz; George Boole aplica el cálculo matemático a la lógica, fundando el álgebra de la lógica y dio un método
general para formalizar la inferencia deductiva, representando complicados raciocinios mediante sencillos sistemas de
ecuaciones; Alan Turing relaciona lógica y computación antes que cualquier computadora procese datos; Hoare presenta
un sistema axiomático de los sistemas de programación y por último ya en el siglo XXI la lógica se fusiona con la
matemática y la computación.
A partir de esta breve reseña del desarrollo de la lógica podemos establecer ciertas diferencias de la lógica clásica a la
lógica moderna o simbólica. Por ejemplo la lógica clásica empleaba un método inductivo, en cambio, ya en la lógica
moderna (que la podemos consideran a partir de Gottlob Frege) se utiliza un método deductivo riguroso.
Asimismo la lógica clásica se desempeño en abarcar un estudio sobre enunciados, argumentos, valores de verdad, en
contraste con la lógica moderna que se desempeño en reducir la aritmética a lógica, es decir, derivar los conceptos de la
aritmética de conceptos lógicos y deducir los principios aritméticos de los principios lógicos.

Ahora siguiendo el desencadenamiento de nuestra temática abarcaremos el área del algebra. Inicialmente podemos
referir que un algebra es la doctrina de las operaciones matemáticas analizadas desde un punto de vista abstracto y
genérico, independiente de el hombre se relaciona con su entorno. Desde Egipto hasta la Europa medieval y de esta
hasta nuestro días el algebra se ha ido desarrollando como una rama de la matemática y como una forma de consolidar
un pensamiento sólido, riguroso y sobre todo razonable.
Actualmente podemos identificar una gran cantidad de modelos algebraicos, pero dado el caso vamos a enunciar uno,
que es el algebra booliana, proveniente de el matemático George Boole. Un algebra booliana es un conjunto B de
elementos a, b,… dotado de dos operaciones binarias llamadas suma y producto tal que:
B1. Ley conmutativa: a+ los números u objetos concretos. El algebra al igual que la lógica se inicio desde el momento
que b=b+a . a*b=b*a

B2. Ley asociativa: (a+b)+c=a+ (b+c) . (a*b)*c=a*(b*c)


B3. Ley distributiva: a*(b+c)=(a*b)+(a*c)
B4. Elementos neutros: a+0=a . a*1=a. Entre otras.
Luis Fernando Herrera Mendoza Grupo:204 Informática
Actividad de: Aplicación de Matemáticas discretas
El objeto de estudio del algebra booliana es la búsqueda de sistemas, relaciones o funciones que se relacionan, donde
sus elementos interactúan según unas leyes axiomáticas, en las que sus propiedades son análogas a las propiedades
empleadas en las operaciones de conjuntos, de proposiciones y aritméticas. Este sistema algebraico se puede utilizar o
trabajar en sistemas, en los cuales se puedan representar dos operaciones y según las leyes axiomáticas del algebra de
Boole. Por ejemplo, las relaciones de matrices respecto a la suma y a la multiplicación; la relación entre familias de
conjuntos cerrados respecto a las operaciones de unión, intersección y complemento; la relación entre proposiciones
generadas por los operadores lógicos “y”, “o”, son algunos sistemas que identificamos como un algebra booliana.
El algebra booliana conjunto con la lógica matemática se pueden aplicar a lo que se conoce como diseños de circuitos
conmutadores. Estos diseños, son un dispositivo de alambres e interruptores, que se pueden establecer según
combinaciones en serie y en paralelo, lo que permite describir tales combinaciones con los conectores “y”, “o”,
formando polinomios booleanos. Además, para la representación del funcionamiento de un circuito en serie empleamos
dicho algebra y, se construye una tabla análoga a las tablas de verdad de las proposiciones. Cosas como las anteriores,
nos sirven para ver la importancia, la ayuda y la facilidad en que podemos utilizar el algebra de Boole, en el continuo
progreso del conocimiento y del individuo.

Siguiendo nuestro temario, principalmente la lógica matemática consta de proposiciones que se denotan por las letras
del abecedario, que a su vez pueden ser simples o compuestas y se pueden operar a partir de los conectores lógicos. Por
medio de reglas de inferencia se puede llegar al valor de verdad de cualquier proposición dada. Al igual que la lógica
matemática, la teoría de conjuntos es objeto de estudio para la ciencia dada a su aporte al conocimiento puro. La teoría
de conjuntos la podemos identificar como un modelo algebraico, dado que consta de reglas que permiten determinar
relaciones entre conjuntos y elementos. Se conoce como conjunto la clase, colección o lista de elementos que pueden
ser definidos por extensión o por compresión. Los conjuntos o los elementos del conjunto se pueden operar a partir
de algunas operaciones, como lo son la unión, intersección, diferencia y complemento que son análogas a las
operaciones aritméticas.. Finalmente, el mundo de la lógica y la teoría de conjuntos son mundos aun con gran capacidad
de investigación, avance e interés, que no solo busca la acumulación de conocimientos sino el desarrollo de un
pensamiento razonable, abstracto y lógico, y sobre todo de servir como herramienta para el progreso del gran universo
de las matemáticas.

3.-Conjuntos finitos:

Podemos decir que un conjunto finito es un conjunto con elementos distintos y que se puede contar.
Luis Fernando Herrera Mendoza Grupo:204 Informática
Actividad de: Aplicación de Matemáticas discretas
Mas formal; un conjunto finito tiene una cantidad de elementos o su cardinalidad igual a un numero natural.{
Ejemplos:

A={1,2,3,4,5} un conjunto de 5 elementos, también se puede escribir #A = 5 (Esta notación quiere decir lo que dije antes)

Los elementos no tienen por que ser solo numéricos también podemos tener un conjunto con nombres u otros
elementos no numéricos.

B={ Pablo, Rosana, Margarita, Gustavo, Juan} #B = 5

Propiedades de los conjuntos infinitos:

La union de dos o mas conjuntos finitos es finita.


La interseccion de conjuntos finitos es finita
Todo subconjunto de un conjunto finito es finito también
En particular todo subconjunto de un conjunto finito tiene una cantidad menor o igual de elementos: si  S ⊊ A y |A| = n,
entonces |S| <n.

También podría gustarte