CONCEPTOS BSICOS DE LAS CIENCIAS

COMPUTACIONALES

Objetivo:
Identificar los conceptos bsicos de las ciencias computacionales, mediante ejercicios
prcticos de conjuntos, relaciones y una introduccin a la creacin de alfabetos y
lenguajes que le apoyen en su prctica profesional.
Instrucciones:
Realiza los siguientes ejercicios:
1.- La definicin de conjunto es la siguiente: Un conjunto es una coleccin de
objetos llamados elementos. Si A es un conjunto y a es un elemento, se utiliza la
notacin aA. Si A y B son conjuntos y todos los elementos de A son tambin
elementos de B, se escribe AB y se dice que A es un subconjunto de B. Tomando
esta notacin como ejemplo, defina los incisos a, b y c y liste tres propiedades para
cada concepto, agregue un ejemplo para cada caso tomando el conjunto de
nmeros naturales como punto de partida:
a. Unin
Llamaremos unin de dos conjuntos A y B al conjunto formado por todos los
elementos que pertenecen a A o pertenecen a B.

AB = {x| xA xB} = {x| xA v xB}

Ejemplo: Sea A el conjunto de los nmeros naturales mayores o iguales

que 1 pero menor o igual que 5, y B el conjunto de nmeros naturales
mayores que 3 y menores que 8. En ese caso, A={1,2,3,4,5}; B={4,5,6,7};
AB={1,2,3,4,5,6,7}.
Nota 1: Evidentemente, cada conjunto de los que se unen est
incluido en la unin: A AB y B AB
Nota 2: La unin de tres o ms conjuntos puede definirse de un
modo anlogo. Si los conjuntos son A, B, C: ABC = {x| xA
xB xC}

Tambin podramos generalizar del modo siguiente: La unin de dos o ms

conjuntos es el conjunto formado por los elementos que pertenecen por lo
menos a uno de ellos.

Propiedades:
Propiedad 1: La unin de un conjunto consigo mismo, es el
propio conjunto original.

AA = A
Para demostrarla:
AA = {x| xA xA} = {x| xA} = A
AA = A

Si A={1,2,3,4,5} AA={1,2,3,4,5}; por lo tanto: AA = A

