Teoría de la computación Se lee : A esta incluido en B, A es subconjunto de B, A esta contenido en B , A es

Rama de ciencias de la computación y matemáticas que se ocupa de cómo
resolver de manera eficiente los problemas en un modelo de computación. El
parte de B.
PROPIEDADES
DIFERENCIA A
−¿B O A/B

campo se divide en dos ramas: la teoría de la computabilidad y la teoría de la

complejidad. I ) Todo conjunto está incluido en si mismo.
A⊂A
El conjunto “A menos B” que se representa A
−¿
B es el conjunto formado
por todos los elementos que pertenecen a A y no pertenecen a B.
La Teoría de la computabilidad 
La Teoría de la computabilidad es la parte de la computación que estudia los
problemas de decisión que pueden ser resueltos con un algoritmo o II ) El conjunto vacío se considera incluido en cualquier conjunto.
∅⊂A El conjunto “B menos A” que se representa B
−¿ A es el conjunto formado
por todos los elementos que pertenecen a B y no pertenecen a A.
equivalentemente con una máquina de Turing.

( A ⊂ B) A∆ B
La teoría de la complejidad computacional 
La Teoría de la Complejidad computacional estudia los recursos requeridos para III ) A está incluido en B equivale a decir que B incluye a A DIFERENCIA SIMETRICA
resolver un problema como son el tiempo y el espacio; por su parte la teoría de la
computabilidad se interesa en expresar los problemas como algoritmos sin tener
en cuenta la información sobre los recursos necesarios para ello.
Símbolo
( B ⊂ A) El conjunto “A diferencia simétrica B ” que se representa
A∆ B es el

Cualquier representación de algo. IV ) Si A no está incluido en B o A no es subconjunto de B significa que por lo conjunto formado por todos los elementos que pertenecen a (A-B) o(B-A).

( A ⊄ B)
Alfabeto COMPLEMENTO AC
Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del menos un elemento de A no pertenece a B. Dado un conjunto universal U y un conjunto A,se llama complemento de A al
lenguaje conjunto formado por todos los elementos del universo que no pertenecen al
Sintaxis V ) Simbólicamente: conjunto A.

A ⊂B ⟺ ∀ X ∈ A ⟹ X ∈B
conjunto de las reglas se lo llama la gramática formal (o sintaxis).
Notación: A’ o AC U ={1;2;3;4;5;6;7;8;9} Y U ={1;2;3;4;5;6;7;8;9}= AC={2;4;6,8}
Palabra
una cadena de símbolos formada de acuerdo a la gramática se la llama
una fórmula bien formada (o palabra)
cardinalidad
CONJUNTO DE CONJUNTOS
Es un conjunto cuyos elementos son conjuntos.
Subconjunto
⊆
Sean A y B dos conjuntos tal que todo elemento de A es también elemento de B,
Al número de elementos que tiene un conjunto Q se le llama CARDINAL DEL CONJUNTO POTENCIAL entonces decimos que:
CONJUNTO y se le representa por n(Q). El conjunto potencia de un conjunto A denotado por P(A) o Pot(A) es el conjunto
Conjunto nulo o vacio
Es un conjunto que no tiene elementos, también se le llama conjunto nulo.
formado por todos los subconjuntos de A. A es un subconjunto de B;
A ⊆B
Generalmente se le representa por los símbolos: o { }
CONJUNTO UNITARIO
Es el conjunto que tiene un solo elemento
UNION
A ∪B B es un superconjunto de A;
B⊇ A
CONJUNTO FINITO
Es el conjunto con limitado número de elementos.
CONJUNTO INFINITO
El conjunto “A unión B” que se representa asi
A ∪B es el conjunto Todo conjunto A es un subconjunto de sí mismo. Cualquier subconjunto de A que
no sea igual a A se denomina propio (cuando puede ser igual a A se
denominaimpropio). Si A es un subconjunto propio de B, escribimos:
formado por todos los elementos que pertenecen a A,a B o a ambos conjuntos.
Es el conjunto con ilimitado número de elementos.
CONJUNTO UNIVERSAL
Es un conjunto referencial que contiene a todos los elementos de una situación
particular, generalmente se le representa por la letra U
INTERSECCION
A∩B A ⊂B
De manera análoga si B es un superconjunto propio de A, escribimos:

INCLUCION
A ⊂B El conjunto “A intersección B” que se representa
A∩B es el conjunto
A ⊃B
Un conjunto A esta incluido en otro conjunto B ,sí y sólo sí, todo elemento de A es formado por todos los elementos que pertenecen a A y pertenecen a B.
también elemento de B

Sean A, B, y C conjuntos cualesquiera y U un conjunto tal que

A ⊆ U B⊆U C ⊆U ,  y   entonces:

1. A ∪ A= A
2. A ∪ A= A A ⊆ B ⟺ BC ⊆ A C 17.

3. A ∩∅=∅ 18. A ∩ B⊆ A ⊆ A ∪ B
4.
19. C ∖ ( A ⋂ B ) =(C ∖ A) ⋃(C ∖ B)
A ∪ ∅= A ELEMENTO NEUTRO DE LA UNIO20.N C ∖ ( A ∪B )=(C ∖ A)∩(C ∖ B)
5.
21. C ∖ ( B ∖ A )=( A ⋂ C) ⋃(C ∖ B)
( B ∖ A ) ⋂NC=( B ⋂ C ) ∖ A=B ⋂(C ∖ A )
A ∩U =A ELEMENTO NEUTRO DE LA INTERSECCIO
22.

6. A ∪ U=U 23. ( B ∖ A ) ⋃ C= ( B ⋃ C ) ∖( A ∖ C)
7. A ⊆ B ⇔ A ∖ B=∅ 24.

A ∩ B=B ∩ A PROPIEDADCONMUTATIVA DE A∩
25. LA B=∅ ⇔ B ∖ A=B
INTERSECCIO N
8. 26. A ∖ A=∅
A ∪ B=B ∪ A PROPIEDAD CONMUTATIVA DE
27. A=∅ N
∅ ∖ UNIO
LA
9. 28. A ∖ ∅= A
( AC )C = A PROPIEDAD DE INVOLUCIO N 29. A ∖ B= A ∩ BC
10. ¿ 30.

( A ∩ B ) ∩ C= A ∩ ( B ∩C ) PROPIEDAD ASOCIATIVA
U ∖DE A CINTERSECCIO N
A=LA 31.

11. 32. A ∖ U=∅

( A ∪ B ) ∪C= A ∪ ( B∪ C ) PROPIEDAD ASOCIATIVA DE LA UNIO N
12.

A ∩ ( B∪C )=( A ∩ B ) ∪ ( A ∩ C ) PROPIEDAD DISTRIBUTIVA DE LA INTERSECCIO N

13.
AC ∪B C = A ∩ B
14.

A ∪ ( B ∩C )=( A ∪ B ) ∩ ( A ∪C ) PROPIEDAD DISTRIBUTIVA DE LA UNIO N

15. A ⊆ B ⟺ A ∩ B= A
16. A ⊆ B ⟺ A ∪ B=B