Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

Actividad # 2 Foro De Reconocimiento

Presentado Por: Andrs Julin Mendoza Enrquez Cdigo: 13749054 Grupo # 09

Presentado a: Ing. Carlos Alberto Amaya Tarazona

UNIVERSIDAD ABIERTA Y A DISTANCIA (UNAD) SANTANDER/BUCARAMANGA 05 DE MARZO DE 2014

Pgina 1

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

Objetivos

Objetivo General
Reconocer nociones bsicas de conjuntos y su aplicacin.

Objetivos Especficos
Reforzar conceptos bsicos de la Teora de Conjuntos. Interpretar funciones bsicas de los conjuntos. Hacer un recorrido por el aula e identificar las temticas del curso. Definiciones y conceptos de expresiones regulares, gramticas, lenguajes, alfabetos, cadenas.

Pgina 2

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

Introduccin
La teora de conjuntos es una rama de las matemticas que estudia los conceptos de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cualquier teora matemtica. Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras geomtricas, ...; y junto con la lgica permite estudiar los fundamentos de esta. En el desarrollo de esta actividad aplicaremos una de las ms conocidas formas de graficar, la cual se conoce como Los Diagramas de Venn, son ilustraciones usadas en la rama de la Matemtica y Lgica de clases conocida como teora de conjuntos. Estos diagramas se usan para mostrar grficamente la agrupacin de cosas elementos en conjuntos, representando cada conjunto mediante un crculo o un valo. La posicin relativa en el plano de tales crculos muestra la relacin entre los conjuntos.

Pgina 3

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

Desarrollo de la Actividad
Sean A, B, C conjuntos y U el conjunto Universal: Demuestre las siguientes propiedades con un ejemplo (asigne libremente smbolos a sus conjuntos) y explica en qu consiste cada propiedad (identifquela) en caso de que la sea:

1. A U = ?

Pgina 4

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

2. A = ?

3. A = ?

Pgina 5

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

4. A U U = ?

5. A U = ?

Pgina 6

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

6. A U A c = ?

6. A

A U A= U A
2 6 7 8 10 11 12
C

1 3 4 5 9

7. A A c = ?

8. A A = ?

Pgina 7

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

9. (A B)c = Ac U Bc

3 5 9

2, 3, 5, 6, 7, 8, 9, 10, 11, 12

9.

(A

B) = A

A
1 4 2 6 7 8 10 11 12

B
2 3 8 10 6 5 11 12 7 9

2, 3, 5, 6, 7, 8, 9, 10, 11, 12

Pgina 8

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

10. A U (B - A) = A U B

Pgina 9

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

11. (A U B ) ( A B) = (A B) U ( B A )

11.

(A U B) - (A

A
3 5 9 1 4 2 6 7

A
3 5 9 1 4 2 6 7

AUB 2 3 6 7 5 9

1 4

A U B = {1, 2, 3, 4, 5, 6, 7, 9}

B = {1, 4}

(A U B) (A

B) = {2,3,5,6,7,9}

A 5 3 9 1 4 2 6 7

A 5 3 9 1 4 2 6 7

A-B 3 5 9 2 6 7

B-A

A B = {3, 5, 9}

B - A = {2, 6, 7}

(A - B) U (B - A) = {2,3,5,6,7,9}

Pgina 10

B) = (A - B) U (B - A) B

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

12. A U (B U C) = (A U B) U C

Pgina 11

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

13. A (B C) = (A B ) C

13.

A (B

C) = (A

C) C

B
4 6 7 1 2 3 8 10

A
34 89 1 2

B C

C {1,2}

A (B

C) = {1}

B
3 5 9 1 4 2 6 7

A B
4 1 2 3 8 10

A B = {1,4}

(A

B)

Pgina 12

C = {1}

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

14. A U (B C) = (A U B ) (A U C)

Pgina 13

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

15. A (B U C) = (A B) U (A C)

Pgina 14

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

16. A U B = B U A

16.

AUB=BUA

A
3 5 9 1 4 2 6 7

B =

B
2 6 7 1 4 3 5 9

A U B = {1,2,3,4,56,7,9}
17. A B = B A

B U A = {1,2,3,4,56,7,9}

Pgina 15

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

18. A B = (A U B) \ (A B)

Pgina 16

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI Programa Ingeniera de sistemas Autmatas Y Lenguajes Formales 301405A

Bibliografa
http://es.wikipedia.org/wiki/Diagrama_de_Venn http://www.wolframalpha.com/input/?i=A+union+B+intersection+C https://www.google.com.co/search?q=diagramas+de+venn&tbm=isch&imgil=a_TAk 5CPFjAs2M%253A%253Bhttps%253A%252F%252Fencryptedtbn0.gstatic.com%252Fimages%253Fq%253Dtbn%253AANd9GcS1roIOKgenu3RXy0fEQQcR67wRrIhIQN_InjMkS3JVwnVCnYu%253B500%253B470%253Bz VEtCfy3Y4pZM%253Bhttp%25253A%25252F%25252Fes.wikipedia.org%25252Fwiki%25252FDia grama_de_Venn&source=iu&usg=__aJ0t5m2AnIZ2S9gtC88I3jwDE8%3D&sa=X&ei=NogUU5jQEtPOkQfukIGwAQ&sqi=2&ved=0CDAQ9 QEwAg&biw=1366&bih=705#facrc=_&imgdii=_&imgrc=a_TAk5CPFjAs2M%253A%3B zVEtCfy3Y4pZM%3Bhttp%253A%252F%252Fupload.wikimedia.org%252Fwikipedia%252Fcommo ns%252F6%252F63%252FVenn_diagram_cmyk.png%3Bhttp%253A%252F%252Fes. wikipedia.org%252Fwiki%252FDiagrama_de_Venn%3B500%3B470 http://www.youtube.com/watch?v=l6DVyLgcIBc

Pgina 17