Propiedad 2: La unin de conjuntos es una operacin
conmutativa.
AB = BA
Lo demostraremos aplicando la definicin. En ambos casos llegamos al mismo conjunto:
AB = {x| xA xB}
BA = {x| xB xA}
AB = BA
Si A={1,2,3,4,5} y B={4,5,6,7}
AB={1,2,3,4,5,6,7}; BA={4,5,6,7, 1,2,3}; como AB tiene los mismos elementos que
BA entonces se demuestra que AB=BA
Propiedad 3: La unin de conjuntos es una operacin
asociativa.
(AB)C = A(BC)
Demostracin: Aplicando sucesivamente la definicin de unin de conjuntos:
(AB)C = {x| x(AB) xC}
AB = {x| xA xB}
Entonces:
(AB)C = {x| xA xB xC} [1]
Por otro lado, y aplicando la misma definicin:
A(BC) = {x| xA x(BC}
BC = {x| xB xC}
O sea:
A(BC) = {x| xA xB xC} [2]
Como los segundos miembros de las igualdades [1] y [2] son iguales entre s, entonces
tambin son iguales los primeros miembros, lo que demuestra la propiedad:
(AB)C = A(BC)
Si A={1,2,3,4,5} y B={4,5,6,7}; C={6,8,10}
AB={1,2,3,4,5,6,7}; (AB)C={1,2,3,4,5,6,7,8,10}
Por otro lado:
BC={4,5,6,7,8,10}; A(BC)={1,2,3,4,5,6,7,8,10}

Como (AB)C tiene los mismos elementos que A(BC), queda demostrada as que la
unin de conjuntos es una operacin asociativa.
b. Interseccin
Llamaremos interseccin de dos conjuntos A y B al conjunto formado por los
elementos que pertenecen a A y a B.

AB = {x| xA y xB } = {x| xA xB }

De un modo anlogo se define la interseccin de tres o ms conjuntos: es

el conjunto formado por los elementos comunes a todos los conjuntos
dados.

Ejemplo
a. Sean los conjuntos:

A={1,2,3,4,5}

B={4,5,6,7}

C={6,8,10}

ABC={4,5,6}
Propiedad 1: La interseccin de conjuntos es una operacin conmutativa.

AB = BA

Lo demostraremos aplicando la definicin. En ambos casos llegamos al

mismo conjunto:
AB = {x| xA y xB } = {x| xA xB }
BA = {x| xB y xA } = {x| xB xA }
AB = BA

Si A={1,2,3,4,5} y B={4,5,6,7}
AB ={4,5}; BA ={4,5}; como AB tiene los mismos elementos que
BA entonces se demuestra que AB=BA

Propiedad 2: La interseccin de conjuntos es una operacin asociativa.

(AB)C = A(BC)

Demostracin:
Aplicando sucesivamente la definicin de interseccin de conjuntos:

(AB)C = {x| x(AB) xC }

AB = {x| xA xB }

Entonces:

(AB)C = {x| xA xB xC } [1]

Por otro lado, y aplicando la misma definicin:

A(BC) = {x| xA x(BC }

BC = {x| xB xC }

O sea:

A(BC) = {x| xA xB xC } [2]

Como los segundos miembros de las igualdades [1] y [2] son

iguales entre s, entonces tambin son iguales los primeros
miembros, lo que demuestra la propiedad: (AB)C = A(BC)
Propiedad 3: La interseccin de cualquier conjunto con el conjunto vaco, es el
conjunto vaco.

A =

Sea A={x| xA}; B={}; Como no hay elementos comunes en los conjuntos A
y B entonces AB={}; quedando demostrado que la interseccin de
cualquier conjunto con el conjunto vaco es el conjunto vaco ().

Si A={1,2,3,4,5} y B={}, entonces AB={}

c. Complemento
Llamaremos complemento de un conjunto A respecto de un referencial , al
conjunto de todos los elementos de que no pertenecen a A. Es decir: A = - A

Como ya vimos en la definicin de diferencia, esto mismo se podra

escribir:
A = {x| x xA}
directamente, si el referencial est sobreentendido: A = {x| xA}

Ejemplo:
Si el conjunto universal es U = {1, 2, 3, 4, 5} y A = {3, 4, 5},
entonces el complementario de A respecto de U est formado por
los elementos del universal que no estn en A, esto es:
Al = {1, 2}

Propiedades del complemento

Las siguientes propiedades estn, todas ellas, basadas en la
definicin de complemento.

Propiedad 1: A A =

Propiedad 2: (A) = A

Propiedad 3: () =

Propiedad 4: =

Propiedad 5: AA =

d. Escribir la notacin para conjuntos finitos, abiertos y cerrados

Notacin
Notacin

Intervalo

Longitud Descripcin
Intervalo cerrado de longitud finita.
Intervalo semiabierto (cerrado en
a, abierto en b).
Intervalo semiabierto (abierto en a,
cerrado en b).
Intervalo abierto.
Intervalo semiabierto.
Intervalo semiabierto.
Intervalo semiabierto.
Intervalo semiabierto.
Intervalo a la vez abierto y cerrado.
Intervalo cerrado de longitud nula
(intervalo degenerado).

sin elemento cero

Conjunto vaco Intervalo abierto

(a,a).

e. Con los conjuntos A={1,2,3,4} y B={a,b,c,d}, obtener el producto cartesiano

Dados dos conjuntos, A y B, llamamos producto cartesiano de A y B (notacin: AxB) al
conjunto de todos los pares ordenados cuyo primer componente es elemento de A y cuyo
segundo componente es elemento de B.
AxB = {(a,b)| aA bB}, as para el ejercicio se tiene lo siguiente:

AxB={(1,a),(1,b),(1,c),(1,d), (2,a),(2,b),(2,c),(2,d), (3,a),(3,b),(3,c),(3,d), (4,a),(4,b),(4,c),

(4,d)}
2.- Para entender la teora de las ciencias computacionales, es necesario entender
los conceptos que le dan fortaleza, especficamente las bases de los lenguajes de
programacin sustentados en la teora de autmatas. En este ejercicio se debe
definir y ejemplificar los siguientes conceptos:
a. Alfabeto.

Un alfabeto es un conjunto finito y no vaco de smbolos. Se representa

por .

Incluir tres ejemplos de alfabetos relacionados con los sistemas

computacionales.
o

= {A,B,C,D,E,G,F,G,H,I,J,K,L,M,N,,O,P,Q,R,S,T,U,V,W,X,Y,Z}

= {I,O}

= {x| x CDIGO ASCII}

b. Cadena.

Una secuencia finita de smbolos de un determinado alfabeto se conoce

como cadena o palabra sobre dicho alfabeto.

Incluir tres ejemplos de cadenas del alfabeto ASCII.

ABC

$%&/

z{|}

Definir y ejemplificar los siguientes conceptos:

o

longitud de cadena
La longitud de cadena es el nmero de smbolos que
contiene. La notacin empleada es la que es la que se indica
en los ejemplos:
I abcb I = 4,
I a + 2*b I = 5
I 000111 I = 6
I if a > b then a = b; I = 9

potencia de una cadena

La potencia de una cadena sobre un alfabeto quiere decir
que tomamos toda la cadena como una unidad atmica, es

decir, si
, entonces
y as
sucesivamente. Lo anterior lo podemos simplificar con la
siguiente definicin.

Por lo tanto si

sobre el alfabeto

, tenemos que

y podemos continuar hasta la i-sima potencia de

denotaremos como
.
o

, que

Subcadena
Una cadena w es una subcadena de otra cadena z si
existen las cadenas x e y para las cuales z=xwy.
Ejemplo: w=tarea; x=muy; y=extensa; z=tareamuyextensa

Prefijos y Sufijos
si tenemos una cadena

, donde

tambin son

cadenas, entonces es el prefijo de

y es el sufijo, hay
que recordar que la cadena vaca puede ser el prefijo de
cualquier
donde
que
misma.

cadena,

adems,

si

tenemos

que

es el prefijo de y
, entonces resulta
, lo cual indica que toda cadena es prefijo de s

c. Lenguaje.

Un lenguaje
es un conjunto de cadenas sobre un alfabeto
definido,
stas pueden ser cualquier cadena
, que cumpla con lo siguiente,
est formada por los smbolos

donde

Escriba tres ejemplos.

o

L={abcd, efgh, ijkl}

L={123, 456, 789}

L={,$%&,/()}

Indique tres operaciones entre lenguajes y d ejemplos para cada

operacin.

Concatenacin:
Sean A y B lenguajes sobre un alfabeto. Se define el
lenguaje concatenacin de A y B:

AB={wx|wA y xB}
Ej.- Si A={comida} y B={gato, pez}, entonces AB={comidagato, comidapez}.
o

Unin
AB={x|xA o xB}
Ej.- Si A={e,0,1,10,11} y B={e,1,0110,11010}:
AB={e,0,1,10,11, 0110,11010}

Interseccin
A B={x|xA y xB simultneamente}
Ej.- Si A={e,0,1,10,11} y B={e,1,0110,11010}:
A B={e,1}

3.- Elige el lenguaje de programacin de tu preferencia y argumenta cmo se

relacionan los conceptos de los puntos 1 y 2 con este lenguaje. Reflexiona sobre la
manera en la que crees que estos conceptos ayudaron a crear el lenguaje de
programacin como ahora lo conoces y describe que hace falta conocer para que t
puedas crear tu propio lenguaje de programacin.
Lo mencionar de forma general para los lenguajes actuales: los dos puntos referidos son
la base de cualquier lenguaje de programacin. El modelo general de las computadoras,
desde que fue esbozado por von Neumann, no ha cambiado mucho, mientras que la
invencin humana para proponerse nuevos problemas a resolver, usando la computadora,
parece no tener lmites. Un lenguaje es un conjunto de palabras. Por tanto el conjunto {1,
12, 123, 1234, 12345, 123456} es un lenguaje sobre el alfabeto compuesto por dgitos. De
forma similar, la coleccin de palabras inglesas correctas es un lenguaje sobre el
alfabeto ingls. Obsrvese que si es un alfabeto, tambin es un lenguaje, el formado
por todas las cadenas con un nico smbolo. En consecuencia, los lenguajes de
programacin tienen que adaptarse a stas crecientes necesidades y aumentar la
expresividad para poder resolver problemas muy diversos y cada vez ms complejos.
Adems, tienen que ofrecer cierta eficiencia en la ejecucin. Es un logro difcil de alcanzar
y por lo tanto, se requiere una bsqueda constante de nuevos lenguajes para ello.
Para poder generar mi propio lenguaje de programacin necesito conocer a profundidad
los temas aqu tratados y los que faltan por tratar en esta materia. He sido usuario de
lenguajes como Java, Visual basic, VB.Net y VBA, pero sinceramente no me haba puesto
a reflexionar en la forma en la que stos han surgido e ido evolucionando. Sinceramente
con esta lectura de esta primera unidad me siento totalmente incapaz de poder siquiera
esbozar un lenguaje incipiente. Espero en verdad que al finalizar esta materia mi
perspectiva cambie.

Literatura consultada

Alberto Escande. S/A. Teora de conjuntos. [fecha de consulta: 5 de noviembre del

2014], Disponible en: <http://www.x.edu.uy/conjuntosteorico.pdf>.

Pablo Gerardo Padilla Beltrn. 2005. Operaciones con cadenas. [fecha de

consulta: 4 de noviembre del 2014]. Disponible en <http://delta.cs.cinvestav.mx
/~mcintosh/comun/ summer2006/algebraPablo_html/node4.html>.

Colaboradores de Wikipedia. Intervalo (matemtica) [en lnea]. Wikipedia, La

enciclopedia libre, 2014. [fecha de consulta: 4 de noviembre del 2014]. Disponible
en <http://es.wikipedia.org/w/index.php?title=Intervalo_(matem%C3%A1tica)&oldid
=77852417>.

Hanna Oktaba. 1995. Lenguajes de programacin por qu hay tantos y aparecen

nuevos? [fecha de consulta: 6 de noviembre del 2014]. Disponible en:
<http://www.utm.mx/~caff/poo /Lenguajes%20de%20programacion.pdf>.