Dicen que las matemticas son el lenguaje de la ciencia es sin duda el lenguaje de la teora de la computacin, la disciplina cientfica que

se estudia en este libro. y el lenguaje de las matemticas con ofertas de conjuntos, y las formas complejas en las que se superponen, se entrecruzan y, de hecho, participan ellos mismos en la formacin de nuevos grupos.

un conjunto es una coleccin de objetos. por ejemplo, la coleccin de las cuatro letras a, b, c, yd es un conjunto, que podemos llamar L = {a, b, c, d}. los objetos que comprende un conjunto se llaman elementos o miembros. por ejemplo, b es un elemento del conjunto L, en smbolos, b {L. veces simplemente decimos que B es en L, o que contiene L b. Por otra parte, z no es un elemento de L, y escribimos z / L. en un conjunto que no distinguen las repeticiones de los elementos. As, el conjunto {rojo, azul, rojo} es el conjunto lo mismo que {rojo, azul}. Del mismo modo, el orden de los elementos es irrelevante, por ejemplo {3,1,9} {9,3,1} y {1,3,9} son el mismo conjunto.. En resumen: dos conjuntos son iguales (que es lo mismo) si y slo si tienen los mismos elementos. los elementos de un conjunto no tiene que ser relacionado de ninguna manera (que no sea pasando a todos los miembros del mismo grupo), por ejemplo, {3, rojo, {d, azul}} es un conjunto con tres elementos, en los cuales es en s mismo un conjunto. un conjunto puede tener un solo elemento, entonces se llama un producto nico. por ejemplo, {1} es el conjunto con una como nico elemento, por lo que {1} y una son muy diferentes. tambin hay un conjunto sin ningn elemento en absoluto. naturalmente, slo puede haber un conjunto de servicios: se llama el conjunto vaco, y se denota por 0. cualquier otro conjunto que el conjunto vaco se dice que es no vaco. hasta ahora no hemos especificado establece por una simple enumeracin de todos sus elementos,

algunos juegos no se puede escribir de esta manera, porque son infinitas. por ejemplo, el conjunto N de los nmeros naturales es infinito, podemos sugerir los elementos de la escritura N = {0,1,2 ...}, con los tres puntos y su intuicin en lugar de una lista infinitamente larga. un conjunto que no es infinito es finito. otra manera de especificar un conjunto es por referencia a otros conjuntos y las propiedades de ti que los elementos pueden o no muchos tienen. As, si I = {1,3,9} y G = {3,9}, G puede ser descrito como el conjunto de elementos de I que son mayores que 2. momento de escribir este hecho de la siguiente manera. G = {x: x c I y X es mayor que 2}. en general, si un conjunto A se ha definido y P es una propiedad que los elementos de A puede o no tener, entonces podemos definir un nuevo conjunto. B = {x: x A y C x tiene la propiedad P} Como otro ejemplo, el conjunto de nmeros oddnatural es la siguiente: O = {x: x c N y x no es divisible por 2} un conjunto es un subconjunto de un conjunto B, en smbolos, A c B si cada elemento de A es tambin un elemento

de B. Por lo tanto N o C, ya que cada nmero natural es un nmero natural. en cuenta que cualquier conjunto es un subconjunto de s mismo. si A es un subconjunto de B pero A no es igual que B, se dice que A es un subconjunto propio de B y A y B. c escribir tambin que el conjunto vaco es un subconjunto de todo conjunto. ya que si B es un conjunto, entonces 0 c B, ya que cada elemento de 0 (de los cuales no hay ninguno) es tambin un elemento de B. para probar que dos conjuntos A y B son iguales, se puede probar que A, B y C B C A. cada elemento de A, entonces debe ser un elemento de B y viceversa, de modo que A y B tienen los mismos elementos y A = B. dos conjuntos se pueden combinar para formar una tercera por las operaciones de conjunto de varios, al igual que los nmeros se combinan las operaciones aithmetic como la suma. una operacin de conjunto es la unin: la unin de dos conjuntos es el conjunto que tiene como elementos de los objetos que son elementos de por lo menos uno de los dos conjuntos dados, y posiblemente de ambos. usamos el smbolo U para indicar la unin, de modo que: A U B = {x: x A o C x} cB. por ejemplo {1,3,9} U {3,5,7} = {1,3,5,7,9}. la interseccin de dos conjuntos es el conjunto de todos los elementos de los dos conjuntos tienen en comn, es decir: A n B = {x: x A y x c c B}.

por ejemplo, {1,3,9} {3,5,7} n = {3} y {1,3,9} n {a, b, c, d} = 0 Finalmente, la diferencia de dos conjuntos A y B denotada por AB, es el conjunto de todos los elementos de A que no son elementos de B. A-B = {x: x c x A y B c} por ejemplo {1,3,9} - {3,5,7} = {1,9} poperties algunas de las operaciones de conjuntos resultar fcilmente de sus efiniciones. por ejemplo, si A, B y C son conjuntos, las siguientes leyes espera. idempotencia conmutatividad asociatividad distributividad absorcin De Morgan leyes

por lo tanto, R c L y hemos establecido que L = R. dos conjuntos son disjuntos si no tienen ningn elemento en comn, es decir, si su interseccin es vaca. es posible la formacin de las intersecciones y los sindicatos de ms de dos conjuntos. si S es una coleccin de juegos, escribimos U. S para el conjunto cuyos elementos son los elementos de todos los conjuntos de S. por ejemplo, si S = {{a, b}, {b, c}, {c, d}} entonces U. S = {a, b, c, d}, y si S = {{n}.: nc N}, es decir, a la recopilacin de todos los conjuntos nico con nmeros naturales como elementos, entonces U.. S = N. en general U s = {x: x c P para algn conjunto P c S}. la coleccin de todos los subconjuntos de un conjunto A es en s un conjunto, llamado el conjunto potencia de A 2A y se denota. por ejemplo: los subconjuntos de {c, d} son {c, d} s mismo, el singleton {c} y el conjunto vaco 0, por lo que: " 2 una particin de un conjunto no vaco A es un subconjunto de este II 2A que 0 no es un elemento de II y de tal manera que cada elemento de A est en uno y slo un set en el II. que II es una particin de A si II es un conjunto de subconjuntos de A tal que: (1) cada una elementos de II no est vaco; (2) miembros de distintos II separar; (3) U pi = A por ejemplo, {{a, b}, {c}, {d}} es una particin de {a, b, c, d}, pero {{b, c}, {c, d}} no lo es. los conjuntos de nmeros naturales pares e impares forman una particin de N. determinar si cada uno de los siguientes es verdadero o falso. cules son estos grupos? escribir utilizando aparatos ortopdicos, comas, y slo nmeros probar cada uno de los siguientes Sea S = {a, b, c} la particin de s tiene el menor nmero de miembros? la mayora de los miembros? lista de todas las particiones de s con exactamente dos miembros.

CHRISTIAN EMMANUEL ALEMAN CRUZ SANCHEZ VILLADA MARINA IVETTE