Professional Documents
Culture Documents
programar
Jonatan Gomez Perdomo, Ph.D.
Arles Rodrguez, Ph.D.(c)
Camilo Cubides, Ph.D.(c)
Indice general
Indice general
Indice de tablas
VII
Indice de figuras
IX
1. Introducci
on
1.1. Generaciones de los computadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Lenguajes
1
1
5
15
II
INDICE GENERAL
35
INDICE GENERAL
III
4.2.2. Interseccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2.3. Complemento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2.4. Diferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.2.4.1. Diferencia simetrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.2.5. Conjunto de partes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.2.6. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.2.6.1. Producto cartesiano generalizado . . . . . . . . . . . . . . . . . . . . 48
4.2.7. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5. Introducci
on a los lenguajes de programaci
on
53
IV
INDICE GENERAL
6. Relaciones y funciones
81
6.1. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.1.1. Propiedades de las relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
6.1.2. Relaciones de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
6.1.3. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
6.2. Funcion parcial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
6.2.1. Propiedades de las funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
6.3. Extension de una funcion parcial a una funcion total . . . . . . . . . . . . . . . . . . 89
6.4. Funciones importantes en computacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6.5. Composicion de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.5.1. Evaluacion como composicion de funciones . . . . . . . . . . . . . . . . . . . . 100
6.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
7. Funciones en programaci
on y la estructura condicional
107
133
INDICE GENERAL
143
171
195
219
VI
INDICE GENERAL
231
251
Indice de tablas
VII
VIII
INDICE DE TABLAS
Indice de figuras
2.2. figure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INDICE DE FIGURAS
Captulo
Introduccion
1.1. Generaciones de los computadores
Primera generaci
on de los computadores (1946 1958):
Programacion en lenguaje de maquina (el programa se escribe en codigo binario).
La tecnologa electronica era a base de bulbos o tubos de vaco y valvulas.
Desprendan bastante calor y tenan una vida relativamente corta.
Maquinas grandes y pesadas.
Alto consumo de energa. El voltaje de los tubos era de 300V y la posibilidad
de fundirse era grande.
Almacenamiento de la informacion en cilindros magneticos para almacenar informacion e instrucciones internas.
La reprogramacion se hacia intercambiando el cableado.
Contin
uas fallas o interrupciones en el proceso.
Requeran sistemas auxiliares de aire acondicionado especial.
Alto costo.
Uso de tarjetas perforadas para suministrar datos de programas.
Las computadoras de esa generacion fueron:
1947 ENIAC. Primera computadora digital electronica de la historia.
1949 EDVAC. Primera computadora programable.
1951 UNIVAC I. Primera computadora comercial.
1953 IBM 701. Se usaban tarjetas perforadas para introducir los datos.
1954 IBM desarrollo otros modelos que usaban tambor magnetico.
1
CAPITULO 1. INTRODUCCION
Z1 (Alemana).
Mark II.
Segunda generaci
on de los computadores (1959 1964):
Comunicacion mediante el uso de lenguajes de alto nivel.
Uso de los transistores construidos en base al uso de un trozo de semiconductor que reemplazaron a los bulbos en los circuitos de los computadores. Fueron inventados por John Bardeen, Walter Houser Brattain y William Bradford
Shockley.
Tama
no mas reducido que sus antecesoras de la primera generacion.
Consuman menos electricidad y producan menos calor que sus antecesoras.
Aumento en la velocidad de las operaciones que ya no se mide en segundos sino
en microsegundos.
Costo mas bajo que el de sus antecesoras.
Almacenamiento en cintas y discos magneticos.
Aparece gran cantidad de empresas dedicadas a la fabricacion de los computadores.
Programacion con cintas perforadas y otras por medio de un cableado en un
tablero.
La transferencia de informacion de una computadora a otra requera un mnimo
esfuerzo.
Uso de impresoras para visualizar los resultados obtenidos a partir de los calculos hechos.
Las computadoras de esa generacion fueron:
Philco 212.
UNIVAC M460.
Control Data Corporaions serie 1604.
Control Data Corporaions serie 3000.
IBM 7090.
NCR 315.
Burroughs serie 5000.
ATLAS.
Tercera generaci
on de los computadores (1965 1971):
Circuitos integrados desarrollado en 1958 por Jack Kilbry.
Miniaturizacion y reunion de centenares de elementos en una placa de silicio o
(chip).
CAPITULO 1. INTRODUCCION
Quinta generaci
on de los computadores (1982 1989):
Japon lanzo en 1983 el llamadoprograma de la quinta generacion de computadoras.
Traductores de lenguajes.
Creacion de la primera supercomputadora con capacidad de proceso paralelo,
dise
nada por Seymouy Cray (1982).
Fuerte aplicacion de la inteligencia artificial: sistemas expertos, redes neuronales, teora del caos, programacion heurstica, algoritmos geneticos.
Fibras opticas.
Telecomunicaciones.
DVD.
Uso del raton (mouse).
Robots con capacidad de movimiento.
Juegos.
Reconocimientos de formas tridimensionales, voz e imagenes.
Sexta generaci
on de los computadores (1990actualidad):
Arquitecturas combinadas Paralelo / Vectorial.
Masificacion del uso de redes de area mundial (Wide Area Network, WAN).
Comunicacion a traves de fibras opticas y satelites.
1997- El Pentium II
1999- El Pentium III
2001- el Pentium 4
Intel Core i3
Intel Core i5
Intel Core i7
AMD Phenom II
Tablets y Smartphones.
Captulo
Lenguajes
El lenguaje ha acompa
nado al hombre desde el inicio de sus tiempos, ha crecido y
evolucionado con este y de la misma manera el hombre transforma el lenguaje. Se define
lenguaje como un conjunto de se
nales articuladas que dan a entender algo[de la Lengua Espa
nola n.d.], y esta definicion relaciona el concepto de lenguaje con el acto de la
comunicacion. Dar a entender algo implica que existe algo que se quiere transmitir, y
que debe llevarse a cabo exitosamente.
La creacion y transformacion de los lenguajes ha propiciado el aprendizaje, con esto
la generacion continua de conocimiento, el permanente y acelerado intercambio de informacion y el actual desarrollo de las tecnologas. Sin el lenguaje no se podra hablar hoy
en da de civilizaciones, de sociedades complejas, de la expresion y de la ciencia[Domenec
Campillo Valero 2005].
Existen dos enfoques frente a la relacion del hombre con el lenguaje: el de creador, y el
de usuario.
El lenguaje es una forma de adaptacion del ser humano, es una respuesta al ambiente,
al entorno. El lenguaje ha evolucionado con el hombre, incluso existen teoras y estudios
enfocados al analisis de la evolucion del hombre con el lenguaje, que atribuyen los cambios
del cerebro a presiones selectivas, a necesidades o al instinto de supervivencia[ThinkQuest
2000].
Aunque existen otras especies de las cuales se dice que comparten un lenguaje, es el
lenguaje verbal el que realmente diferencia a la raza humana de especies animales con una
capacidad cerebral similar -cuyos medios de comunicacion son sistemas de transmision de
informacion como los delfines o los chimpances[Domenec Campillo Valero 2005].
Existen diferentes teoras acerca de la evolucion del lenguaje: las vocalistas y las especficas, las cuales difieren en la aceptacion de un factor genetico que propiciara la evolucion
del lenguaje. Las hipotesis que se han planteado los vocalistas afirman que la evolucion
de la capacidad vocal de los simios se dio debido a una mutacion genetica que permitio que los sonidos emitidos fueran susceptibles de combinacion, formando as lenguajes
de comunicacion[O. 2008].
5
CAPITULO 2. LENGUAJES
El ser humano tiene un lenguaje de doble articulacion: Se unen los fonemas en palabras y las palabras
en frases.
7
El ser humano tiene una capacidad muy amplia con respecto a los fonemas que puede
emitir, sin embargo, no todos los idiomas emplean todos los fonemas, e incluso dependiendo
de la cultura, hay personas a las que no les es posible pronunciar ciertos sonidos. Se podra
decir que hay una biblioteca universal de donde las civilizaciones empezaron a formar y
establecer los lenguajes como se conocen hoy en da.
Mientras la necesidad aumenta, el vocabulario se expande, al combinar
viejas palabras o inventar nuevas, y las reglas se pueden volver mas y mas
detalladas. En alg
un punto, mucho tiempo atras, el vocabulario y la gramatica
habran aparentemente despegado: todos los lenguajes hoy en da parecen
ser iguales en su capacidad de expresar los matices y complejidades de la vida
humana.[Boeree 2007]
El lenguaje articulado opera con palabras integradas con sonidos que remiten a conceptos, y lo hace con signos ling
usticos. El signo tiene tanto significado como significante
(Ferdinand de Saussure), y sustituye la idea o concepto para que esta pueda ser perceptible, pero no tiene ninguna relacion con aquello que evoca, de manera que el signo es
arbitrario. Los signos ling
usticos son fijos, limitados, pero su combinacion, inmersa en las
convenciones sociales, permite infinitos significados conformando as la lengua.
Se podra concebir al lenguaje como un medio descriptivo y referencial, pero la verdad
es que no es objetivo de la realidad en lo mas mnimo. El lenguaje es circunstancial,
cambiante y relativo.
Las palabras no tienen un significado inherente, por lo tanto su significado surge de la
relacion con las palabras que la acompa
nan y en teora, cada palabra es libre de significar
lo que sea.
Para Ferdinand de Saussure, el lenguaje es una red compleja de enunciados que se
entremezclan para formar significados, todo es equvoco, ambiguo y transformable.[Vicente
2012]
El lenguaje consta de elementos iguales: el espacio, el punto, la coma y las letras y a
un
as es ilimitado.
Como se mencionaba anteriormente, la comunicacion es un proceso mediante el cual
se transmite la informacion. Para que haya comunicacion, debe haber una coincidencia
en el tipo de lenguaje, es decir que al codificar la informacion se hace siguiendo unos
lineamientos o reglas preestablecidas por un sistema con el cual esta familiarizado tanto
emisor como receptor. El emisor codifica, el receptor decodifica[Pelayo & Cabrera 2001].
Los elementos de la comunicacion son:
Fuente de informacion: Genera la informacion que sera transmitida.
Mensaje: Dato o conjunto de datos a transmitir. Surge de la seleccion de posibilidades
en un conjunto de combinaciones simbolicas posibles.
Emisor: Codifica el mensaje.
CAPITULO 2. LENGUAJES
Se
nal: Signo o smbolo de sistema convencional.
Canal: Medio por el cual se transmite el mensaje codificado.
Fuente de ruido: interferencia que distorsiona la se
nal y puede cambiar el mensaje.
Receptor: Decodifica para poder ser recibido por el destino
Destino: Ente al que se dirige el mensaje.
Emisor
Se
nal
Canal
Receptor
Mensaje
final
Mensaje
original
Fuente de
informaci
on
Se
nal
recibida
Fuente de
ruido
Destino
La palabra lexema usada en este libro tiene un significado similar (pero no igual) a la que se usa
en ling
ustica. En ling
ustica las palabras movil y moviles se derivan del mismo lexema (movil), es decir,
son el mismo lexema (por las relaciones semanticas propias del espa
nol), solamente que tienen diferente
gramema (, -es).
10
CAPITULO 2. LENGUAJES
Frase
Sujeto
Predicado
profesor
har
a
Complemento
Sujeto
Adverbio
Adjetivo
dif
cil
examen
DE LOS LENGUAJES
2.3. CLASIFICACION
11
2.3. Clasificaci
on de los lenguajes
De acuerdo a la complejidad de la sintaxis y la abstraccion necesaria los lenguajes de
programacion se pueden se clasifican en las siguientes categoras:
Lenguajes de m
aquina o de bajo nivel. Es el u
nico lenguaje que entiende el hardware (maquina) y usa exclusivamente el sistema binario (ceros y unos). Este lenguaje
es especfico para cada hardware (procesador, dispositivos, perifericos, etc.).
El programa (tanto codigos de instruccion como datos) es almacenado en memoria.
Ejemplo. La estructura de una instruccion en lenguaje maquina es la siguiente:
CODIGO ARGUMENTO(S)
0010 00011010
1010 10111000
0110 11010001
Lenguaje ensamblador o de intermedio nivel. El lenguaje ensamblador surgio de la
necesidad de desarrollar un lenguaje de nivel mayor, que fuese mas comprensible
que el de la maquina pero que permitiera acceder a los detalles de estas. Por esta razon se desarrollo una forma de construir un lenguaje intermedio que empleara
mnemonicos (palabras cortas escritas con caracteres alfanumericos), para codificar
las operaciones. Los datos y/o direcciones son codificados generalmente como n
umeros en un sistema hexadecimal. Generalmente es especfico (aunque no u
nico) para
cada lenguaje de maquina. Entre los mnemonicos tpicos se tienen
ADD: Utilizado para sumar dos direcciones de memoria.
SUB: Utilizado para restar dos direcciones de memoria.
MUL: Utilizado para multiplicar dos direcciones de memoria.
MOV: Utilizado para mover un dato de un registro de la memoria en otro.
CALL: Utilizado para ejecutar una subrutina.
INT: Utilizado para invocar una interrupcion.
Ejemplo. La estructura de una instruccion en este lenguaje es la siguiente:
MNEMONICO ARGUMENTO(S)
ADD R1, F4
MOV F4, C2
SUB AX, AX
MOV AX, 18D
SUB AX, 18D
INT 20h
12
CAPITULO 2. LENGUAJES
13
DE LOS LENGUAJES
2.3. CLASIFICACION
Programa
fuente
Programa
objeto
Compilador
Lenguaje de
m
aquina
Lenguaje de
alto nivel
virtual (Figura 2.4). Para Algunos lenguajes interpretados tales como Java, el codigo
ensamblador que se obtiene al traducir el programa fuente se llama Bytecode.
Programa
fuente
Interprete
Programa
objeto
Lenguaje
de
m
aquina
Compilaci
on
lnea a lnea
Lenguaje de
alto nivel
Ensamblador
Bytecode
Maquina
virtual
Lenguajes de muy alto nivel. Tambien conocidos como lenguajes declarativos. Su definicion es mas complicada que la de los anteriores. Se trata esencialmente de lenguajes
taquigraficos que usan macroinstrucciones (se escribe mas con menos). Cuando una
operacion que requiere de cientos de lneas en un lenguaje de alto nivel, en un lenguaje de muy alto nivel se requiere tpicamente de unas cinco a diez lneas. Entre las
caractersticas de estos lenguajes esta el no uso de procedimientos. En los lenguajes
de procedimientos se dice con detalle a la computadora las tareas a realizarse. En
estos lenguajes se define solamente lo que se necesita computar, es decir, se enfatizan
el que hacer, en lugar del como hacerlo. Para esto, el compilador se encarga de los
detalles relativos a como obtener el conjunto completo o parcial, y correcto de las
soluciones.
Ejemplo. Entre tareas tpicas de estos lenguajes se pueden:
Generar reportes sobre un criterio especifico sobre un conjunto de datos.
Listar todas la personas que nacieron despues de 1990.
Encontrar las soluciones a una consulta realizada a un sistema con respecto a
una base de conocimientos.
Pedro es padre de Jesus.
Mara es madre de Jesus.
Quien es progenitor de Jesus?.
14
CAPITULO 2. LENGUAJES
Los lenguajes de muy alto nivel son faciles de leer, comprender y programar, no
requieren altos conocimientos de arquitecturas computacionales, esto los hace altamente transportables.
El principal inconveniente de estos lenguajes es que no hacen uso eficiente de los
recursos computacionales.
Lenguajes naturales. Se denominan as por su acercamiento a la escritura de los lenguajes humanos (ingles, frances, espa
nol, etc). El uso de un lenguaje natural con una
base de conocimientos produce un sistema basado en el conocimiento. Una clase de
estos sistemas son los Sistemas Expertos, que son base de la Inteligencia Artificial.
Estos
estan todava en su infancia, y actualmente puede considerarse que estan mas
cerca de los lenguajes de muy alto nivel que de los lenguajes humanos.
Los lenguajes de alto y muy alto nivel se clasifican por el modelo conceptual que desarrollan. En la siguiente se presenta esta clasificacion.
Captulo
Logica Matematica
3.1. L
ogica Proposicional
Definici
on. Una proposicion cerrada o simplemente proposicion es un juicio, afirmacion
o enunciado el cual se puede calificar como verdadero o falso, pero no ambos simultaneamente.
No es necesario saber de antemano s es verdadero o falso.
Pero con certeza el enunciado debe poseer alg
un valor fijo que lo califique.
No debe haber incertidumbre acerca de s se posee un valor que lo califique.
Una proposicion consta basicamente de tres partes:
Un sujeto: del cual se dice algo o que el hace algo.
Un verbo: que indica un estado o una accion que realiza el sujeto.
El complemento: que describe o aclara el estado o accion que realiza el sujeto.
Ejemplos. Los siguientes enunciados son ejemplos de proposiciones
Ejemplos. Los siguientes enunciados son ejemplos de proposiciones
p:
q:
r:
s:
t:
u:
v:
w:
x:
16
CAPITULO 3. LOGICA
MATEMATICA
3.1.1. El lenguaje de la l
ogica proposicional
En la logica proposicional, el lexico esta definido por tres elementos: los smbolos o
letras proposicionales, los conectivos logicos y los parentesis.
Definici
on. El lexico de la logica proposicional se compone de tres tipos de lexemas:
smbolos y/o letras proposicionales: , , p, q, r, s, t, p0 , p1 , . . .
conectivos l
ogicos: , , , ,
smbolos auxiliares: (, )
El smbolo proposicional (que se lee bottom) es usado para representar una proposicion generica que su significado es siempre falso 1 , mientras que (que se lee top) es
usado para representar una proposicion generica que su significado es siempre verdadero 2 .
Las letras proposicionales p, q, r, s, t, p0 , p1 , . . . son usadas para representar proposiciones, por lo tanto el significado de una letra proposicional es el significado que tiene la
proposicion que dicha letra representa.
Los conectivos logicos son operadores logicos que permiten formar frases que se llaman
proposiciones compuestas o formulas logicas a partir de smbolos y/o letras proposicionales.
En la definicion mas com
un de la logica proposicional clasica, estos operadores son:
La negaci
on: es un operador unario prefijo que se representa mediante el smbolo (),
que se lee no.
1
2
Que se representar
a abreviadamente por el smbolo F .
Que se representar
a abreviadamente por el smbolo V .
3.1. LOGICA
PROPOSICIONAL
17
La disyunci
on: es un operador binario infijo que se representa mediante el smbolo (),
que se lee o.
La conjunci
on: es un operador binario infijo que se representa mediante el smbolo (),
que se lee y.
El condicional: o implicacion es un operador binario infijo que se representa mediante el
smbolo (), que se lee entonces o implica. A el primer operando del operador
condicional se le suele llamar el antecedente de la implicacion y a el segundo operador
se le suele llamar el consecuente de la implicacion.
El bicondicional: o equivalencia o doble implicacion es un operador binario infijo que se
representa mediante el smbolo (), que se lee si y solo si.
El significado que cada uno de estos conectivos le da a las proposiciones compuestas que
se construyen con ellos se explicara mas adelante3 .
Los parentesis son usados para agrupar de manera apropiada las formulas o proposiciones compuestas de la logica proposicional.
En la logica proposicional la gramatica se describe en terminos de formulas bien formadas (fbf) de manera recursiva4 , es decir, suponiendo que los smbolos y letras proposicionales son fbfs y definiendo nuevas fbfs en terminos de fbfs ya construidas.
Definici
on. La gramatica de la logica proposicional se define recursivamente en terminos
de formulas bien formadas (fbf), as:
i) Si p es un smbolo o letra proposicional, entonces p es una fbf.
ii) Si f es fbf entonces (f ) es una fbf.
iii) Si f1 y f2 son fbfs entonces: (f1 f2 ), (f1 f2 ), (f1 f2 ) y (f1 f2 ) son fbfs.
Ejemplo. Las siguientes secuencias de smbolos son formulas bien formadas:
f1 : ((p (q)) (r s))
f2 : ((r q) (q s))
f2 : (( p q) (q p )
Existen diversas formas de definir la logica proposicional clasica dependiendo de los conectivos l
ogicos
usados (smbolo y definici
on sem
antica). La presentada aqu es la mas usual y se le dice clasica por la
definici
on sem
antica de los conectivos logicos.
4
En una definici
on recursiva se definen casos particulares o base y los demas se definen como construcciones sobre estos casos base y sobre estas construcciones.
18
CAPITULO 3. LOGICA
MATEMATICA
Definici
on. La semantica de la logica proposicional se define de manera recursiva sobre
las formulas bien formadas as ((f ) se usa para representar el significado de la formula
bien formada f ):
i) Si f es un fbf definida solamente por un smbolo o letra proposicional, el significado
de la formula f es el mismo significado del smbolo o letra proposicional.
()
V
()
(p)
F
significado de la proposicion p
3.1. LOGICA
PROPOSICIONAL
19
2
alta
,
3
media
,
4
baja
Tabla 3.1. Prioridad de los conectivos logicos.
( prioridad 3)
iii) (p q) (r (s p))
iv) ((p q) (r (s p)))
20
CAPITULO 3. LOGICA
MATEMATICA
Proposici
on. Si una coleccion f tiene n letras proposicionales, entonces tiene en total
n
2 interpretaciones diferentes.
Nota. El valor de verdad de una formula f para una interpretacion I de la colecci
on de
smbolos proposicionales f se notara como I (f ).
Ejemplo. Las interpretaciones posibles de la coleccion de letras proposicionales f =
{p, q, r}, entonces f tiene ocho (23 = 8) interpretaciones:
(p) (q)
V
V
V
V
V
F
F
V
F
V
F
V
F
F
F
F
(r)
V
F
V
F
V
F
V
F
q
V
F
V
F
entonces f es tautologa.
2. Si f = p p entonces f = {p}
pq
V
V
V
F
qp
V
V
V
F
pq qp
V
V
V
V
3.1. LOGICA
PROPOSICIONAL
p
V
F
p
F
V
21
p p
F
F
entonces f es contradiccion.
3. Si f = p (q r) entonces f = {p, q, r}
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
qr
V
V
V
F
V
V
V
F
p (q r)
V
V
V
F
F
F
F
F
entonces f es contingencia.
3.1.3.2. Tablas de verdad
Al esquema de presentar todas las interpretaciones y el valor de verdad de la formula
se le llama tabla de verdad de la formula f . Las tablas de verdad son muy u
tiles para
realizar demostraciones a nivel semantico, ya que ellas no solamente se pueden usar con
letras proposicionales sino con formulas bien formadas, es decir, considerando toda una
formula bien formada como verdadera o falsa y construyendo la tabla de verdad para
dichas formulas.
3.1.4. Argumentaci
on y leyes l
ogicas
En la logica proposicional clasica, una ley logica es una equivalencia o implicacion entre
formulas logicas. Tal equivalencia o implicacion logica debe ser verdadera para cualquier
interpretacion de las letras proposicionales que conforman las formulas relacionadas por
la equivalencia (debe ser tautologa). Las mas famosas leyes logicas son: Modus Ponen,
Modus Tollen, Inconsistencia, Doble negacion, Conmutatividad, Distributivas, Asociativas
y De Morgan.
3.1.4.1. Argumentaci
on l
ogica directa
Ejemplo. A continuacion se presenta un argumento directo para demostrar el siguiente
teorema.
Teorema. Sea n un n
umero entero, si n es impar, entonces n2 es impar.
22
CAPITULO 3. LOGICA
MATEMATICA
Demostraci
on. Si n es impar, entonces n se puede escribir en la forma n = 2m + 1, con
m en los enteros; as que n2 = (2m + 1)2 = 4m2 + 4m + 1 = 2(2m2 + 2m) + 1 = 2k + 1, donde
Teorema. Sea n un n
umero entero, si n2 es impar, entonces n es impar.
Demostraci
on. ?
V
V
F
F
( ) ( )
V
V
F
F F
F
V
F
F
V
F V
V
V
V
F
V
V F
V
V
F
F
V
V V
V
V
3.1. LOGICA
PROPOSICIONAL
Equivalencia
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( )
( )
( ) ( )
( )
23
Nombre
Tercio excludo
Contradiccion
Identidad
Dominacion
Idempotencia
Doble negacion
Conmutativas
Asociativas
Distributivas
De Morgan
Contrarrecproca
Material
Exportacion
= n2 es impar
= n es impar
= n2 es par
= n es par
entonces
Por lo tanto demostrar el anterior teorema es equivalente a demostrar que
si n es par, entonces n2 es par
para esto, observese que si n es par, entonces n se puede escribir en la forma n = 2m, con
m en los enteros; as que n2 = (2m)2 = 4m2 = 2(2m2 ) = 2k, donde k = 2m2 es un entero y
por lo tanto se puede concluir que n2 es par. Del razonamiento anterior se tiene que por
De los teoremas anteriores se tiene que para que n2 sea impar es necesario que n sea
impar, y de forma similar para que n sea impar es necesario que n2 sea impar. Esto se
expresa como que para que n2 sea impar es razon necesaria y suficiente que n sea impar,
de donde ambas proposiciones son verdaderas o ambas son falsas y se puede enunciar el
siguiente teorema bidireccional general.
Teorema. Sea n un n
umero entero, n2 es impar, si y solo si n es impar.
24
CAPITULO 3. LOGICA
MATEMATICA
3.1.4.4. Implicaciones L
ogicas
En algunos casos no es necesario exigir que dos formulas sean equivalentes, tal vez sea
u
til exigir que en una direccion de la equivalencia la formula del consecuente sea verdadera
cuando la formula del antecedente sea verdadera, o lo que es lo mismo, que la formula del
antecedente sea falsa cuando la formula del consecuente sea falsa.
Ejemplo. A continuacion se presenta un argumento directo para demostrar el siguiente
teorema.
Teorema. Sean m y n n
umeros enteros, si m es par y n es par, entonces m + n es par.
Demostracion. Si m es par y n es par, entonces m y n se pueden escribir en la forma
m = 2k1 y n = 2k2 , con k1 y k2 en los enteros; as que m + n = 2k1 + 2k2 = 2(k1 + k2 ) = 2k,
3.1. LOGICA
PROPOSICIONAL
V
V
F
F
25
( ) ( ( ))
V F
V
F
F
V
F V
F
F
F
V
V F
V
F
V
V
F V
V
V
V
V
Nombre
Combinacion
Ley de simplificacion
Variante de la ley de simplificacion
Ley de adicion
Variante de la adicion
Modus Ponendo Ponens (Modus ponens)
Modus Tollendo Tollens (Modus tollens)
Silogismos hipoteticos
Silogismos disyuntivos
Variante de los silogismos
disyuntivos
Ley de casos
Eliminacion de equivalencia
Variante de eliminacion
de equivalencia
Introduccion de la equivalencia
Ley de inconsistencia
{ , } ( )
{, }
{ , , } ( )
Dilemas constructivos
{ , , } ( )
3.1.4.5. Argumentaci
on mediante implicaciones l
ogicas
Dado un triangulo ABC. Si el ABC no tiene todos sus angulos iguales; y, si el
ABC tiene todos sus lados iguales (es equilatero), entonces todos los angulos internos
del ABC son iguales. De lo anterior, se puede concluir que el ABC no es equilatero.
El argumento anterior se puede justificar usando una implicacion logica de la siguiente
manera:
26
CAPITULO 3. LOGICA
MATEMATICA
3.2. L
ogica de predicados
En la logica proposicional no definen objetos variables, siempre se hace referencia a un
objeto especfico. As como se puede hablar de una proposicion como la siguiente p: el
ni
no juega con la pelota roja y blanca, tambien se podra hablar de una proposicion como
q: la foca juega con la pelota azul y verde, en este caso las proposiciones son similares,
pues lo que cambia es el sujeto y/o el complemento.
A partir de los casos anteriores se puede pensar en definir enunciados sin un sujeto o un
complemento especfico. Por ejemplo el sujeto puede cambiar (la foca, el ni
no) y tambien
el complemento puede cambiar (la pelota roja y blanca, la pelota azul y verde) de acuerdo
a una realidad. Esto da como resultado frases del estilo x juega con y.
x e y son objetos que estan relacionados mediante un predicado y dependiendo de
los objetos, se obtiene una proposicion que es V o es F . En terminos de los sujetos y
los complementos se define un predicado o proposicion abierta a una frase que dice algo
acerca del sujeto que lo relaciona con el complemento. En el ejemplo anterior el predicado
es juega con y se escribira simbolicamente mediante le expresion juegaCon(x, y), que
se interpreta conceptualmente como x juega con y, a las variables x e y se les denomina
variables libres.
Un predicado da una forma mas amplia de hablar. Se podra tener una coleccion
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, y sobre esta coleccion se puede definir un predicado. Por ejemplo, se podra hablar del predicado esP ar(x). Si se toma el predicado y se asigna al sujeto
x el valor 3 entonces esP ar(3) tendra un valor de verdad F , si se toma el predicado y se
asigna al sujeto x el valor 6 entonces esP ar(6) tendra un valor de verdad V .
A una coleccion de objetos a los cuales se les desea aplicar el predicado se le llama el
universo del discurso. Cuando en un predicado se reemplaza una variable libre x por un
valor concreto del universo del discurso, se dice que se esta instanciando la variable x,
la formula resultante se dice que es una instancia o del predicado inicial.
Cuando no se ha instanciado un predicado, a este no se le puede asignar un valor de
verdad. Por ejemplo, el predicado o proposicion abierta esP rimo(x) no se puede valorar,
por el contrario, cuando se instancian todas las variables de un predicado, lo que se obtiene
es una proposicion cerrada, y por lo tanto se cumple la condicion de que en ese caso la
instancia tendra un valor o V o F , y no puede tener los dos a la vez.
3.2. LOGICA
DE PREDICADOS
27
3.2.1. Cuantificadores
Pueden haber predicados como esDigito(x) que para todos los objetos del universo del discurso {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} son V . Para este mismo universo, el predicado esM ayora10(x) es F para todos los elementos de dicha coleccion, y el predicado
esM oduloAditivo(x) es V solo para x = 0 y para el resto de los casos sera F .
Cuando se desea expresar que un predicado P (x) describe una propiedad sobre todos
los elementos del universo del discurso o para solo algunos, se dice que se esta cuantificando
la variable x, y ahora la variable libre pasa a ser una variable ligada.
Cuando se desea expresar que un predicado describe una propiedad para todos los
elementos del universo del discurso, se dice que se esta cuantificando universalmente.
Cuando el predicado describe una propiedad para algunos de los elementos del universo
del discurso, se dice que se esta cuantificando existencialmente.
Para expresar estas nuevas propiedades se necesitan nuevos smbolos, y estos son los
smbolos y que permiten ampliar el lexico y se utilizan de la siguiente manera:
Para notar que una variable x esta cuantificada universalmente en un predicado
P (x) se utiliza la expresion
xP (x)
que se lee para todo x P (x).
Para notar que una variable x esta cuantificada existencialmente en un predicado
P (x) se utiliza la expresion
xP (x)
que se lee existe x tal que P (x).
3.2.2. Sem
antica de los cuantificadores
Cuando en una expresion una variable esta cuantificada universalmente, se tiene que
(xP (x)) (P (x1 ) P (x2 ) P (xn ))
para todo valor xi del universo del discurso.
Cuando en una expresion una variable esta cuantificada existencialmente, se tiene que
(xP (x)) (P (x1 ) P (x2 ) P (xn ))
para todo valor xi del universo del discurso.
Ejemplo. Si se tienen los n
umeros dgitos como universo del discurso y se establece como
predicado
P (x) = x es m
ultiplo de 4,
28
CAPITULO 3. LOGICA
MATEMATICA
se tiene que (xP (x)) = V y (xP (x)) = F ; esto porque el predicado sera cierto cuando
se instancia la variable con los valores 0, 4 y 8 (P (0), P (4), P (8)), aqu se ha tomado la
definicion de m
ultiplo como
Definici
on. Se dice que un n
umero m es m
ultiplo de d (d 0) si existe un entero k, tal
que se satisface la igualdad m = dk, esto se expresa como que m es un m
ultiplo de d. A
el n
umero d se le conoce como divisor o factor de m, lo que se denota como d m y se lee
d divide a m. Si d no divide a m esto se denotara como d m.
xP (x) xP (x): no existe un x que cumpla el predicado P quiere decir que para
todo x no se cumple el predicado P .
xP (x) xP (x): no todo x cumple el predicado P es decir que existe un x que no
cumple el predicado.
29
3.2. LOGICA
DE PREDICADOS
en este razonamiento se observa que Aristoteles realiza una particularizacion universal, esto consiste en reemplazar una variable que esta cuantificada universalmente por
3.2.4.4. Generalizaci
on existencial
30
CAPITULO 3. LOGICA
MATEMATICA
es el jefe de Homero
..
3.2.5. L
ogica de predicados en programaci
on
Cuando un profesor revisa un programa, este eval
ua que para toda entrada dada, se
tenga una salida esperada. Si el profesor encuentra un caso para el que el programa no
muestra una salida esperada (particularizacion universal), se concluye que el programa
no funciona pues se espera que haga lo que debe hacer para todos los posibles casos
contemplados.
La logica de predicados ayuda a establecer precondiciones en la elaboracion de los
programas. Validaciones de este tipo incluyen verificaciones en los tipos de datos, por
ejemplo:
El calculo de permetros y areas debe funcionar solamente con n
umeros positivos.
El valor de una temperatura requiere que la medicion se realice con magnitudes
continuas.
El tiempo promedio de vida de un animal unicelular es una cantidad continua que
representa tiempos positivos.
3.3. EJERCICIOS
31
3.3. Ejercicios
1. De los siguientes enunciados cuales son proposiciones y cuales no?, justifique su
respuesta.
Tom Hanks ha ganado dos premios Oscar como mejor actor por dos a
nos consecutivos.
Dame una cerveza.
Colombia gano ocho medallas olmpicas en Londres 2012.
Todo n
umero primo es impar.
1 + 1 = 2.
La diferencia de dos primos.
Todo n
umero par mayor que 2 puede escribirse como suma de dos n
umeros
primos. (Christian Goldbach, 1742).
Que hora es?.
xn + y n = z n .
x + y = z + y si x = z.
2. De las siguientes secuencias de smbolos cuales son formulas bien formadas y cuales
no?.
(((p) r) (p q))
(((p) (q)) (q r))
(p q) (q p))
((p p) (p p) (p (p)))
3. Escriba la formula bien formada que representa cada una de la siguientes secuencias
de smbolos:
pq rsq
pqqp
p q r (q r) q
p (q r) p q (p q)
4. Hallar el significado de cada formula que se especifica a continuacion con respecto a
la interpretacion definida para esta.
f = p q r s q, si (p) = V , (q) = V , (r) = V , (s) = F .
f = p q q p, si (p) = V , (q) = F .
f = p q r (q r) q, si (p) = F , (q) = V , (r) = V .
f = p (q r) p q (p q), si (p) = V , (q) = F , (r) = V .
32
CAPITULO 3. LOGICA
MATEMATICA
(f2 )
V
F
V
F
(f1 f2 )
F
V
V
F
(f2 )
V
F
V
F
(f1 f2 )
F
V
V
V
3.3. EJERCICIOS
33
(f2 ) (f1 f2 )
V
F
F
F
V
F
F
V
34
CAPITULO 3. LOGICA
MATEMATICA
Captulo
Teora de conjuntos
4.1. Conceptos b
asicos
4.1.1. Conjunto y elemento
Un conjunto A es una coleccion bien definida de objetos. Se dice que una coleccion A
esta bien definida si existe un predicado A (llamado constructor del conjunto A), que
determina de manera exacta los objetos que pertenecen a la coleccion.
Ejemplo. La coleccion A = {1, 2, 3, 4} es un conjunto, ya que el siguiente predicado determina de manera exacta los objetos que pertenecen a A:
V, si x = 1, x = 2, x = 3 o x = 4;
A (x) =
F, en otro caso.
Un objeto x se dice que es un elemento del conjunto A si y solo si A (x) = V . En el
caso en que A (x) = F , se dice que el objeto x no es un elemento del conjunto A.
Ejemplo. Para el conjunto A = {1, 2, 3, 4}, se tiene que 1 es elemento de A (A (1) = V ),
y 5 no es elemento de A (A (5) = F ).
Los predicados constructores de conjuntos, permiten definir el siguiente predicado que
relaciona elementos con conjuntos
(x, A) A (x)
Este predicado es conocido como el predicado pertenece.
x A es usado para denotar que (x, A), y x A es usado para denotar ( (x, A)).
35
36
4.1.2. Especificaci
on de Conjuntos
Gracias a las definiciones anteriores, un conjunto se puede especificar de dos maneras:
por extension y por comprension.
4.1.2.1. Extensi
on
Si se listan exhaustivamente los elementos que conforman el conjunto o se puede determinar una secuencia que sirve para saber cual es el siguiente elemento de un elemento
dado de un conjunto, entonces se dice que se esta especificando el conjunto por extension.
Esto se hace mediante la siguiente notacion
A = {x1 , x2 , . . . , xn }
donde xi son los objetos en el conjunto A. De esta manera el predicado asociado al conjunto
es,
un i = 1, 2, . . . , n;
V, si x = xi para alg
A (x) =
F, en otro caso.
Ejemplos.
1. A = {1, 2, 3, 4}
2. B = {, , , }
3. C = {a, e, i, o, u}
4. B = {V, F }
5. N = {0, 1, 2, 3, 4, 5, . . .}
6. P = {1, 2, 3, 4, 5, . . .}
7. Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}
4.1.2.2. Comprensi
on
Si se presenta explcitamente el predicado que define el conjunto, se dice que se esta especificando el conjunto por comprension. Esto se hace mediante la siguiente notacion:
A = {x A (x)}.
En esta notacion, el smbolo se lee tal que.
Ejemplos.
2N = {x (x = 2n) (n N)}
4.1. CONCEPTOS BASICOS
37
2N + 1 = {x (x = 2n + 1) (n N)}
Q = {x (x = p/q) (p, q Z) (q 0)}
I = {x x es un n
umero irracional}
R = {x x es un n
umero real}
R+ = {x (x R) (x > 0)}
R = {x (x R) (x < 0)}
R0,+ = {x (x R) (x 0)}
C = {x (x = a + bi) (a, b R) (i =
(i denota la unidad imaginaria)
1)}
A = {x (x R) (x2 1)}
B = {x x es una pinta del poker}
C = {x x es una vocal del idioma espa
nol}
4.1.4. Representaci
on de conjuntos mediante diagramas de Venn
Todo conjunto finito no vaco se puede representar mediante los llamados diagramas de
Venn, de la siguiente forma
4.1.4.1. Diagramas de Venn para 2 conjuntos
Dados los conjuntos A = {2, 4, 7, 8, , , } y B = {1, 2, 3, 4, , , _}, se tiene que el
siguiente diagrama se representan todos los posibles casos de contenencia para los conjuntos
A y B.
1
En el contexto del c
alculo o el analisis matematico se usa la notacion R para este mismo conjunto,
pero en el contexto de la computaci
on, esta notacion se utiliza para definir el conjunto de todos los arreglos
de tipo real que se estudiar
an en el captulo 11.
38
A
1
A = {1, 2, 3, 4, 8, , , _}
2
4
B
4
6
5
1 l
8 u
9
39
C
8
1
3
A
Sean A y B dos conjuntos, A es igual a B si y solo si los elementos del conjunto A
son los mismos del conjunto B. La igualdad entre conjuntos se puede definir mediante el
siguiente predicado
igual(A, B) (A B) (B A)
A = B es usado para notar el predicado igual(A, B).
(A = B) (A B ).
A B es usado para denotar ( igual(A, B)).
A B es usado para denotar que (A B) (A B), se dice que A es un subconjunto
propio de B o que A esta contenido estrictamente en B.
Ejemplo. Sean A, B y C los siguientes conjuntos: A = {2, 4, 8, , }, B = {4, , 2, , 8} y
C = {8, _, 2, , 4, }, entonces
AB
BA
por lo tanto A = B
AC
CA
es decir A C
de donde A C (A es un subconjunto propio de C)
40
4.2. Construcci
on de conjuntos
4.2.1. Uni
on
Sean A y B dos conjuntos, el conjunto union de A y B es el formado con los elementos
que estan en A o estan en B. El conjunto union es u
nico, se nota A B y se define
formalmente mediante el siguiente predicado
AB (x) x (A B) = (x A) (x B)
Utilizando notacion por comprension
A B = {x (x A) (x B)}.
En la figura 4.2 se muestra una representacion grafica de la operacion A B entre
conjuntos.
A
AB
41
DE CONJUNTOS
4.2. CONSTRUCCION
B
2
2. (A B) C = A (B C). (asociativa)
3. A A B. (absorcion)
4. B A B. (absorcion)
5. A = A. (identidad)
6. A A = A. (idempotencia)
7. A B A B = B.
4.2.2. Intersecci
on
Sean A y B dos conjuntos, el conjunto interseccion de A y B es el formado con los
elementos que estan en A y estan en B. El conjunto interseccion es u
nico, se nota A B
y se define formalmente mediante el siguiente predicado
AB (x) x (A B) = (x A) (x B)
Utilizando notacion por comprension
A B = {x (x A) (x B)}.
Si A B = se dice que los conjuntos A y B son disyuntos o disjuntos.
En la figura 4.4 se muestra una representacion grafica de la operacion A B entre
conjuntos.
A
AB
42
B
2
4
4.2.3. Complemento
Sea A un conjunto y U un universo para A, el conjunto complemento de A es el formado con los elementos que estan en U y no estan en A. El conjunto complemento no es
u
nico ya que depende del universo con respecto al cual se haga la operacion. El conjunto
complemento se nota A y se define formalmente mediante el siguiente predicado
A (x) x ( A ) = (x U ) (x A)
Utilizando notacion por comprension
A = {x (x U ) (x A)}.
43
DE CONJUNTOS
4.2. CONSTRUCCION
A
A
U
9
0
44
4.2.4. Diferencia
Sean A y B dos conjuntos, el conjunto diferencia de A y B es el formado con los
elementos que estan en A y no estan en B. El conjunto diferencia es u
nico, se nota A B
y se define formalmente mediante el siguiente predicado
AB (x) x (A B) = (x A) (x B)
Utilizando notacion por comprension
A B = {x (x A) (x B)}.
En la figura 4.8 se muestra una representacion grafica de la operacion A B entre
conjuntos.
A
AB
45
DE CONJUNTOS
4.2. CONSTRUCCION
B
1
3
_
2. A A = . (nilpotencia)
3. A B B A. (no conmutatividad)
4. A B = A B.
5. A B = A B.
6. A B = A A B = .
7. U A = A.
8. U A = A.
4.2.4.1. Diferencia sim
etrica
Sean A y B dos conjuntos, el conjunto diferencia simetrica de A y B es el formado con
los elementos que estan en A o B pero no en ambos. El conjunto diferencia es u
nico, se
nota A B y se define formalmente mediante el siguiente predicado
AB (x) x (A B) = x ((A B) (A B))
Utilizando notacion por comprension
A B = {x x ((A B) (A B))}.
En la figura 4.11 se muestra una representacion grafica de la operacion A B entre
conjuntos.
Ejemplo. Sean A = {2, 4, 8, , } y B = {1, 2, 3, 4, , , _}, entonces A B = {8, 1, 3, _}.
En la figura 4.12 se muestra una representacion mediante diagramas de Venn del conjunto
A B = {8, 1, 3, _}.
Propiedades. Sean A y B conjuntos, U un universo para A y B.
1. A B = (A B) (B A).
2. A B = B A. (conmutativa)
46
AB
B
1
8
3
_
3. (A B) C = A (B C). (asociativa)
4. A A = . (nilpotencia)
5. A = A. (identidad)
6. A (B C) = (A B) (A C). (distributiva)
(A) = {X X A}.
Ejemplo. Para el conjunto A = {1, 2, 3} se tiene que
(A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
DE CONJUNTOS
4.2. CONSTRUCCION
47
tendra valor de verdad falso, es decir, los pares ordenados (a, b) y (b, a) son diferentes.
Demostracion 2. Otra forma de justificar la diferencia de los pares ordenados es demostrar
que los conjuntos (a, b) = {{a}, {a, b}} y (b, a) = {{b}, {b, a}} no son iguales, y esto se da
por que {a} (a, b) pero {a} (b, a), porque {a} {b} y {a} {b, a} al suponer a b; de
lo anterior se tiene que (a, b) (b, a) (la otra no contenencia se puede demostrar de forma
48
4.2.7. Cardinalidad
Todos los conjuntos poseen una propiedad muy importante llamada cardinalidad, esta
se refiere a la cantidad de elementos que posee el conjunto. El cardinal de un conjunto A
es u
nico y se denota por A.
Con base en el concepto de cardinal se puede decidir si un conjunto es finito o infinito,
as, un conjunto es finito si el conjunto es el vaco o su cardinal es un n
umero natural, en
caso contrario se dice que es infinito.
Ejemplo. Para los siguientes conjuntos finitos
A=
B = {0}
C = {_}
D = {}
E = {, {}}
se tiene que:
F = {, , , }
G = {1, 3, 5, 7, 9, , }
H = {2, 4, 6, 8, 0, , }
I = {1, 2, 3, 4, 5, 6, 7, 8, 9, 0, , , , , _}
49
DE CONJUNTOS
4.2. CONSTRUCCION
A = 0
D = 1
G = 7
B = 1
E = 2
H = 7
C = 1
F = 4
I = 15
Para el caso de los conjuntos infinitos, estos pueden tener distinto cardinal,
Ejemplo.
N = 0
(que se lee alef cero)
P = 0
2N = 0
N N = 0
(N) = 1 = 20
I = 1 = 20
2N + 1 = 0
R = 1 = 20
Z = 0
R R = 1 = 20
Q = 0
C = 1 = 20
50
4.3. Ejercicios
1. Sea A el siguiente predicado constructor del conjunto A
V, si x es un dgito y x es un multiplo de 3;
A (x) =
F, en otro caso.
Cual es el conjunto listado por extension que define A (x)?.
2. Si A = {2, 4, 6, 8, 0}, definir un predicado constructor A para el conjunto A.
3. Encuentre todos los conjuntos A, tales que A B, para el conjunto B = {l, n, s, u}.
4. Sea U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 0, l, n, s, u} un universo para los conjuntos A =
{2, 4, 6, 8, 0, l, s}, B = {3, 6, 9, 0, l, u} y C = {1, 3, 5, 7, 9, n, u}. Calcule:
i. A B
vii. B C
ii. A C
viii. A
iii. (A B) C
ix. A
iv. (A C) (B C)
x. A
BC
v. B C
xi. A B
vi. A C
xii. A
(A)
ii.
(B)
iii.
(C)
iv.
(D)
v. B C
ix. B A C
ii. B A
vi. C B
x. B C A
iii. A C
vii. A B C
xi. C A B
iv. C A
viii. A C B
xii. C B A
51
4.3. EJERCICIOS
V, (x A) (x B);
AB (x) =
F, en otro caso.
(a) Haga un diagrama de Venn que represente la operacion A B entre conjuntos.
(b) Para los conjuntos A, B y C del numeral 4 calcule:
i. A B
ii. A C
iii. B A
iv. B C
v. C A
vi. C B
V, (x A) (x B);
AB (x) =
F, en otro caso.
(a) Haga un diagrama de Venn que represente la operacion A B entre conjuntos.
(b) Para los conjuntos A, B y C del numeral 4 calcule:
i. A B
ii. A C
iii. B A
iv. B C
v. C A
vi. C B
52
Captulo
auto
bool
break
case
catch
char
class
const
continue
default
delete
do
double
else
enum
extern
false
float
for
friend
goto
if
inline
int
long
namespace
new
operator
private
protected
public
register
return
short
signed
sizeof
static
struct
switch
template
this
throw
try
true
typedef
union
unsigned
void
volatile
while
54
CAPITULO 5. INTRODUCCION
i
x
suma
sumando1
sumando2
Edad
paisDeNacimiento
_nombre
area_circulo
Las siguientes secuencias de caracteres son ejemplos de secuencias que no son identificadores, por que?:
1er_mes
primer nombre
while
p@dre
d
a
Una nota importante es que el lenguaje C++ es sensible a may
usculas y min
usculas,
esto quiere decir que por ejemplo los identificadores
dia
Dia
DIA
sirven para declarar entidades (variable, funciones, etc.) que son diferentes, pues al ser la
misma palabra, difiere en que algunas letras son may
usculas en unos identificadores y en
los otros no.
Una variable es un espacio de la memoria M donde se almacena un dato, es un espacio donde se guarda la informacion necesaria para realizar las acciones que ejecutan los
programas.
M
1
55
al nombre, este simplemente debe ser un identificador valido que no sea una palabra
reservada.
En general una variable con identificador x se declara as
T x;
Donde T es el tipo de dato o conjunto al que pertenece la variable y x es el identificador
que es el nombre de la variable. El smbolo ; es obligatorio (!es necesario).
Una buena practica de programacion es asignarle el nombre a una variable de tal manera
que indique por un lado el papel que desempe
na dicha variable en el algoritmo y por otro
los posibles valores que almacena. Nombres de variables recomendados dependiendo del
tipo de problema pueden ser:
velocidad
espacio
masa
valor_maximo
area_circulo
aceleracion
exponente
nombre_estudiante
termino1
last_name
5.2.1. Enteros
Los enteros en C++ se codifican con la palabra int y su declaracion es la siguiente
Si x es una variable algebraica que varia en el conjunto Z, para definir x en el lenguaje
C++ se utiliza la expresion
int x;
lo que sirve para declarar que la variable x pertenece a los enteros que son representables
en el lenguaje C++.
El subconjunto de los n
umeros enteros que pueden ser representados en el lenguaje
C++, es el conjunto de enteros con signo que se representan con 32 bits (4 bytes) y que
56
CAPITULO 5. INTRODUCCION
usan un tipo de codificacion interna llamada complemento a 2, los valores de este conjunto
varan en el rango
2147483648 x 2147483647
5.2.1.1. Literales enteros
Los literales enteros, es decir, la sintaxis de los valores que pueden ser asignados a las
variables de tipo int que soporta C++ son por ejemplo:
-32768
32768
+32768
-0
0
+0
-1
1
+1
-127
127
+127
Cuando se declara una variable de tipo entero, no se sabe que valor tiene, por eso es
necesario inicializar la variable. Los siguientes son ejemplos de inicializaciones de variables
de tipo int
int
int
int
int
int
i
j
n
p
k
=
=
=
=
=
0;
1;
5;
-10;
-1;
5.2.2. Reales
Los reales en C++ se codifican con la palabra double y su declaracion es la siguiente
Si x es una variable algebraica que varia en el conjunto R, para definir x en el lenguaje
C++ se utiliza la expresion
double x;
lo que sirve para declarar que la variable x pertenece a los reales de maquina que son
representables en el lenguaje C++.
El subconjunto de los n
umeros reales que pueden ser representados en el lenguaje C++,
es un subconjunto propio de los racionales, que se representan con 64 bits (8 bytes) y que
usan un tipo de codificacion definida por el IEEE standard for Binary Floating-Point
Arithmetic 754 de 1985, los valores distintos de 0 de este conjunto varan en el rango
1.7976931348623157 10+308 x 2.2250738585072014 10308
y
57
43
21
83
3
2
41
3
2
1
4
3
8
1
2
3
4
-0.0
0.0
+0.0
-6.02214129E+23
6.02214129E23
+6.02214129e+23
-6.674287e-11
6.674287E-11
+6.674287E-11
Cuando se declara una variable de tipo real, no se sabe que valor tiene, por eso es
necesario inicializar la variable. Los siguientes son ejemplos de inicializaciones de variables
de tipo double
58
CAPITULO 5. INTRODUCCION
double
double
double
double
double
double
e = 2.7182818284;
a = +1.0;
X = -1.0;
Luz = 2.998e+8;
const0 = 1.3806488E-23;
coordenada_1 = -2.5;
5.2.3. Booleanos
Los booleanos en C++ se codifican con la palabra bool y su declaracion es la siguiente
Si x es una variable algebraica que varia en el conjunto B, para definir x en el lenguaje
C++ se utiliza la expresion
bool x;
lo que sirve para declarar que la variable x pertenece al conjunto de los booleanos (B =
{V, F }).
5.2.3.1. Literales booleanos
Como solo hay dos valores de verdad V y F , en C++ solo hay dos literales para
representar los valores logicos, estos son:
true
false
b = true;
flag = true;
exp = false;
isPrime = false;
59
Ejemplo. Para las inicializaciones del ejemplo anterior se tiene que las siguientes expresiones son equivalentes
bool
bool
bool
bool
b = 1;
flag = 1;
exp = 0;
isPrime = 0;
5.2.4. Caracteres
Los caracteres representan los smbolos definidos por el conjunto ASCII (American
Standard Code for Information Interchange). Los caracteres se representan con 8 bits (1
byte), lo que ofrece 256 smbolos distintos. El conjunto ASCII cumple con la siguiente
caracterstica
ASCII {!, ", #, $, %, &, , (, ), *, +, ,, -, ., /,
0, 1, 2, 3, 4, 5, 6, 7, 8, 9,
:, ;, <, =, >, ?, @,
A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z,
[, \, ], ^, _, ,
a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z,
{, |, }, ~}
Descripci
on
Null char
Start of Heading
Start of Text
End of Text
End of Transmission
Enquiry
Acknowledgment
Bell
Back Space
Horizontal Tab
Line Feed
Vertical Tab
Form Feed
Carriage Return
Shift Out/X-On
Shift In/X-Off
DEC Smbolo
16
DLE
17
DC1
18
DC2
19
DC3
20
DC4
21
NAK
22
SYN
23
ETB
24
CAN
25
EM
26
SUB
27
ESC
28
FS
29
GS
30
RS
31
US
Descripci
on
Data Line Escape
Device Control 1 (oft. XON)
Device Control 2
Device Control 3 (oft. XOFF)
Device Control 4
Negative Acknowledgement
Synchronous Idle
End of Transmit Block
Cancel
End of Medium
Substitute
Escape
File Separator
Group Separator
Record Separator
Unit Separator
60
CAPITULO 5. INTRODUCCION
DEC Smbolo
32
[ SPACE]
33
!
"
34
35
#
36
$
37
%
38
&
39
(
40
41
)
42
*
43
+
44
,
45
46
.
/
47
DEC Smbolo
48
0
49
1
50
2
51
3
52
4
53
5
54
6
55
7
56
8
57
9
58
:
59
;
60
<
61
=
62
>
63
?
Descripci
on
Space
Exclamation mark
Double quotes (or speech marks)
Number
Dollar
Procenttecken
Ampersand
Single quote
Open parenthesis (or open bracket)
Close parenthesis (or close bracket)
Asterisk
Plus
Comma
Hyphen
Period, dot or full stop
Slash or divide
Descripci
on
Zero
One
Two
Three
Four
Five
Six
Seven
Eight
Nine
Colon
Semicolon
Less than (or open angled bracket)
Equals
Greater than (or close angled bracket)
Question mark
61
DEC Smbolo
64
@
65
A
B
66
67
C
68
D
69
E
70
F
71
G
H
72
73
I
74
J
75
K
76
L
77
M
78
N
O
79
DEC Smbolo
96
97
a
98
b
99
c
100
d
101
e
102
f
103
g
104
h
105
i
106
j
107
k
108
l
109
m
110
n
111
o
Descripci
on
At symbol
Uppercase A
Uppercase B
Uppercase C
Uppercase D
Uppercase E
Uppercase F
Uppercase G
Uppercase H
Uppercase I
Uppercase J
Uppercase K
Uppercase L
Uppercase M
Uppercase N
Uppercase O
Descripci
on
Grave accent
Lowercase a
Lowercase b
Lowercase c
Lowercase d
Lowercase e
Lowercase f
Lowercase g
Lowercase h
Lowercase i
Lowercase j
Lowercase k
Lowercase l
Lowercase m
Lowercase n
Lowercase o
DEC Smbolo
80
P
81
Q
R
82
83
S
84
T
85
U
86
V
87
W
X
88
89
Y
90
Z
91
[
92
\
93
]
94
^
_
95
DEC Smbolo
112
p
113
q
114
r
115
s
116
t
117
u
118
v
119
w
120
x
121
y
122
z
123
{
124
|
125
}
126
~
127
[ DEL]
Descripci
on
Uppercase P
Uppercase Q
Uppercase R
Uppercase S
Uppercase T
Uppercase U
Uppercase V
Uppercase W
Uppercase X
Uppercase Y
Uppercase Z
Opening bracket
Backslash
Closing bracket
Caret-circumflex
Underscore
Descripci
on
Lowercase p
Lowercase q
Lowercase r
Lowercase s
Lowercase t
Lowercase u
Lowercase v
Lowercase w
Lowercase x
Lowercase y
Lowercase z
Opening brace
Vertical bar
Closing brace
Equivalency sign - tilde
Delete
62
CAPITULO 5. INTRODUCCION
63
64
CAPITULO 5. INTRODUCCION
65
66
CAPITULO 5. INTRODUCCION
c = ;
CH = \n;
tab = \t;
letra = a;
caracter = A;
value = \";
_last = \;
C_0 = &;
cero = 0;
at = @;
67
mn
m m
od n
9 4
1 2
9 / 4
9 % 4
68
CAPITULO 5. INTRODUCCION
-= : Asignacion con resta. La parte de la izquierda debe ser una variable. Resta al valor
almacenado en la variable definida en la parte de la izquierda el resultado de la
evaluacion de parte de la derecha y guarda el resultado en la variable de parte de la
izquierda. Por ejemplo, la expresion x -= 2, es equivalente a la expresion x = x - 2.
*= : Asignacion con multiplicacion. La parte de la izquierda debe ser una variable. Multiplica el valor almacenado en la variable definida en la parte de la izquierda con la
evaluacion de parte de la derecha y guarda el producto en la variable de parte de la
izquierda. Por ejemplo, la expresion x *= 2, es equivalente a la expresion x = x * 2.
/= : Asignacion con division. La parte de la izquierda debe ser una variable. Divide el
valor almacenado en la variable definida en la parte de la izquierda entre el valor
de la evaluacion de la parte de la derecha y guarda el resultado en la variable de
parte de la izquierda. Por ejemplo, la expresion x /= 2, es equivalente a la expresion
x = x / 2. El valor de la evaluacion de la parte de la derecha debe ser distinto de
0.
%= : Asignacion con residuo. La parte de la izquierda debe ser una variable. Calcula el residuo de dividir el valor almacenado en la variable definida en la parte de la izquierda
entre el valor de la evaluacion de la parte de la derecha y guarda el resultado en la
variable de parte de la izquierda. Por ejemplo, la expresion x %= 2, es equivalente a
la expresion x = x % 2. El valor de la evaluacion de la parte de la derecha debe ser
distinto de 0.
Dos de los operadores mas utilizados para asignar valores a variables en programacion
son los operadores de incremento y decremento:
++ : este operador se aplica a cualquier tipo de variable y se utiliza para incrementar el
valor de la variable en 1; las expresiones i++ o ++i son equivalentes a la expresion
i = i + 1 o a la expresion i += 1; esta asignacion se puede utilizar dentro de una
expresion.
El operador ++ se puede utilizar como un operador prefijo (++i) o postfijo (i++),
y dependiendo de la posicion donde se ubique entonces la asignacion se hace antes o
despues del incremento, de la siguiente manera:
++x : este operador de preincremento hace que la variable x se incremente en 1 y luego se
retorne el nuevo valor de la variable.
Ejemplo. Para la siguiente porcion de codigo
int x = 2;
int y = ++x;
se tiene que al final las variables almacenan los valores x = 3 y y = 3. El codigo anterior es
equivalente al siguiente codigo
5.3. OPERADORES Y EXPRESIONES ARITMETICAS
69
int x = 2;
x = x + 1;
int y = x;
x++ : este operador de postincremento hace se retorne el actual valor de la variable x y
luego esta se incrementa en 1.
Ejemplo. Para la siguiente porcion de codigo
int x = 2;
int y = x++;
se tiene que al final las variables almacenan los valores x = 3 y y = 2. El codigo anterior es
equivalente al siguiente codigo
int x = 2;
int y = x;
x = x + 1;
-- : este operador se aplica a cualquier tipo de variable y se utiliza para decrementar el
valor de la variable en 1; las expresiones i-- o --i son equivalentes a la expresion
i = i - 1 o a la expresion i -= 1; esta asignacion se puede utilizar dentro de una
expresion.
El operador -- se puede utilizar como un operador prefijo (--i) o postfijo (i--),
y dependiendo de la posicion donde se ubique entonces la asignacion se hace antes o
despues del decremento, de la siguiente manera:
--x : este operador de predecremento hace que la variable x se decremente en 1 y luego
se retorne el nuevo valor de la variable.
Ejemplo. Para la siguiente porcion de codigo
int x = 2;
int y = --x;
se tiene que al final las variables almacenan los valores x = 1 y y = 1. El codigo anterior es
equivalente al siguiente codigo
int x = 2;
x = x - 1;
int y = x;
70
CAPITULO 5. INTRODUCCION
5.3. OPERADORES Y EXPRESIONES ARITMETICAS
71
se tiene que al final las variables almacenan los valores x = 3, y = 3 y z = 12. El codigo
anterior es equivalente al siguiente codigo
int
int
x =
int
y =
x
y
x
z
y
=
=
+
=
-
2;
4;
1;
x * y;
1;
5.3.3. Conversi
on de tipos de datos num
ericos (typecasting )
De entero a real: dado un dato o una variable de tipo entero, si se opera o se asigna
el dato o la variable con un dato o una variable de tipo real, entonces al realizar la
operacion o la asignacion, el dato entero se convierte (se promueve) a un dato de
tipo real de forma automatica, simplemente agregandole la parte decimal .0.
Ejemplo. Para las asignaciones
int n = 1;
double x = n;
double y = 0;
double z = -2;
se tiene que las variables almacenan los valores:
n
1
x
1.0
y
0.0
z 2.0
Ejemplo. Las siguientes operaciones son equivalentes
-2 + 1.0 -2.0 + 1.0
0.0 * 5 0.0 * 5.0
(5 / 2) * 2.0 2 * 2.0
2.0 * 2.0
72
CAPITULO 5. INTRODUCCION
double x = 1.0;
double y = -2.5;
int n = x;
int m = y;
int p = 3.14159265;
se tiene que las variables almacenan los valores:
x
1.0
y 2.5
n
1
m
2
p
3
Si se desea convertir el valor de un dato o una variable de tipo real de forma directa,
sin necesidad de asignarlo a una variable, se pueden utilizar las instrucciones:
(int)valor;
(int)variable;
Ejemplo. Las siguientes operaciones son equivalentes
2 * (int)2.5 2 * 2
(int)-3.14 * (int)5.5 -3 * 5
2 / (2.5 - (int)2.5) 2 / (2.5 - 2) 2 / (0.5) 2 / 0.5
2.0 / 0.5
Ejemplo. Las siguientes sentencias son equivalentes
double x = 0.4;
double y = 2.5;
int n = (int)x * (int)y;
double x = 0.4;
double y = 2.5;
int n = 0 * 2;
5.3.4. Operadores l
ogicos
! : Operador de la negacion.
&& : Operador de la conjuncion.
|| : Operador de la disyuncion.
!
&&
||
73
1
2
74
CAPITULO 5. INTRODUCCION
Prioridad
1
2
3
4
5
6
7
8
9
10
5.3. OPERADORES Y EXPRESIONES ARITMETICAS
75
(((42 / 6) + 7) * 3) - 39
Ejemplo. Hallar el valor de la siguiente expresion teniendo en cuenta la prioridad de
operadores y que los operandos son tanto n
umeros reales como enteros
12.0 * 3 - -4.0 + 8 / 2 % 3
i) 12.0 3 (4.0) + 8 / 2 % 3 ( prioridad 3)
ii) (12.0 3) (4.0) + 8 / 2 % 3 ( prioridad 4)
iii) (12.0 3) (4.0) + (8 / 2) % 3 (/ prioridad 4)
iv) (12.0 3) (4.0) + ((8 / 2) % 3) ( % prioridad 4)
v) ((12.0 3) (4.0)) + ((8 / 2) % 3) ( prioridad 5)
vi) (((12.0 3) (4.0)) + ((8 / 2) % 3)) (+ prioridad 5)
12.0 3 4.0 + 8 / 2 % 3 = 12.0 3 (4.0) + 8 / 2 % 3
= 36.0 (4.0) + 8 / 2 % 3
= 36.0 (4.0) + 4 % 3
= 36.0 (4.0) + 1
= 40.0 + 1
= 41.0
76
CAPITULO 5. INTRODUCCION
(2 + 5 % 3 4) / 4 + 2 = ((2) + 5 % 3 4) / 4 + 2
= ((2) + 2 4) / 4 + 2
= ((2) + 8) / 4 + 2
= (6) / 4 + 2
=6 / 4+2
=1+2
=3
5.4. Evaluaci
on de secuencias de expresiones
Como se vio previamente las cadenas =, +=, -=, *=, /= %= sirven para representar los
operadores de asignacion, es decir, permiten asignar un valor a una determinada variable,
donde la variable se encuentra a la izquierda del operador y el valor resulta de evaluar una
expresion que se encuentra a la derecha del operador. Se debe tener cuidado que al evaluar
una expresion el resultado sea del mismo tipo de la variable a la que se le esta asignando
el valor, esto es, que a una variable de tipo int se le asigne un valor entero, que a una
variable de tipo double se le asigne un valor real, que a una variable de tipo bool se le
asigne un valor booleano, que a una variable de tipo char se le asigne un caracter, etc.
Una asignacion comprende dos partes: el valor al que se le asignar el valor y la expresion.
Se espera que el resultado de la evaluacion de la expresion sea del mismo tipo de la
expresion. En este sentido se podra extender a expresiones de tipo logico, aritmetico
o caracter.
El proceso de asignar valores a variables es el objetivo central a la hora de construir
un programa, ya que un programa no es mas que una funcion que transforma la memoria
desde un estado inicial hasta un estado final donde se encuentra el resultado que se quera
calcular.
Visto as, en programacion, la asignacion es una operacion temporal, que primero lee
el valor de las variables existentes en la memoria, a partir de estos valores se eval
ua la
expresion a la derecha de la asignacion y luego se realiza la asignacion a la variable de
la izquierda correspondiente al resultado de la evaluacion de la expresion, es decir, se
actualiza el valor de la variable en la memoria.
DE SECUENCIAS DE EXPRESIONES
5.4. EVALUACION
77
y=4
z = 2
78
CAPITULO 5. INTRODUCCION
cuando x = 3 y y = 5.
t
0
1
x y
3 5
4 5
=
=
=
=
k
2
i
j
+
*
*
*
1;
k;
k * j;
k - i;
5.5. EJERCICIOS
79
5.5. Ejercicios
1. Dise
nar un programa en C++ que permita evaluar la expresion
p || q && r
evalue todas la interpretaciones de la expresion anterior y comparelas con las interpretaciones de la formula logica
pqr
Son logicamente equivalentes?.
2. Escribir en C++ una asignacion a una variable real F que almacene el valor del
modulo de la fuerza con que se atraen o se repelen dos cargas Q1 y Q2 que se
encuentran separadas una distancia r. El modulo de la fuerza se puede calcular
utilizando la ley de Coulomb que esta dada por la expresion
F =
Q1 Q2
r2
donde se denomina constante electrica del medio y esta dada por la Constante de
Coulomb que en el vacio es igual a
= 9 109
N m2
.
C2
-b + b * b % 3 - 4 * a * c / 2 * a
(int)(b * c) % a * -b / c + d - a % d
80
CAPITULO 5. INTRODUCCION
int s = 0;
int i = 0;
s += i;
i++;
s += i;
i++;
s += i;
i++;
s += i;
i++;
s += i;
i++;
s += i;
i++;
s += i;
Si se repiten las dos u
ltimas instrucciones de forma continua, cual es la expresion
(dependiente de i) que se desea calcular?.
6. Construya la traza para la siguiente secuencia de instrucciones:
int p = 1;
int b = 2;
int t;
t = p;
p *= b;
t += p;
p *= b;
t += p;
p *= b;
t += p;
p *= b;
t += p;
p *= b;
t += p;
Si se repiten las dos u
ltimas instrucciones de forma continua, cuales son las expresiones que se desean calcular con las variable p y t?.
Captulo
Relaciones y funciones
6.1. Relaciones
Una relacion R de A en B es un subconjunto del producto cartesiano A B, es decir,
R se dice relacion si R A B. Al conjunto A se le denomina conjunto de salida y al
conjunto B se le denomina conjunto de llegada.
Ejemplo. Sean A = {0, 1, 2} y B = {, , , }, una de la posibles relaciones que se pueden
definir es R = {(0, ), (0, ), (2, ), (2, )}, el cual es un subconjunto de parejas ordenadas
pertenecientes al producto cartesiano entre A y B.
El conjunto vaco puede considerarse una relacion al ser subconjunto de cualquier
conjunto. De forma similar, el producto cartesiano A B tambien es una relacion pues
todo conjunto es subconjunto de si mismo (A B A B).
Dada una relacion R A B, el conjunto
DomR = {a (a A) (b B) ((a, b) R)}
se denomina el dominio de la relacion R, a los elementos de DomR se les denomina
preimagenes de la relacion R.
Ejemplo. Sean A = {0, 1, 2} y B = {, , , }, dos conjuntos y sea R = {(0, ), (0, ), (2, ), (2, )},
una relacion definida de A en B, el conjunto DomR = {0, 2} es el dominio de la relacion y
los elementos 0 y 2 son las preimagenes de la relacion R.
Dada una relacion R A B, el conjunto
RanR = {b (b B) (a A) ((a, b) R)}
se denomina el rango o codominio de la relacion R, a los elementos de RanR se les denomina
imagenes de la relacion R.
81
82
Ejemplo. Sean A = {0, 1, 2} y B = {, , , } dos conjuntos y sea R = {(0, ), (0, ), (2, ), (2, )}
una relacion definida de A en B, el conjunto RanR = {, , } es el rango de la relacion y
los elementos , y son las imagenes de la relacion R.
Dentro de una relacion es posible vincular un elemento de un conjunto con mas de un
elemento de otro conjunto, no tener elementos en la relacion o incluir solo algunos elementos que pertenecen al producto cartesiano de los dos conjuntos. En el ejemplo anterior, no
se tienen elementos que incluyan el elemento 1 del conjunto de salida A ni el elemento
del conjunto de llegada B.
Si se tiene una relacion R de un conjunto cartesiano R A B, esta puede notarse
como R A ; B esto evita la notacion de subconjunto pero aclara que se esta realizando
una asignacion de elementos de A en elementos de B.
Una de las caractersticas importantes del concepto de relacion es su nocion de agrupar
elementos de diferentes tipos. Esta forma de conectar elementos de diferentes conjuntos
tiene mucha aplicacion en programacion, pues dicha relacion puede ser vista como una
asignacion.
La representacion grafica de una relacion se puede hacer en terminos de diagramas Sagitales. En la figura 6.1 se muestra una representacion de la relacion R =
{(0, ), (0, ), (2, ), (2, )} definida en el ejemplo anterior. Como se puede apreciar cada
flecha representa un vinculo entre cada uno de los elementos del conjunto A y los del
conjunto B.
0
1
2
Hay relaciones que se pueden establecer entre elementos del mismo conjunto, es decir,
una relacion que cumpla que R A A
Ejemplo. Si se tiene el conjunto A = {, , , }, se puede construir la relacion R =
{(, ), (, ), (, ), (, )}. En la figura 6.2 se muestra una representacion de esta
relacion.
83
6.1. RELACIONES
84
85
6.1. RELACIONES
86
clases de equivalencia. Observese que los valores 0 y 1, resultan ser equivalentes, es decir,
que representan el mismo objeto.
6.2. Funci
on parcial
Definici
on. Una relacion f A ; B se dice funcion parcial si y solo si,
Si ((x, y) f ) ((x, y ) f ) entonces y = y .
87
PARCIAL
6.2. FUNCION
f
A
0
1
2
3
4
f
A
1
2
entonces x = y.
88
f
A
f
A
0
1
2
3
4
DE UNA FUNCION
PARCIAL A UNA FUNCION
TOTAL
6.3. EXTENSION
89
f
A
0
1
2
3
4
f
A
0
1
2
3
6.3. Extensi
on de una funci
on parcial a una funci
on
total
Las funciones parciales suelen presentarse en computacion cuando en el problema estudiado se presenta un evento excepcional con algunos valores para los cuales la funcion se
encuentra indefinida y por lo tanto no se puede evaluar.
Todas las funciones parciales se pueden extender de tal manera que estas sean un subconjunto de una funcion total. Para obtener la funcion total se tienen varias alternativas,
las cuales se explicaran con base en la siguiente funcion parcial.
A
0
1
2
3
4
90
Una alternativa para obtener una funcion total a partir de una funcion parcial es la de
asignar los valores del conjunto de salida que no pertenecen al dominio a alg
un valor del
conjunto de llegada, como se muestra a continuacion
A
0
1
2
3
4
, si y = 0;
(x, y) x
y , en otro caso.
6.4. FUNCIONES IMPORTANTES EN COMPUTACION
91
idA
Definici
on. Valor absoluto
La funcion valor absoluto de x se denota como x y se define como:
x R R0,+
x, si x 0;
x
x, en otro caso.
Ejemplos.
3.14= 3.14, 3.14 = 3.14, 1 = 1, 1 = 1, 0 = 0, = , = ,
2 = 2, 2 = 2.
Definici
on. Potencia
La funcion potencia de b elevado al exponente n se denota como bn y se define como:
bn R Z R {}
1,
b b b,
nveces
(b, n) 1
0,
si (b 0) (n = 0);
si (b 0) (n Z+ );
si (b 0) (n Z );
si (b = 0) (n > 0);
si (b = 0) (n 0).
92
x R0,+ R0,+
x b, donde b2 = x.
2 1.41421356237309504880168872420969807856967187537694807317667973799.
En programacion se define que x1/2 =
Definici
on. Logaritmo
La funcion logaritmo en base b de x se denota como logb x y se define como:
logb x R+ R+ R
(b, x) y,
donde by = x.
Ejemplos. log2 4 = 2, log2 8 = 3, log2 1 = 0 (en general logb 1 = 0), loge e = 1 (en general
logb b = 1), log3 19 = 2, log0.5 0.125 = 3, log0.25 2 = 12 .
Definici
on. Piso
La funcion piso de x se denota como x y se define como:
x R Z
x n,
f (x) = x
93
Definici
on. Techo
La funcion techo de x se denota como x y se define como:
x R Z
x n,
f (x) = x
Definici
on. Truncamiento
La funcion truncamiento de x se denota como trunc(x) y se define como:
trunc(x) R Z
x,
x
x,
si x 0;
si x < 0.
a partir de la definicion anterior se tiene que en C++ se cumple que (int)x = trunc(x).
94
f (x) = trunc(x)
f (x) = frac(x)
95
DE FUNCIONES
6.5. COMPOSICION
round(x) R Z
x,
x x,
round(x),
si (x 0) ( frac(x) 0.5);
si (x 0) ( frac(x) < 0.5);
si x < 0.
f (x) = round(x)
3.5
2.5
1.5
0.5
0.5
1.5
2.5
3.5
6.5. Composici
on de funciones
Definici
on. Sean g A B y f B C dos funciones, si se cumple que Rang Domf ,
entonces es posible definir una nueva funcion llamada la composicion de f y g, la cual se
denota como f g y que se define como
f g AC
a z f (g(a))
96
B
f
f g
C
Ejemplo. Sea A = {1, 2, 3, 4, 5, 6}, B = {, , , , _} y C = {a, b, c, d} tres conjuntos. Si
g = {(1, ), (2, ), (3, _), (4, _), (6, )} y f = {(, c), (, d), (, a), (, b), (_, c)} entonces
f g = {(1, a), (2, d), (3, c), (4, c), (6, c)}; aqu tambien se observa que Domf g = Domg =
{1, 2, 3, 4, 6} y Ranf g = {a, c, d} Ranf = {a, b, c, d}. En las figuras 6.10 y 6.11 se muestra
una representacion de la composicion de las funciones f y g.
g
1
2
3
4
5
6
_
f g
A
1
2
3
4
5
6
f g
a
b
c
d
de
la
funcion
DE FUNCIONES
6.5. COMPOSICION
97
f ZZ
nnn
(6.1)
Soluci
on. Con base en la informacion de los pesos atomicos del potasio, el cloro y el
oxgeno, suministrados en la tabla 6.1, se pueden construir una serie de funciones que
permiten calcular la masa de O2 desconocida.
Elemento
Peso atomico
K Cl
39 35
O
16
Lo primero que se debe tener en cuenta es que la a partir de la masa del KClO3 no
se puede obtener directamente la masa del O2 , para esto debemos realizar los siguientes
pasos:
i. Dada la masa del KClO3 encontrar su equivalente pero en unidades de moles, lo que
se representara de la siguiente manera,
masa KClO3 moles KClO3
ii. Dado el n
umero de moles con respecto a la masa original del KClO3 , se encuentra su
equivalente en unidades de moles O2 , lo que se representara de la siguiente manera,
98
masa O2
moles KClO3
moles O2
En primera instancia se debe calcular la masa molar de cada sustancia que interviene
en la reaccion, as como se muestra a continuacion:
A partir de la tabla 6.1 se puede calcular el Peso Molar (PM) del clorato de potasio
(KClO3 ) de la siguiente manera:
PMK = 1 39g = 39g
PMCl = 1 35g = 35g
PMO3 = 3 16g = 48g
PMKClO3 = PMK + PMCl + PMO3 = 122g
de donde se obtiene que una mol (n) de KClO3 tiene un peso molar de 122g, es decir
1n
.
que estan a razon de 1n 122g o lo que es lo mismo
122g
A partir de la tabla 6.1 se puede calcular el Peso Molar (PM) del oxgeno (O2 ) de la
siguiente manera:
PMO2 = 2 16g = 32g
de donde se obtiene que una mol (n) de O2 tiene un peso molar de 32g, es decir que
1n
.
estan a razon de 1n 32g o lo que es lo mismo
32g
Para calcular las distintas equivalencias entre masa-moles, moles-moles y moles-masa,
se construiran un grupos funciones para cada caso y se hara uso de la composicion de
funciones para realizar el calculo directo, en contraposicion al metodo tradicional usando
factores de conversion. El proceso completo para calcular la equivalencia entre masas se
presenta a continuacion:
99
DE FUNCIONES
6.5. COMPOSICION
x
.
122
ii. A partir de la ecuacion (6.1) se tiene que dos (2) moles de KClO3 al calentarse producen
dos (2) moles de KCl y tres (3) moles de O2 , de lo cual se obtiene que la razon entre
el n
umero de moles x de KClO3 y el n
umero g(x) de moles de O2 estan en la misma
x
2
proporcion directa de la razon 2 3, es decir,
= , que es equivalente a la
g(x)
3
g(x) 3
= , lo cual se puede modelar mediante la funcion
proporcion
x
2
g R0,+ R0,+
3
x g(x) = x.
2
iii. Para un n
umero de moles x de O2 con respecto a la masa h(x) del O2 en gramos,
estas cantidades estan en la misma proposicion directa de la razon 1 32, es decir,
x
1
h(x)
=
, que es equivalente a la proporcion
= 32, lo cual se puede modelar
h(x) 32
x
mediante la funcion
h R0,+ R0,+
x h(x) = 32x.
iv. Como a partir de la masa del KClO3 no se puede obtener la masa del O2 directamente,
se pueden utilizar las funciones anteriormente descritas y la operacion de composicion
entre funciones para poder encontrar la equivalencia entre estas masas haciendo uso
de un diagrama conmutativo, como el que se presenta a continuacion
masa O2
masa KClO3
moles KClO3
moles O2
100
masa KClO3
hgf
masa O2
moles KClO3
moles O2
as que para hallar la masa del O2 a partir de la masa del KClO3 se puede utilizar la
funcion
(h g f )(x) = h(g(f (x)))
x
))
= h(g(
122
3 x
= h(
)
2 122
3 x
24
= 32
= x
2 122 61
v. Para el caso de calentar 10g de KClO3 , la masa de O2 que se obtiene se puede calcular
mediante el uso de la funcion (h g f )(x) as
(h g f )(10) =
240
24
10 =
= 3.93443
61
61
6.5.1. Evaluaci
on como composici
on de funciones
Una secuencia de instrucciones se puede entender matematicamente como la composicion de una serie de funciones, donde cada vez que se haga uso de una variable, esta
se reemplaza por la asignacion inmediatamente anterior, s existe una asignacion de esta
variable.
Ejemplo. Para la siguiente secuencia de instrucciones
i
j
i
j
=
=
=
=
k
2
i
j
+
*
*
*
1;
k;
k * j;
k - i;
DE FUNCIONES
6.5. COMPOSICION
101
i = +(k, 1)
j = (2, k)
i = ( (i, k), j) = ( ( + (k, 1), k), (2, k))
j = ( (j, k), i) = ( ( (2, k), k), ( ( + (k, 1), k), (2, k)))
Observese que la u
ltima expresion esta escrita u
nicamente en terminos de k y si se eval
ua
en el valor k = 1, entonces se obtiene el valor para j que igual a 2, el cual es el valor
obtenido en el u
ltimo ejemplo del la seccion de evaluacion de expresiones.
102
6.6. Ejercicios
1. Sean A = {0, 1, 2} y B = {l, n, s, u} dos conjuntos. Cuantas relaciones de A en B
existen?.
2. Sean A = {0, 1} y B = {l, s} dos conjuntos. Encuentre todas las relaciones de A en
B.
3. Sea A = {l, n, s, u} un conjunto. Cuantas relaciones de A en A existen?.
4. Dados A y B conjuntos finitos tales que A = n y B = m. Cuantas relaciones de A
en B existen?.
5. Dado A un conjunto finito tal que A = n. Cuantas relaciones sobre el mismo
conjunto de A existen?.
6. Sea A = {l, n, s, u} un conjunto. Represente mediante un diagrama sagital las
relaciones que se presentan a continuacion.
i. R1 = {(l, l), (l, n), (n, l), (n, n), (s, u), (u, l), (u, u)}
ii. R2 = {(l, l), (l, n), (n, l)}
iii. R3 = {(l, l), (l, n), (l, u), (n, l),
(n, n), (s, s), (u, l), (u, u)}
iv. R4 = {(n, l), (s, l), (s, n), (u, l), (u, n), (u, s)}
v. R5 = {(l, l), (l, n), (l, s), (l, u), (n, n), (n, s),
(n, u), (s, s), (s, u), (u, u)}
vi. R6 = {(s, u)}
7. De las relaciones del numeral 6. Cual es el dominio?, Cual es el rango?.
8. De las relaciones del numeral 6. Cuales son reflexivas?, Cuales son simetricas?,
Cuales son antisimetricas?, Cuales son transitivas?.
9. De las relaciones del numeral 6. Cuales son una relacion de orden?, Cuales son una
relacion de equivalencia?.
10. Sea A un conjunto finito tal que A = n. Cuantas relaciones sobre el mismo conjunto
A existen que sean reflexivas?
11. Sea R una relacion sobre el conjunto P de todas las palabras sobre un alfabeto,
definida por
x R y x tiene la misma longitud de y
demuestre que la relacion R es una relacion de equivalencia.
12. Sea R una relacion sobre el conjunto P de todos los nombres de personas, definida
por
6.6. EJERCICIOS
103
104
p R q p q (mod n) n (p q)
donde n P es un n
umero positivo fijo, demuestre que la relacion R es una relacion
de equivalencia.
21. Sea R una relacion sobre el conjunto Z, definida por
p R q p<q
demuestre que la relacion R NO es una relacion de orden.
22. Sea R una relacion sobre el conjunto P de los n
umeros positivos, definida por
n R m nm
demuestre que la relacion R es una relacion de orden que NO es total.
23. Sea A = {a, b, c, d, e} un conjunto y supongase que se define la relacion R sobre (A)
de la siguiente manera
Sean X, Y (A), entonces
X R Y X Y
iv. f4 (n) = n3
ii. f2 (n) = n
v. f5 (n) = 2n
iii. f3 (n) = n2
i. f1 (x) = x
iii. f3 (x) =
ii. f2 (x) = x2
iv. f4 (x) = x
6.6. EJERCICIOS
v. f5 (x) = x
105
106
Captulo
108
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
double f
Entre parentesis se coloca el tipo y la variable de las variables del dominio. En este
caso solamente se tiene la variable x quedando double x y se coloca una llave abierta
{.
double f(double x){
En las siguientes lneas se escribe la definicion de la funcion entre las llaves terminando con punto y coma ; cada linea de la funcion. Dicha definicion de funcion
corresponde al algoritmo o computo, para generar la imagen calculada de la funcion
se utiliza la palabra clave return, de la siguiente manera
double f(double x){
return x * x;
Despues de escribir la funcion se cierra la llave } seguida de un punto y coma ;.
double f(double x){
return x * x;
};
Otra posible definicion de la funcion podra escribirse almacenando el valor del producto
x * x en una variable de tipo double y retornandolo as:
double f(double x){
double y;
y = x * x;
return y;
};
Esto es similar al caso cuando se utiliza la notacion
f (x) = y
donde x es una variable independiente y y es la variable dependiente.
Ejemplo. Area
de un crculo
Para el desarrollo de esta funcion lo primero es determinar el nombre. La funcion se
llamara area circulo cuyo dominio es el conjunto de los n
umeros reales (para el radio) y
cuyo rango pertenece al conjunto de los n
umeros reales (el valor de retorno que corresponde
al area del crculo).
Teniendo en cuenta que el algoritmo para el calculo del area de un crculo depende del
valor de su radio, entonces, el area del crculo esta dada por la expresion Ac = r2 , donde
las variables estan definidas as:
109
r = Radio del crculo
Ac = Area
del crculo de radio r
entonces, el planteamiento matematico de la funcion solicitada sera el siguiente
area circulo R R
(r) 3.14159265 r r
Notese que para definir el valor se tomo como aproximacion el valor 3.14159265.
En vez de elevar el valor del radio al cuadrado se tomo la multiplicacion de r r ya
que la potencia no es una operacion matematica basica. En la seccion de recursividad se
definira potencia como una funcion.
Esta funcion se traduce al lenguaje C++ paso a paso de la siguiente forma:
Primero se escribe el tipo de retorno en este caso el conjunto que corresponde al tipo
de dato del area del crculo, como es real el tipo de dato es double.
double
Posteriormente se escribe el nombre de la funcion area_circulo.
double area_circulo
observese que la palabra circulo en el nombre de la funcion se escribe sin tilde, ya
que u
nicamente se pueden utilizar caracteres del alfabeto ingles
Entre parentesis se coloca el tipo y la variable de las variables del dominio. En este
caso solamente se tiene la variable r de tipo double r y se coloca una llave abierta
{.
double area_circulo(double r){
En las siguientes lneas se escribe el calculo del area del crculo y se retorna el valor
calculado.
double area_circulo(double r){
return 3.14159265 * r * r;
Despues de escribir la funcion se cierra la llave } seguida de un punto y coma ;.
double area_circulo(double r){
return 3.14159265 * r * r;
};
110
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
Otra posible definicion de la funcion podra escribirse almacenando el valor del area del
crculo en una variable de tipo double y retornandolo as:
7.1. Compilaci
on y ejecuci
on de funciones
Para el desarrollo de programas en este libro se utilizara como lenguaje de programacion
el lenguaje C++. En esta primera parte del libro se definiran las funciones en el mismo
archivo fuente. Los archivos de C++ corresponden a la extension *.cpp.
Para la generacion de archivos ejecutables se utilizara la salida y entrada estandar de
la consola definida en la librera iostream, y para el manejo de las funciones del sistema
se utilizara la librera cstdlib.
Todo programa ejecutable elaborado en C++ tiene una funcion principal que realiza los
llamados a las distintas funciones tanto del lenguaje como las definidas por el programador.
Se utilizara el siguiente esqueleto para definir dichas funciones en C++
Y EJECUCION
DE FUNCIONES
7.1. COMPILACION
111
#include<iostream>
#include<cstdlib>
using namespace std;
/*
En esta parte se definen las funciones
*/
int main(){
/*
En esta parte se realiza la lectura de datos,
y los llamados a las funciones
*/
cout << endl;
system("pause"); //windows
return EXIT_SUCCESS;
};
Para el caso del area del crculo, el archivo fuente en C++ sera el siguiente, en el cual
se han separado el encabezado del archivo, la funcion del calculo del area y la funcion
principal
#include<iostream>
#include<cstdlib>
using namespace std;
int main(){
double radio;
cout << "radio del circulo? = ";
cin >> radio;
cout << "El area del circulo es: ";
cout << area_circulo(radio);
cout << endl;
system("pause"); //windows
return EXIT_SUCCESS;
};
112
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
Como se aprecia en el programa anterior, se utilizan las funciones cin y cout que pertenecen a la librera de entrada y salida de flujos de datos iostream. Las dos primeras lneas
de codigo permiten al compilador incluir las definiciones de estas funciones en el programa
principal. La funcion cout lo que hace es mostrar una cadena de caracteres (texto) en la
consola. La instruccion cout << endl, hace que se oblige a generar una nueva lnea en la
consola. La funcion cin lo que hace es asignar el valor que sea digitado en la consola a la
variable de la parte de la izquierda del operador <<. En la instruccion cin >> radio; se
asigna a la variable radio el valor digitado por el usuario. system("pause") lo que hace
es ejecutar el comando pause de Windows que permite pedirle al usuario que presione una
tecla para continuar la ejecucion del programa o en este caso por estar antes del retorno
o fin de la funcion principal para salir de el devolviendo al sistema operativo un valor de
EXIT_SUCCESS para indicar que ejecucion del programa fue satisfactoria, es decir, que en
este caso el programa se ejecuto correctamente.
El programa anterior pide al usuario digitar el radio del crculo y almacena el valor de
la lectura en la variable radio. Posteriormente despliega un mensaje y se realiza el llamado
a la funcion area_circulo. Notese que los nombres de variables (en este caso radio) en
el programa principal no necesariamente deben coincidir con los de la declaracion de la
funcion (en este caso la funcion recibe un valor de tipo double llamado r), sin embargo
se debe notar que su tipo de dato s debe ser el mismo.
Ejemplo. Area
de un rectangulo
La funcion que calcula el area de un rectangulo es una funcion que tiene como parametros de entrada el ancho y el largo del rectangulo que son valores de tipo real y retorna
como salida el area del rectangulo. Lo que puede escribirse como
area rectangulo R R R.
Para el calculo del area de un rectangulo es necesario conocer el largo y el ancho del
rectangulo, a partir de los cuales el area del rectangulo esta dada por la expresion Ar = la,
donde las variables estan definidas as:
l = Largo del rectangulo
a = Ancho del rectangulo
Ar = Area
del rectangulo de largo l y ancho a
entonces, la funcion matematica queda definida de la siguiente forma
DE UN PARAMETRO
113
area rectangulo R R R
(l, a) l a
Para traducir a lenguaje C++ se toman las mismas reglas de traduccion:
Primero se escribe el tipo de retorno en este caso el conjunto que corresponde al tipo
de dato del area del rectangulo, como es real el tipo de dato es double.
double
Posteriormente se escribe el nombre de la funcion area_rectangulo.
double area_rectangulo
Entre parentesis se colocan el conjunto de cada variable del dominio y el nombre de
la variable separados por comas. En este se tienen las variables l y a correspondientes
al largo y al ancho del rectangulo y se coloca una llave abierta.
double area_rectangulo(double l, double a){
En las siguientes lneas se escribe el calculo del area del rectangulo, se retorna el
valor calculado y se cierra la definicion de la funcion.
114
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
#include<iostream>
#include<cstdlib>
using namespace std;
int main(){
double largo;
double ancho;
cout << "largo? = ";
cin >> largo;
cout << "ancho? = ";
cin >> ancho;
cout << "El area del rectangulo es: ";
cout << area_rectangulo(largo, ancho);
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
Problema. Para el vagon que se presenta a continuacion,
b
a
115
b2
a2
b1
a1
r2
r1
<cond>
<bloque_V>
<bloque_F>
<bloque_sigui>
Un esquema textual que en C++ representa una estructura condicional es la que se da
en el siguiente fragmento de codigo.
116
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
<bloque_prev>
if(<cond>){
<bloque_V>
}else{
<bloque_F>
};
<bloque_sigui>
Donde, despues de ejecutar el bloque de instrucciones previas <bloque_prev>, se ejecutara el bloque <bloque_V> si <cond> se eval
ua verdadero, en caso de que <cond> se
eval
ue falso de ejecutara <bloque_F>.
Despues de ejecutar el bloque <bloque_V> o el bloque <bloque_F> se continua con
la ejecucion del resto del programa, es decir, el resto de las instrucciones del bloque
<bloque_sigui> que aparece despues
de la estructura if.
Ejemplo. Valor absoluto de un n
umero
La funcion que permite calcular el valor absoluto de un n
umero real es una funcion que
recibe como parametro de entrada un n
umero real y retorna la distancia de ese valor al
origen. La funcion valor absoluto en notacion matematica se define como
valor absoluto R R
x, si x 0;
(x)
x, en otro caso.
Un diagrama de flujo que representa el condicional que esta implcito en la funcion
valor absoluto es el siguiente
double valor;
V
x >= 0
valor = x;
valor = -x;
return valor;
117
#include<iostream>
#include<cstdlib>
using namespace std;
int main(){
double x;
cout << "x? = ";
cin >> x;
cout << "El valor absoluto es: ";
cout << valor_absoluto(x);
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
a, si a > b;
(a, b)
b, en otro caso.
Un diagrama de flujo que representa el condicional que esta implcito en la funcion
maximo entre dos n
umeros es el siguiente
118
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
a > b
return a;
return b;
La regla de traduccion de la funcion es similar a la anterior, solo hay que tener en cuenta
la instruccion condicional, y que si no se cumple la condicion especificada en el if, se
ejecutara el flujo de instrucciones especificado bajo el alcance de la instruccion else
double maximo_dos_numeros(double a, double b){
if(a > b){
return a;
}else{
return b;
};
};
119
<cond>
<bloque>
<bloque_sigui>
120
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
x > 0.0
cout << x;
return x;
121
F, si ((p) = V ) ((q) = F );
(p, q)
122
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
en esta funcion se tiene en cuenta que si la premisa p tiene valor true, entonces el resultado
esta dado por el valor de la conclusion q, y si el valor de p es false, entonces el condicional
tendra como valor true.
<bloque_prev>
<bloque_1>
<cond_1>
V
<cond_2>
<bloque_2>
<cond_i>
<bloque_i>
<bloque_n-1>
<cond_n-1>
<bloque_n>
<bloque_sigui>
123
<bloque_prev>
if(<cond_1>){
<bloque_1>
}else if(<cond_2>){
<bloque_2>
}
...
}else if(<cond_i>){
<bloque_i>
}
...
}else if(<cond_n-1>){
<bloque_n-1>
}else{
<bloque_n>
};
<bloque_sigui>
124
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
entonces
pago f inal N R R
n precio,
n precio 0.95,
(n, precio)
n precio 0.90,
n precio 0.80,
n 5;
5 < n 10;
10 < n 20;
en otro caso.
125
if(<var_entera> == <num_1>){
<bloque_1>
}else if(<var_entera> == <num_2>){
<bloque_2>
}
...
}else if(<var_entera> == <num_i>){
<bloque_i>
}
...
}else if(<var_entera> == <num_n-1>){
<bloque_n-1>
}else{
<bloque_n>
};
en este caso se utiliza una instruccion switch, la cual sirve para abreviar una instruccion
if enlazada como la anterior. El aspecto general de una instruccion switch es la siguiente:
La variable aparece u
nicamente como parametro de la instruccion switch.
Cada uno de los valores enteros constantes se trata como un caso, especificando la
palabra case seguido de la constante y terminando con : (dos puntos).
Se termina con una instruccion break que obliga a que se deje de ejecutar la instruccion switch.
126
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
switch(<var_entera>){
case <num_1>:
<bloque_1>
break;
case <num_2>:
<bloque_2>
break;
...
case <num_i>:
<bloque_i>
break;
...
case <num_n-1>:
<bloque_n-1>
break;
default:
<bloque_n>
break;
};
V,
V,
V,
(ch)
V,
V,
F,
si ch = a;
si ch = e;
si ch = i;
si ch = o;
si ch = u;
en otro caso.
127
Cuando en una instruccion switch varios casos se tratan de la misma forma, entonces
estos se pueden agrupar en uno o varios casos, como se muestra en el siguiente ejemplo.
128
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
7.4. Validaci
on de datos usando condicionales
Teniendo en cuenta que el algoritmo para el calculo del area de un rectangulo dada la
definicion del tipo de dato podran estarse leyendo largos o anchos negativos. La notacion
129
#include<iostream>
#include<cstdlib>
using namespace std;
130
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
int main(){
double largo;
double ancho;
cout << "largo? = ";
cin >> largo;
if(largo < 0){
cout << "El largo no es valido";
cout << endl;
system("pause");
return EXIT_FAILURE;
};
cout << "ancho? = ";
cin >> ancho;
if(ancho < 0){
cout << "El ancho no es valido";
cout << endl;
system("pause");
return EXIT_FAILURE;
};
cout << "El area del rectangulo es: ";
cout << area_rectangulo(largo, ancho);
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
7.5. EJERCICIOS
131
7.5. Ejercicios
1. Hacer un programa que dado el area del corral de unas gallinas y el n
umero de
gallinas en el corral determine el area que le corresponde a cada gallina.
2. Construir una funcion que dados tres n
umeros reales calcule el maximo de los tres.
3. Dadas las longitudes de los dos brazos de una palanca y el peso puesto en el brazo
mas largo de la palanca, calcular el peso que se puede poner en el brazo mas corto
para que la palanca quede en equilibrio.
4. Dadas las longitudes de los dos brazos de una palanca y el peso puesto en el brazo
mas corto de la palanca, calcular el peso que se puede poner en el brazo mas largo
para que la palanca quede en equilibrio.
5. Dados los pesos que se pueden poner en cada uno de los lados de la palanca y la
longitud total de la palanca determinar la longitud del brazo mas largo para que la
palanca quede en equilibrio.
6. Dados los pesos que se pueden poner en cada uno de los lados de la palanca y la
longitud total de la palanca determinar la longitud del brazo mas corto para que la
palanca quede en equilibrio.
7. Para crear un litro del compuesto D, se requiere que su composicion por partes
este conformada de la siguiente manera, 5 partes deben ser del producto A, 8 partes
deben ser del producto B y 7 partes deben ser del producto C. Si se requiere crear
10 litros del compuesto D. Cuantos litros del producto A se requieren?, Cuantos
litros del producto B se requieren?, Cuantos litros del producto C se requieren?.
8. Si se tienen x litros de A, y litros de B y z litros de C. Cuantos litros del compuesto
D se pueden obtener?.
9. En la convencion republicana, se re
unen 100 personas de las cuales x son mujeres
e y son hombres. Si en la convencion se dispone de z mesas y se dispone que la
diferencia entre n
umero de hombres y mujeres en cada mesa no debe superar 2.
Cuantas sillas para mujeres se deben poner por mesa?, Cuantas sillas por hombre
se deben poner?. Si los votos de las mujeres valen 1.5 veces los votos del hombre.
Cuantas mujeres deberan estar en la convencion para que el candidato sea elegido
por votos de solo mujeres? Si los votos de los hombres valen 1.5 veces los votos de
las mujeres. Cuantas mujeres deberan estar en la convencion para que el candidato
sea elegido por votos de solo mujeres?
10. Dado el centro y el radio de un crculo, determinar si un punto pertenece o no al
crculo.
11. Dadas tres longitudes positivas, determinar si con esas longitudes se puede construir
un triangulo.
12. Dado un caracter, utilizar una instruccion switch para determinar si el caracter es
un dgito o no.
132
Y LA ESTRUCTURA CONDICIONAL
CAPITULO 7. FUNCIONES EN PROGRAMACION
Captulo
134
IOS S
El conjunto IOS contiene a los conjuntos IS (input stream) y OS (output stream), es
decir,
IS IOS
y
OS IOS
El conjunto IS a su vez contiene a el conjunto IFS IS (input file stream), y el objeto
cin pertenece a el (cin IS).
El conjunto OS a su vez contiene a el conjunto OFS OS (output file stream), y el
objeto cout pertenece a el (cout OS).
En el siguiente arbol se muestra la jerarqua de los flujos descrita anteriormente
S
IOS
IS
OS
IFS
cin
OFS
cout
135
#include<iostream>
#include<cstdlib>
using namespace std;
Lectura de datos: si se quiere leer un dato de un tipo primitivo T desde un flujo de
entrada IS, entonces una funcion que representa este procedimiento se puede escribir de
la siguiente forma
leer T IS T
(is) a,
donde a = leer(is)
-5
-5
5
a
136
5
a
La funcion escribir(os, a) que en C++ se escribe como <<, esta escribe en el flujo os el
dato a .
Ejemplo. En C++ para escribir un dato de tipo entero en un flujo se utiliza la siguiente
funcion
ostream& escribir_int(ostream& os, int a){
os << a;
return os;
};
5
5
137
4
3
-5
5
5
-5
138
139
140
int main(){
ifstream ifs("entrada.txt");
ofstream ofs("salida.txt");
escribir_char(escribir_int(ofs, leer_int(ifs)), \t);
escribir_char(escribir_int(ofs, leer_int(ifs)), \t);
escribir_char(escribir_int(ofs, leer_int(ifs)), \t);
escribir_int(ofs, leer_int(ifs));
ofs.close();
ifs.close();
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
La salida de dicho programa sera:
Presione una tecla para continuar . . .
y se generara el archivo salida.txt con el siguiente contenido:
Esta declaracion de flujo sobreescribe el archivo cada vez que se ejecuta el programa.
Notese que cada dato con esta sintaxis se lee hasta encontrar uno de los siguientes caracteres especiales: \t, \n, . En la tercera lnea de la funcion main se lee el entero 0,
este se imprime en el flujo de salida y luego se imprime el caracter separador \t, en la
cuarta y la quinta lnea se realizan identicas operaciones con los enteros 1, 2, en la sexta
lnea se lee el entero 3 y se imprime en el flujo, pero sin un caracter separador ya que no
se imprimiran mas smbolos. A continuacion se proceden a cerrar los flujos.
8.5. EJERCICIOS
141
8.5. Ejercicios
1. Modele mediante una funcion matematica y dise
ne una funcion en C++ que permita
leer un dato de tipo real desde un flujo generico.
2. Modele mediante una funcion matematica y dise
ne una funcion en C++ que permita
escribir un dato de tipo real en un flujo generico.
3. Escriba un programa en C++ que lea un dato de tipo real (p. ej. 3.14159265) desde
el flujo de datos suministrado por el teclado usando la funcion dise
nada anteriormente
en el numeral 1 y que escriba el opuesto aditivo del n
umero en la consola usando la
funcion dise
nada anteriormente en el numeral 2 (p. ej. -3.14159265).
4. Escriba un programa en C++ que lea un dato de tipo real (p. ej. -3.14159265)
desde el flujo de datos suministrado por un archivo de entrada llamado "input.txt"
usando la funcion dise
nada anteriormente en el numeral 1 y que escriba el opuesto
aditivo del n
umero en un archivo de salida llamado "output.txt" usando la funcion
dise
nada anteriormente en el numeral 2 (p. ej. 3.14159265).
5. Modele mediante una funcion matematica y dise
ne una funcion en C++ que permita
leer un dato de tipo booleano desde un flujo generico.
6. Modele mediante una funcion matematica y dise
ne una funcion en C++ que permita
escribir un dato de tipo booleano en un flujo generico.
7. Escriba un programa en C++ que lea un dato de tipo booleano (p. ej. 0) desde el
flujo de datos suministrado por el teclado usando la funcion dise
nada anteriormente
en el numeral 5 y que escriba la negacion del dato ledo previamente en la consola
usando la funcion dise
nada anteriormente en el numeral 6 (p. ej. 1).
8. Escriba un programa en C++ que lea un dato de tipo booleano (p. ej. 1) desde el
flujo de datos suministrado por un archivo de entrada llamado "input.txt" usando
la funcion dise
nada anteriormente en el numeral 5 y que escriba la negacion del dato
ledo previamente en un archivo de salida llamado "output.txt" usando la funcion
dise
nada anteriormente en el numeral 6 (p. ej. 0).
9. Dise
nar y escribir un programa que lea los mismos n
umeros enteros del archivo del
ejemplo de la seccion 8.4.4, que imprima el primer n
umero en la consola, el segundo
en el archivo de salida, el tercero en la consola y el cuarto en el archivo de salida.
10. Dise
nar y escribir un programa que lea los mismos n
umeros enteros del archivo del
ejemplo de la seccion 8.4.4, que imprima el segundo y el tercero en el archivo de
salida.
11. Dise
nar y escribir un programa que lea los mismos n
umeros enteros del archivo del
ejemplo de la seccion 8.4.4, que imprima los primeros cuatro n
umeros tanto en un
archivo de salida como en la consola.
142
Dise
nar un programa en C++ que lea caracter por caracter desde el flujo de datos
suministrado por el archivo usando la funcion dise
nada anteriormente en el numeral 12, que almacene los caracteres en variables y que luego escriba los caracteres en
orden inverso en un archivo de salida usando la funcion dise
nada anteriormente en
el numeral 13, es decir, el archivo de salida tendra el siguiente aspecto
u
Captulo
Funciones recursivas
9.1. Definici
on
Definici
on. En 1952 Stephen Kleene definio formalmente en [Kleene 1952] que una funcion parcial recursiva de enteros no negativos es cualquier funcion f definida por un
sistema no contradictorio de ecuaciones de las cuales las partes derechas e izquierdas estan
compuestas a partir de:
i. Smbolos funcionales (por ejemplo, f , g, h, etc.),
ii. Variables para enteros no negativos (por ejemplo, x, y, z, etc.),
iii. La constante 0, y
iv. La funcion primitiva sucesor s(x) = x + 1.
Ejemplo. El siguiente es un sistema que define la funcion parcial recursiva f (x, y) que
permite computar el producto de x con y.
f (x, 0) = 0
f (x, s(y)) = g(f (x, y), x)
g(x, 0) = x
g(x, s(y)) = s(g(x, y))
Notese que las ecuaciones podran no determinar el valor de f para cada posible entrada,
y que en ese sentido la definicion es lo que se definio como funcion parcial. Si el sistema
de ecuaciones determina el valor de f para cada entrada, entonces la definicion es lo que
se definio como funcion total. Cuando se usa el termino funcion recursiva, en este caso se
esta hablando de forma implcita de que la funcion recursiva es total.
143
144
El conjunto de funciones que pueden ser definidas recursivamente en esta forma se sabe
que son equivalente a el conjunto de funciones computables por una maquina de Turing o
por medio del lambda calculo.
Ya que este libro es un texto introductorio a la programacion, no se trataran las funciones recursivas con todo su detalle formal ya que esto esta mucho mas alla del alcance de
este libro; en cambio se intentara caracterizar mas concretamente las funciones recursivas
que usualmente son utilizadas a un nivel introductorio de la programacion, mediante la
siguiente definicion debilitada de funcion recursiva. Hay que tener en mente que no se
pretende que esta caracterizacion sea exhaustiva con respecto al conjunto de todas las
funciones recursivas.
Definici
on (Definicion debil de funcion recursiva).
Una funcion f A B se dice recursiva si y solo si f esta definida por casos (mediante
un predicado sobre los argumentos), en donde al menos uno de los casos se define usando
la misma funcion f y los argumentos, y al menos uno de los otros casos se define usando
solamente los argumentos sin involucrar la funcion f .
Mediante el uso de funciones recursivas se puede solucionar cualquier problema que es
potencialmente solucionable haciendo uso de un computador.
RECURSIVAMENTE
145
bn = b b b b b = (b b b b) b
nveces
n1veces
lo que es equivalente a
bn = b b b b b = (b b b b) b = bn1 b
nveces
n1veces
A partir de esta observacion se puede dar una definicion recursiva usando funciones.
La declaracion de esta funcion junto con su cuerpo se hara de la siguiente manera
potencia(b, n) = p
Si se establecen las variables:
b = Base
n = Exponente
p = Potencia bn
entonces
potencia R N R
si n = 0;
1,
(b, n)
#include<iostream>
#include<cstdlib>
using namespace std;
146
int main(){
double b;
int n;
cout << "b? = ";
cin >> b;
cout << "n? = ";
cin >> n;
cout << "potencia(b,n) = ";
cout << potencia(b,n);
cout << "\n";
system("pause");
return EXIT_SUCCESS;
};
Ejemplo. Pago del interes compuesto mes vencido
Suponga que solicita un prestamo de $1000.000 durante un a
no, el prestamista cobra un
interes del 5 % mensual mediante la modalidad de interes compuesto mes vencido. Cual
es el total del dinero que debe pagar cuando ha transcurrido el a
no por el cual solicito el
prestamo?.
Para calcular el valor solicitado hay que observar que:
Para cero meses se tiene que hay que pagar
$1 000.000
pues no ha transcurrido ning
un mes.
Para un mes se tiene que hay que pagar
$1 000.000 + $1 000.000 0.05 = [$1 000.000](1 + 0.05)
lo prestado mas los intereses de un mes.
Para dos meses se tiene que hay que pagar
[$1 000.000](1 + 0.05) + [$1 000.000](1 + 0.05)0.05 =
[[$1 000.000](1 + 0.05)](1 + 0.05)
lo que se deba pagar en el mes anterior mas los intereses de esa cantidad.
As, si m = 1000000, i = 0.05 y n = 12, se tiene que pago(1000000, 0.05, 12) =
1795856.326.
A partir de las observaciones anteriores, ya se detecta la regla recursiva con la que se
puede calcular el interes compuesto mes vencido en general, con lo cual se puede dise
nar
una funcion recursiva que permita calcular el valor total a pagar para cualquier monto,
cualquier interes y cualquier intervalo de tiempo.
RECURSIVAMENTE
147
pago(m, i, n) = valor
donde se tienen las variables
m = Cantidad de dinero solicitado como prestamo
i = Interes
n = N
umero de meses por el cual se solicita el pretamo
valor = Valor total a pagar por el prestamo de la cantidad m
por n meses con un interes i utilizando el metodo de
interes compuesto mes vencido
entonces
pago R0,+ R0,+ Z0,+ R0,+
n = 0;
m,
(m, i, n)
cout.precision(10);
#include<iostream>
#include<cstdlib>
using namespace std;
148
int main(){
cout.precision(10);
double m;
double i;
int n;
cout << "m? = ";
cin >> m;
cout << "i? = ";
cin >> i;
cout << "n? = ";
cin >> n;
cout << "pago(m,i,n) = ";
cout << pago(m,i,n);
cout << "\n";
system("pause");
return EXIT_SUCCESS;
};
Ejemplo. N
umero de listas de los elementos de un conjunto
Suponga que selecciona cuatro cartas distintas de una baraja de poker, que se van a
representar por los smbolos
RECURSIVAMENTE
149
Como la seleccion de las cartas se hizo de forma arbitraria, entonces, para poder listar
todos los posibles ordenamientos, se tiene que el paso del numeral 1 se puede realizar
de cuatro formas. Por cada una de estas escogencias se hace la seleccion de una carta
de un conjunto con un elemento menos, como ocurre en el paso del numeral 3; esto se
puede realizar de tres formas posibles. Por cada par de escogencias se hace la seleccion de
una carta de un conjunto con dos elementos menos, como ocurre en el paso del numeral
5; esto se puede realizar de dos formas posibles. Por cada tro de escogencias se hace la
seleccion de una carta de un conjunto con tres elementos menos. Para este caso el conjunto
restante tiene un solo elemento y por lo tanto solo hay una posible seleccion. De lo anterior
se concluye que el n
umero de formas de listar los elementos de un conjunto con cuatro
elementos es
4 3 2 1 = 24
En los diagramas que se presentan a continuacion se exhibe la forma sistematica en que
se pueden obtener todas la posibles listas que se forman con las cartas , , , .
150
El listado de las 24 posibles formas en que se pueden organizar las cuatro cartas es el
siguiente
RECURSIVAMENTE
151
f act(n) = f
Si se establecen las variables:
n = N
umero al cual se le va a calcular el factorial
f = Factorial de n
entonces
f act N N
si n = 0;
1,
(n)
#include<iostream>
#include<cstdlib>
using namespace std;
int main(){
int n;
cout << "n? = ";
cin >> n;
cout << "fact(n) = ";
cout << fact(n);
cout << "\n";
system("pause");
return EXIT_SUCCESS;
};
152
fact(5)
*
fact(4)
*
fact(3)
*
fact(2)
*
fact(1)
*
fact(0)
1
120
fact(5)
5
*
4
5 24 = 120
fact(4)
*
3
4 6 = 24
fact(3)
*
2
32=6
fact(2)
*
1
21=2
fact(1)
*
fact(0)
1
11=1
fact(5) = 5 *
=5 *
=5 *
=5 *
=5 *
=5 *
=5 *
=5 *
=5 *
=5 *
= 120
RECURSIVAMENTE
153
fact(4)
(4 * fact(3))
(4 * (3 * fact(2)))
(4 * (3 * (2 * fact(1))))
(4 * (3 * (2 * (1 * fact(0)))))
(4 * (3 * (2 * (1 * 1))))
(4 * (3 * (2 * 1)))
(4 * (3 * 2))
(4 * 6)
24
Simpsons =
,
,
,
,
C(3, 1)
,
,
C(4, 2)
,
,
C(3, 2)
154
,
,
C(3, 1)
,
,
,
C(2, 0) = 1
C(2, 1)
,
C(1, 0) = 1
C(2, 1)
,
C(1, 1) = 1
si se escoge a Bart, entonces ya se tiene otra pareja, si no entonces Lisa debe hacer
parte de la siguiente pareja.
5. Si en el numeral 2 no se selecciono a Homero, entonces ahora se puede escoger o no
a Marge, como se observa a continuacion
,
,
C(2, 1)
,
,
C(3, 2)
,
C(2, 2) = 1
RECURSIVAMENTE
155
,
,
C(1, 0) = 1
,
,
C(2, 1)
,
C(1, 1) = 1
si se escoge a Bart, entonces ya se tiene otra pareja, si no entonces Lisa debe hacer
parte de la u
ltima pareja.
7. Despues de hacer el conteo exhaustivo de la parejas que se pueden formar, se observa
que existen 6 parejas que contienen dos miembros de la familia de los Simpsons, estas
son:
,
C(3, 1)
C(2, 0)
1
C(3, 2)
C(2, 1)
C(1, 0)
1
C(2, 1)
C(1, 1)
C(1, 0)
C(1, 1)
C(2, 2)
1
156
C NNN
0,
si k > n;
(n, k) 1,
si (k = 0) (n = k);
RECURSIVAMENTE
157
#include<iostream>
#include<cstdlib>
using namespace std;
int C(int n, int k){
if(k > n){
return 0;
};
if(k == 0 || n == k){
return 1;
};
return C(n - 1,k - 1) + C(n - 1,k);
};
int main(){
int n;
int k;
cout << "n? = ";
cin >> n;
cout << "k? = ";
cin >> k;
cout << "C(n,k) = ";
cout << C(n,k);
cout << "\n";
system("pause");
return EXIT_SUCCESS;
};
Ejemplo. Los conejos y los n
umeros de Fibonacci
Una pareja de conejos recien nacidos (uno de cada sexo) se liberan en una isla. Los
conejos no pueden tener descendencia hasta que cumplen dos meses. Una vez que cumplen
dos meses, cada pareja de conejos tiene como descendencia otra pareja de conejos cada
mes1 . Cual es la cantidad de parejas de conejos en la isla una vez transcurrido un a
no,
suponiendo que ning
un conejo muere?.
Si fn denota la cantidad de parejas de conejos en el mes n, entonces, en el mes cero, en
este aun no se ha hecho la liberacion de la pareja de conejos, por lo tanto la cantidad de
parejas es f0 = 0.
n = 0, f0 = 0
1
Este problema fue propuesto originalmente por el italiano Leonardo Pisano Bigollo (11701250), m
as
conocido como Leonardo de Pisa o Fibonacci (que significa hijo de Bonacci, filius Bonacci ) en su libro
Liber abaci publicado en 1202.
158
Durante el primer mes, en este se hace la liberacion de la primera pareja de conejos, pero
a
un no han alcanzado la edad para reproducirse, por lo tanto, no ha habido descendencia,
por lo tanto, f1 = 1.
n = 1, f1 = 1
Durante el segundo mes, ya haba una pareja de conejos del mes anterior y estos a
un
no han alcanzado la edad para reproducirse, por lo tanto, no hubo descendencia, de donde
f2 es igual a la cantidad de conejos que haban en el mes anterior mas la descendencia que
produjeron las parejas de mas de dos meses, es decir, f2 = 1.
n = 2, f2 = f1 + f0 = 1 + 0 = 1
Durante el tercer mes, ya haba una pareja de conejos del mes anterior y durante el
transcurso de este mismo mes los conejos alcanzaron la madures para reproducirse, por lo
tanto hubo descendencia, de donde f3 es igual a la cantidad de conejos del mes anterior
mas la descendencia que se produjo en este mes, es decir, f3 = 2.
n = 3, f3 = f2 + f1 = 1 + 1 = 2
Durante el cuarto mes ya haban dos parejas de conejos del mes anterior, y la pareja
madura es la que haba en el segundo mes, por lo tanto, la descendencia fue generada
solo por esa pareja, de donde f4 es igual a la cantidad de parejas del mes anterior mas la
descendencia que genere la pareja del segundo mes, es decir, f4 = f3 + f2 = 2 + 1 = 3.
n = 4, f4 = f3 + f2 = 2 + 1 = 3
Durante el quinto mes ya haban tres parejas de conejos del mes anterior, y de estas hay
dos parejas maduras, que son las que haban en el tercer mes, por lo tanto, la descendencia
fue generada por esas dos parejas, de donde f5 es igual a la cantidad de parejas del mes
anterior mas la descendencia que generen las parejas del tercer mes, es decir, f5 = f4 + f3 =
3 + 2 = 5.
n = 5, f5 = f4 + f3 = 3 + 2 = 5
RECURSIVAMENTE
159
n = 6,
n = 7,
n = 8,
n = 9,
n = 10,
n = 11,
n = 12,
se tiene que
se tiene que
se tiene que
se tiene que
se tiene que
se tiene que
se tiene que
f6 = f5 + f4 = 5 + 3 = 8
f7 = f6 + f5 = 8 + 5 = 13
f8 = f7 + f6 = 13 + 8 = 21
f9 = f8 + f7 = 21 + 13 = 34
f10 = f9 + f8 = 34 + 21 = 55
f11 = f10 + f9 = 55 + 34 = 89
f12 = f11 + f10 = 89 + 55 = 144
0,
si n = 0;
(n) 1,
si n = 1;
#include<iostream>
#include<cstdlib>
using namespace std;
160
int main(){
int n;
cout << "n? = ";
cin >> n;
cout << "Fibonacci(n) = ";
cout << fibo(n);
cout << "\n";
system("pause");
return EXIT_SUCCESS;
};
Ejemplo. N
umero primo
Determinar si un n
umero mayor a 1 es primo o no (solo es divisible por 1 y por el
mismo).
Por definicion, n es primo si no es compuesto.
Un n
umero m es compuesto si se puede descomponer en la forma
m=pq
donde p, q N, 1 < p < m y 1 < q < m. Entonces, para saber si un n
umero es primo es
equivalente a verificar que no es compuesto, es decir, que no hay un n
umero k N, tal que
1 < k < m y que k sea divisor de m.
De lo anterior, para saber si un n
umero m es compuesto hay que ir probando con los
n
umeros desde 2 hasta m 1, y verificar si alguno de ellos es divisor de m; si no es as,
entonces m es primo. A partir de esta idea se observa que se tienen a lo mas m2 opciones
de posibles divisores.
Una mejora al algoritmo anterior es observar que para aquellos valores que sean mayores
a m2 estos no pueden ser divisores, ya que si a > m2 , entonces 2a > 2 m2 2 m2 = 2, razon
por la cual a no es un divisor, pues al multiplicarlo por cualquier numero mayor o igual a
2, el producto siempre excedera a m. A partir de esta idea se observa que se tienen a lo
mas m2 1 opciones de posibles divisores validos.
Una observacion adicional que hara mas eficiente el algoritmo es la que se puede concluir
a partir del siguiente teorema
RECURSIVAMENTE
161
Teorema. Si un n
umero m es compuesto, entonces existe k N tal que k es divisor de m
y
1 < k m.
Demostraci
on. Como m es un n
umero compuestoentonces
m es de la forma m = p q,
con p > 1 y q > 1. A partir de p y q se tiene quep m oq m, pues si no fuese es as,
entonces, se tendra lo contrario, es decir, p > m y q > m, si esto se tuviera, entonces
por construccion,
m = p q > ( m)2 = m,
lo cual es una contradiccion, por lo tanto, tener quep > my q > mgenera una contradiccion, de donde la afirmaci
on que se cumple es que p m o q m; ese valor p o q
que es menor o igual a m resulta ser el valor k que es el divisor de m que cumple con la
desigualdad.
m, uno de sus divisores debe ser menor o igual a m, de donde se tienen a lo mas m1
opciones de posibles divisores validos.
A partir del teorema anterior, se pueden dise
nar las funciones que permiten determinar
si un n
umero es primo o no. Inicialmente es necesario construir una funcion auxiliar o
ayudante (en ingles helper ) que nos permita responder a la pregunta
Dado un par de
enteros positivos n y d, n es m
ultiplo de alg
un valor entre d y n inclusive?. La siguiente
funcion recursiva permite responder a la pregunta anterior.
multiplo(n, d) = valor
donde se establecen las variables
n = N
umero del cual se desea saber si es multiplo de d
d = N
umero candidato a ser divisor de n
valor = true si d es multiplo de n y f alse si no lo es
entonces
multiplo N P B
V,
si n mod d = 0;
(n, d) F,
si d > n;
162
primo(n) = valor
donde se tienen las variables
n = N
umero del cual se desea establecer si es primo o no
valor = true si n es primo y f alse si no lo es
entonces
primo N {0, 1} B
si n = 2;
V,
(n)
#include<iostream>
#include<cstdlib>
#include<cmath>
using namespace std;
RECURSIVAMENTE
163
int main(){
int n;
cout << "n? = ";
cin >> n;
cout << "Es n primo? = ";
cout << primo(n);
cout << "\n";
system("pause");
return EXIT_SUCCESS;
};
multiplo N P B
V,
F,
(n, d)
multiplo(n, 3),
multiplo(n, d + 2),
si
si
si
en
n mod d = 0;
d > n;
d = 2;
otro caso.
164
Pared 1
p1
Pared 2
p2
El gerente de la empresa desea fijar unos carteles del mismo ancho, con la condicion de
que tiene que colocar los afiches completos, que abarquen en su totalidad dichas paredes y
que no se solapen. La empresa tiene la capacidad de mandar a imprimir y cortar los afiches
de cualquier ancho. Cual sera el afiche de mayor ancho que puede colocar la empresa de
tal manera que utilice en su totalidad las paredes y que los afiches se peguen completos
sin solaparse?
1. Para saber cual es el afiche mas ancho que se puede colocar en las paredes p1 y p2 ,
se debe observar que la pared mas corta es p2 , por lo tanto el afiche mas ancho debe
tener por mucho el ancho de esa pared.
2. Si a la pared mas ancha p1 se tapa con la pared mas corta p2 , se obtiene un resto r1
de pared como el siguiente
p1
p2
r1
3. Como los afiches taparan completa y exactamente la pared p2 , para que estos afiches
tambien tapen la pared p1 , entonces deben tapar completa y exactamente el resto r1
de la pared. Por lo que para este caso el afiche mas ancho debe tener por mucho el
ancho de ese resto r1 de pared.
4. El ancho de r1 pasa a ser entonces el candidato a ser el ancho del afiche, por lo que
es necesario que el afiche que tape la pared r1 tambien tape la pared p2 . As, si ahora
se tapa pared p2 con la pared r1 tantas veces como sea posible, entonces, se obtiene
un resto r2 de pared como el siguiente
RECURSIVAMENTE
165
p2
r1
r1
r2
5. En este caso ocurre lo mismo que en el numeral 3, para tapar la pared p2 se debe
tapar tambien la pared restante r2 , por lo que el afiche mas ancho debe tener por
mucho el ancho de ese resto r2 de pared.
6. De lo anterior, se tiene que el ancho de r2 pasa a ser entonces el candidato a ser el
ancho del afiche, por lo que es necesario que el afiche que tape la pared r2 tambien
tape la pared restante r1 . As, si ahora se tapa pared r1 con la pared r2 tantas veces
como sea posible, entonces, se obtiene un resto r3 de pared como el siguiente
r1
r3
r2
7. En este punto, el analisis es similar a los casos anteriores, pues para tapar la pared
r1 es necesario tapar el resto de pared r3 . Con lo cual se obtiene un nuevo candidato,
el ancho de la pared r3 . Si con esta pared r3 se tapa la pared r2 tantas veces como
sea posible, entonces se obtiene el siguiente cubrimiento total de la pared r2 .
r2
r3
r3
8. Por la construccion anterior, se tiene que un afiche que utilice en su totalidad las
paredes y que se peguen completos sin solaparse esta dado por el ancho de la pared
r3 . Un afiche de este ancho sera el de mayor tama
no pues siempre se escogio el de
mayor tama
no posible para ir descartando las otras opciones.
9. El aspecto de las paredes con los afiches colocados de acuerdo al resultado obtenido
es el siguiente
166
si q = 0;
p,
(p, q)
RECURSIVAMENTE
mcd(p, q) = m
donde se tienen las variables
p = Primer n
umero natural positivo
q = Segundo n
umero natural positivo
m = Maximo com
un divisor de los n
umeros p y q
entonces
mcd N N N
#include<iostream>
#include<cstdlib>
using namespace std;
167
168
int main(){
int p;
int q;
cout << "p? = ";
cin >> p;
cout << "q? = ";
cin >> q;
cout << "m.c.d(p,q) = ";
cout << mcd(p,q);
cout << "\n";
system("pause");
return EXIT_SUCCESS;
};
9.4. EJERCICIOS
169
9.4. Ejercicios
1. Modele mediante una funcion matematica y dise
ne un programa recursivo que dados
dos numeros enteros no negativos m y n, indique si el primer numero m es mayor
estrictamente que el segundo n
umero n, que utilice solo el operador de comparacion
de la igualdad (==), la funcion sucesor (sumar 1), la funcion predecesor (restar 1) y
la estructura condicional (if, if-else).
2. Modele mediante una funcion matematica y dise
ne un programa recursivo que dados
dos numeros enteros no negativos m y n determine el mayor de los dos n
umeros que
utilice solo el operador de comparacion de la igualdad (==), la funcion sucesor (sumar
1), la funcion predecesor (restar 1) y la estructura condicional (if, if-else).
3. Modele mediante una funcion matematica y dise
ne un programa recursivo que calcule
la suma de los primeros n n
umeros naturales (ni=0 i).
4. Modele mediante una funcion matematica y dise
ne un programa recursivo que calcule
la suma de los cuadrados de los primeros n n
umeros naturales (ni=0 i2 ).
5. Modele mediante una funcion matematica y dise
ne un programa recursivo que calcule
el producto de los primeros n n
umeros positivos (ni=1 i).
6. Modele mediante una funcion matematica y dise
ne un programa recursivo que calcule
el producto de los cuadrados de los primeros n n
umeros positivos (ni=1 i2 ).
7. Modele mediante una funcion matematica y dise
ne un programa recursivo que calcule
el logaritmo entero en base 2 de n ([ log2 n]). Por ejemplo, [ log2 1] = 0, [ log2 4] = 2,
[ log2 7] = 2, [ log2 15] = 3.
8. Modele mediante una funcion matematica y dise
ne un programa recursivo que calcule
el logaritmo entero en base b de n ([ logb n]).
9. Modele mediante una funcion matem
ne un programa
recursivo
que
calcule
atica y dise
laraz cuadrada entera de a ([ a]). Por ejemplo, [ 0] = 0, [ 1] = 1, [ 5] = 2,
[ 10] = 3.
10. Modele mediante una funcion matem
atica y dise
ne un programa recursivo que calcule
n
la raz n-esima entera de a ([ a]).
11. Modele mediante una funcion matematica y dise
ne un programa recursivo que calcule
la funcion modulo (m mod n = k). Por ejemplo, 0 mod 2 = 0, 4 mod 2 = 0, 3 mod 3 = 0,
10 mod 3 = 1, 14 mod 5 = 4.
12. Modele mediante una funcion matematica y dise
ne un programa que retorne el u
ltimo dgito de un n
umero natural n (ledo de izquierda a derecha). Por ejemplo,
ultimo(13579) = 9.
13. Modele mediante una funcion matematica y dise
ne un programa recursivo que determine la cantidad de dgitos que componen un n
umero natural n. Por ejemplo,
longitud(1230321) = 7.
170
Captulo
10
172
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
173
<bloque_prev>
int i = 0;
while(i <= 6){
cout << i;
cout << endl;
i = i + 1;
};
<bloque_sigui>
174
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
<bloque_prev>
int i = 1;
int j = 100;
while(i < j){
cout << i;
cout << " ";
cout << j;
cout << endl;
i = i * 2;
j = j + 25;
};
<bloque_sigui>
...
...
1 100
2 125
4 150
8 175
16 200
32 225
64 250
128 275
256 300
...
...
Observese que las variables i y j terminan el ciclo con los valores 512 y 325, y como
512 no es menor que 325, entonces el ciclo se para y se sale de este, por esta razon no se
imprimen estos valores.
Ejemplo. El mnimo n
umero positivo de la maquina
Dado que los n
umeros reales que son representables en un computador son finitos,
entonces es posible hablar del menor n
umero positivo representable en la maquina, es
decir el n
umero
xmn = mn {x (x es un n
umero de maquina) (x > 0)}
Para encontrar dicho n
umero hay un algoritmo muy sencillo que permite encontrar el
valor.
El algoritmo consiste en calcular los terminos de una progresion geometrica que inicia
con el termino x0 = 1 y para la cual los terminos siguientes se calculan utilizando la razon
xn
, esto se realiza mientras cada nuevo termino
de la progresion r = 1/2, es decir, xn+1 =
2
es positivo.
La codificacion en C++ de una funcion que permite hallar el mnimo n
umero positivo
representable en la maquina junto con su programa principal es
175
#include<iostream>
#include<cstdlib>
using namespace std;
double min_maquina(){
double Xo = 1.0;
double Xi = Xo / 2;
while(Xi > 0.0){
Xo = Xi;
Xi = Xo / 2.0;
};
return Xo;
};
como para calcular cada termino de la progresion geometrica se necesita u
nicamente el
termino anterior, entonces son necesarias solo dos variables, las cuales se utilizaran de la
siguiente manera:
La variable Xo representa el termino xn y se inicializa con el valor x0 = 1.
La variable Xi representa el termino xn+1 y se inicializa con el valor Xo / 2.
Ahora, dentro del ciclo la variable Xo jugara el rol del termino xn+1 mediante la
asignacion Xo = Xi;.
A la variable Xi se le asigna el siguiente termino de la progresion calculado y asignado
mediante la expresion Xi = Xo / 2.0;.
Las dos u
ltimas rutinas descritas se realizan mientras el valor de la variable Xi sea
mayor a 0.
El ciclo en alg
un momento deja de ejecutarse ya que el conjunto de los n
umeros de
maquina es finito, la progresion geometrica es decreciente y esta acotada inferiormente por 0.
Finalmente, se retorna el valor almacenado en la variable Xo pues fue el u
ltimo
termino de la progresion que era distinto de 0.
int main(){
cout << "El numero positivo mas pequeno que se puede\n";
cout << "representar en la maquina es: ";
cout << min_maquina();
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
176
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
<actualiza>
<bloque_sigui>
Dada la sintaxis general de un ciclo while
<bloque_prev>
<inicia>
while(<cond>){
<bloque>
<actualiza>
};
<bloque_sigui>
Un esquema textual que en C++ representa un ciclo for es la que se da en el siguiente
fragmento de codigo, observese que un ciclo for es equivalente a un ciclo while pero su
177
representacion sintactica es mas compacta y se separa el control del ciclo del calculo que
se desea realizar con el ciclo.
<bloque_prev>
for(<inicia> ; <cond> ; <actualiza>){
<bloque>
};
<bloque_sigui>
Ejemplo. La suma de los primeros n n
umeros naturales
Las dos siguientes funciones permiten calcular la suma de los primeros n n
umeros
naturales positivos, es decir, permiten calcular el valor de la expresion
1 + 2 + 3 + + (n 1) + n que abreviadamante se escribe como
i
i=1
178
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
int main(){
int n;
cout << "n? = ";
cin >> n;
cout << "La suma de los primeros n numeros es: ";
cout << suma(n);
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
179
n? = 6
La suma de los primeros n numeros es: 21
Presione una tecla para continuar . . .
1
2
3
4
5
6
1
2
3
4
5
6
1
2
3
4
5
6
ahora, si se rota la segunda escalera dos angulos rectos se obtienen las siguientes figuras
180
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
1
2
3
4
5
6
6
5
4
3
2
1
1
2
3
4
5
6
+
+
+
+
+
+
6
5
4
3
2
1
=
=
=
=
=
=
+
+
+
+
+
+
7
7
7
7
7
7
como se observa a continuacion, siempre se puede formar un rectangulo tal que uno de sus
lados es igual a n = 6 y el otro es igual a n + 1 = 7, y por la forma en que se construyo el
rectangulo se observa que la suma de los cuadrados de cada escalera es igual a la mitad
de la cantidad total de cuadrados en el rectangulo.
1
2
3
4
5
6
+
+
+
+
+
+
6
5
4
3
2
1
=
=
=
=
=
=
7
7
7
7
7
7
42
n=6
n+1=7
1 + 2 + 3 + 4 + 5 + 6 = i =
i=1
6(6 + 1) 6 7 42
=
=
= 21
2
2
2
181
<bloque_prev>
<inicia>
<bloque>
V
<actualiza>
<cond>
F
<bloque_sigui>
<bloque_prev>
<inicia>
while(<cond>){
<bloque>
<actualiza>
};
<bloque_sigui>
182
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
<bloque_prev>
<inicia>
do{
<bloque>
<actualiza>
}while(<cond>);
<bloque_sigui>
Ejemplo. El mnimo n
umero positivo de la maquina (version do)
Como para el calculo del mnimo n
umero positivo de la maquina se utilizo un ciclo
mientras y cuando se hace uso del ciclo siempre se ejecutan las instrucciones dentro del
ciclo al menos una vez, es posible utilizar un ciclo do en una nueva funcion equivalente a
la que tiene el ciclo while as como se muestra a continuacion
double min_maquina(){
double Xo = 1.0;
double Xi = Xo / 2;
while(Xi > 0.0){
Xo = Xi;
Xi = Xo / 2.0;
};
return Xo;
};
double min_maquina(){
double Xo = 1.0;
double Xi = Xo / 2;
do{
Xo = Xi;
Xi = Xo / 2.0;
}while(Xi > 0.0);
return Xo;
};
desea calcular, x0 a.
183
x0 = a
x0 > a
x0 < a
a partir de estos casos se pueden hacer los siguientes analisis:
Si x0 = a entonces
x0 = a
x20 = a
a
x0 =
x0
de donde x0 =
a
a= .
x0
0
Si x0 >
a
a=
x0
a entonces
x0 > a
x0 a > a a
x0 a > a
a
a>
x0
de donde x0 >
0
Si x0 <
x0 =
a
a> .
x0
(
a
x0
)
x0
a entonces
x0 < a
x0 a < a a
x0 a < a
a
a<
x0
de donde x0 <
a
a< .
x0
(
x0
)
a
x0
184
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
a
a con x0 y
, es que a
x0
siempre o es igual a esos valores (primer caso) o esta entre esos valores (segundo y
tercer caso).
a
Si a es igual a x0 y
, entonces el problema ya se soluciono y se tiene el valor
x0
exacto de a.
a
Si a esta entre x0 y , entonces hay que decidir si alguno de esos valores es una
x0
a
observarse que como a esta entre x0 y
, entonces el punto medio del intervalo
x0
que determinan esos valores 12 (x0 + xa0 ) es un valor que tambien sirve de aproximacion
al valor de a, porlo tanto ese valor se puede tomar como una nueva aproximacion
inicial al valor de a.
Como se observa en el analisis anterior, la relacion de
(
0
x0
(
a
x1
a
(
x2 x3
)
x1 = 12 (x0 + xa0 )
)
a
x0
Una pregunta que hay que hacerse en este momento es hasta cuando se deben
calcular nuevos valores?.
Una de las caractersticas de estos metodos constructivistas es que es posible que
no se obtenga el valor exacto porque el resultado no se puede representar con finita
memoria o es demasiado grande para la memoria o el tiempo necesario para calcular
el valor exacto es infinito.
Para este ejemplo y muchos de este tipo, hay que conformarse con obtener una
aproximacion lo suficientemente precisa que sea u
til para resolver el problema que
se esta solucionado.
185
Para decidir cuando se tiene una aproximacion lo suficientemente precisa de la solucion, el metodo mas sencillo que se suele utilizar es detenerse cuando la distancia
entre dos aproximaciones seguidas es lo suficientemente peque
na con respecto a un
valor dado, lo que se suele denominar la precision del error y se denota por el
smbolo . A la distancia entre las dos aproximaciones se les llama el error absoluto
y normalmente se calculan nuevas aproximaciones hasta que el error absoluto sea
menor que , lo que se expresa como
xi xi1 <
y que graficamente se puede representar as
(
0
xi1
( (
xi
) )
<
Cuando se detiene el calculo de nuevas aproximaciones, entonces el resultado que se
suele retornar es el punto medio de los dos u
ltimos valores calculados
(
0
xi1 xi+1 xi
( (
) )
La codificacion en C++ de una funcion que permite calcular la raz cuadrada de cualquier n
umero real positivo junto con su programa principal es
#include<iostream>
#include<cstdlib>
using namespace std;
La funcion valor absoluto es necesaria para calcular la distancia entre dos valores.
double valor_absoluto(double x){
if(x >= 0){
return x;
}else{
return -x;
};
};
Como para calcular el error relativo es necesario tener al menos dos aproximaciones, entonces, dado el primer valor inicial es necesario calcular al menos otro valor de la sucesion,
razon por la cual el uso de un ciclo do es muy conveniente.
186
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
int main(){
double a;
cout << "a? = ";
cin >> a;
cout << "Una aproximacion de la raiz cuadrada de a es: ";
cout << raiz(a);
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
Si se ejecuta el anterior programa y como entrada se ingresa el valor a=2, el resultado
que se obtiene es el siguiente
a? = 2
Una aproximacion de la raiz cuadrada de a es: 1.41421
Presione una tecla para continuar . . .
187
10.4. Simulaci
on de ciclos usando funciones recursivas
Como todo ciclo for y do puede ser simulado en terminos de ciclos while, y estos a
su vez se podran simular mediante funciones recursivas, como se explicara mas adelante,
entonces todo ciclo puede ser simulado mediante funciones recursivas.
Dado un bloque general de un ciclo while
<bloque_prev>
<inicia>
while(<cond>){
<bloque>
<actualiza>
};
<bloque_sigui>
este bloque se puede simular mediante funciones recursivas de la siguiente manera:
1. Se debe crear una nueva funcion recHelperFunc() que tendra tantos parametros
como variables intervengan en el ciclo while a simular;
2. La variable principal que se desea calcular con el ciclo se debe colocar como primer
parametro de la funcion.
3. En la funcion se debe agregar una estructura condicional tal que su condicion es la
misma que la del ciclo while.
4. Dentro del condicional se anexan las instrucciones del <body> y luego las del
<update>.
5. Finalmente se agrega una asignacion del resultado de llamar recursivamente la funcion recHelperFunc() a la variable que se desea calcular con el ciclo. La funcion se
llama con los mismo parametros iniciales, pero que fueron modificados dentro de las
instrucciones previas al nuevo llamado recursivo de la funcion dentro del condicional.
6. Finalmente se retorna la variable principal que se desea calcular con el ciclo inmediatamente despues de finalizar el condicional.
int recHelperFunc(int var1, int var2, ... , int varN){
if(<cond>) {
<bloque>
<actualiza>
var1 = recHelperFunc(var1, var2, ... , varN); // llamada recursiva
};
return var1;
};
188
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
7. La porcion del codigo que abarca el ciclo while se reemplaza por una asignacion donde
a la variable principal que se desea calcular con el ciclo se le asigna el resultado de
evaluar la funcion recursiva en las variables que intervienen en el ciclo y que fueron
inicializadas previamente al ciclo; el bloque previo, la inicializacion y el bloque siguiente
no se alteran.
<bloque_prev>
<inicia>
while(<cond>){
<bloque>
<actualiza>
};
<bloque_sigui>
<bloque_prev>
<inicia>
var1 = recHelperFunc(var1, var2, ... , varN);
<bloque_sigui>
Ejemplo. El factorial de un n
umero con ciclos y con funciones recursivas
Para la siguiente funcion que permite calcular el factorial de un n
umero y que utiliza
un ciclo while para el calculo del factorial, se construira una nueva funcion que simule el
ciclo while usando una funcion recursiva utilizando el metodo descrito anteriormente y
que es diferente a la presentada en el captulo de funciones recursivas.
int factorial(int n){
int fact = 1;
int i = 2;
while(i <= n){
fact *= i;
i++;
};
return fact;
};
La funcion recursiva auxiliar que se va a construir es la funcion recHelperFuncFact()
la cual tendra 3 parametros, que son las variables que intervienen en el ciclo while de la
funcion original. El ciclo esta dise
nado para calcular el valor de la variable fact, por lo
tanto esta sera la primera variable que se le pase a la nueva funcion recursiva y sera la
que retorne la funcion recursiva cada vez que se ejecute, el aspecto de esta funcion es el
siguiente.
ESTRUCTURADA
10.5. TEOREMA FUNDAMENTAL DE LA PROGRAMACION
189
10.6. Validaci
on de datos usando ciclos
Con respecto a la validacion hecha en el captulo donde se explico la estructura condicional, en la cual si haba alg
un error al introducir los datos, entonces el programa terminaba
sin que hubiese alguna otra opcion adicional a la de informar al sistema operativo que se
salio con una falla generada durante la ejecucion del programa.
Otra forma de realizar una validacion es el uso del ciclo do-while. Para codificar la
validacion con el ciclo do-while, se solicitan que se ingresen los valores uno por uno, se
leen los valores de las variables que deben ser introducidas por el usuario mediante el
190
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
teclado, se verifica si se incumple con alguna de las condiciones que deben cumplir las
variables, en caso de que se incumpla, se solicita de nuevo al usuario que vuelva a ingresar
la informacion y esto se hace hasta que la informacion ingresada sea correcta.
Ejemplo. Con respecto al algoritmo para el calculo del area de un rectangulo dada la
definicion del tipo de dato podran estarse leyendo largos o anchos negativos. La notacion
matematica tambien permite restringir el dominio y el rango de los conjuntos quedando
la funcion de la siguiente forma
area rectangulo R0,+ R0,+ R0,+
(l, a) l a
Un programa que permite calcular el area de un rectangulo y que hace la validacion de
las variables ingresadas mediante el uso de ciclos y que no se termina si el usuario ingresa
un valor errado es
La codificacion en C++ de la funcion para calcular el area de un rectangulo haciendo
la validacion tanto del ancho como de la altura usando ciclos es la siguiente
#include<iostream>
#include<cstdlib>
using namespace std;
int main(){
double largo;
double ancho;
do{
cout << "Por favor ingrese el largo del rectangulo" << endl;
cout << "largo? = ";
cin >> largo;
}while(largo < 0);
do{
cout << "Por favor ingrese el ancho del rectangulo" << endl;
cout << "ancho? = ";
cin >> ancho;
}while(ancho < 0);
cout << "El area del rectangulo es: ";
cout << area_rectangulo(largo, ancho);
cout << endl;
system("pause");
return EXIT_SUCCESS;
};
191
192
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
10.7. Ejercicios
1. Imprimir un listado con los n
umeros del 1 al 100 cada uno con su respectivo cuadrado.
2. Imprimir un listado con los n
umeros impares desde 1 hasta 999 y seguidamente otro
listado con los n
umeros pares desde 2 hasta 1000.
3. Imprimir los n
umeros pares en forma descendente hasta 2 que son menores o iguales
a un n
umero natural n 2 dado.
4. Imprimir los 50 primeros n
umeros de Fibonacci. Recuerde que un n
umero de Fibonacci se calcula como la suma de los dos anteriores as: 0, 1, 1, 2, 3, 5, 8, 13.
5. Imprimir los n
umeros de 1 hasta un n
umero natural n dado, cada uno con su respectivo factorial.
6. Calcular el valor de 2 elevado a la potencia n.
7. Leer un n
umero natural n, leer otro dato de tipo real x y calcular xn .
8. En 2010 el pas A tiene una poblacion de 25 millones de habitantes y el pas B
de 19.9 millones. Las tasas de crecimiento anual de la poblacion son de 2 % y 3 %
respectivamente. Desarrollar un algoritmo para informar en que a
no la poblacion del
pas B supera a la de A.
9. Elaborar una funcion que reciba un n
umero entero, que retorne 1 si el n
umero es
negativo, si el n
umero es positivo debe devolver una clave calculada de la siguiente
manera: se suma cada dgito que compone el n
umero y a esa suma se le calcula el
modulo 7. Por ejemplo: para la cifra 513, la clave sera 5 + 1 + 3 = 9; 9 mod 7 = 2.
10. Dise
ne un programa que muestre las tablas de multiplicar del 1 al 9.
11. Introducir un rango especificado por 2 n
umeros enteros, tal que el primero sea menor
al segundo y contar el n
umero de m
ultiplos de un numero entero ledo que existe en
el rango. Por ejemplo, si se introduce 2 y 21, el n
umero de m
ultiplos de 3 es 7, dado
que 3, 6, 9, 12, 15, 18 y 21 son m
ultiplos de 3 en el rango [2, 21].
12. Dise
nar una funcion que permita calcular una aproximacion de la funcion exponencial
alrededor de 0 para cualquier valor x R, utilizando los primeros n terminos de la
serie de Maclaurin
n
xi
exp(x, n) .
i=0 i!
13. Dise
nar una funcion que permita calcular una aproximacion de la funcion seno alrededor de 0 para cualquier valor x R (x dado en radianes), utilizando los primeros
n terminos de la serie de Maclaurin
(1)i x2i+1
.
i=0 (2i + 1)!
n
sen(x, n)
193
10.7. EJERCICIOS
14. Dise
nar una funcion que permita calcular una aproximacion de la funcion coseno
alrededor de 0 para cualquier valor x R (x dado en radianes), utilizando los primeros
n terminos de la serie de Maclaurin
(1)i x2i
.
(2i)!
i=0
n
cos(x, n)
15. Dise
nar una funcion que permita calcular una aproximacion de la funcion logaritmo
natural alrededor de 0 para cualquier valor x R+ , utilizando los primeros n terminos
de la serie de Maclaurin
2i+1
1 x2 1
ln(x, n)
2
i=0 2i + 1 x + 1
n
16. Dise
nar una funcion que permita calcular una aproximacion de la funcion arco tangente para cualquier valor x [1, 1], utilizando los primeros n terminos de la serie
de Maclaurin (al evaluar esta funcion el resultado que se obtiene esta expresado en
radianes)
n
(1)i x2i+1
.
arctan(x, n)
i=0 (2i + 1)
194
CICLICAS
CAPITULO 10. ESTRUCTURAS DE PROGRAMACION
Captulo
11
v = (v1 , v2 , v3 , . . . , vn )
donde el vector esta constituido por n componentes de un conjunto generico V. Si v Vn ,
entonces el vector se dice que es n-dimensional o de tama
no n.
Ejemplo. El siguiente vector de tama
no 6 pertenece a Z6 y tiene una notacion particular
la cual es 06
06 = (0, 0, 0, 0, 0, 0)
En un vector, para referirse a una componente en particular, a esta se le dice que es
la componente en la posicion i o la i-esima componente, esto significa que el objeto es
la componente ubicada en la posicion i, se denota por la expresion vi y se puede ubicar
dentro del vector como se muestra a continuacion
componente i-esima
(v1 , . . . , vi , . . . , vn )
195
196
3
4,
0.25, 15 ,
3
2, 0.0, , 5, 0.9)
v2 = 43 .
v5 = 2.
v8 = 3 5.
v4 = 51 .
v7 = .
v3 = 0.25.
v6 = 0.0.
v9 = 0.9.
se puede obtener el conjunto de los vectores V , el cual se define como la union de todos
los productos cartesianos del conjunto V, de la siguiente manera
V = Vn
nN
nN
as, el conjunto de los arreglos del tipo de datos T es una coleccion de variables del tipo
de datos T.
Para definir arreglos se utilizara la notacion de memoria dinamica, es decir, si x T
entonces el vector x se creara en tiempo de ejecucion del programa.
Si se quiere expresar en C++ que x T esto se escribe como T* x; y para reservar el
espacio de memoria para todo el arreglo de tipo T, esto se escribe como x = new T[n].
De donde, para crear un arreglo x de tama
no n y de tipo T se utiliza la instruccion
11.2. LOS ARREGLOS O VECTORES EN COMPUTACION
197
T* x = new T[n]
Con esta instruccion se reserva una porcion de la memoria M que es utilizada para
almacenar el arreglo y que es bloqueada para que solo se pueda utilizar para guardar
valores en el arreglo, a menos que el espacio se libere y se pueda utilizar para almacenar
otro tipo de informacion. A la porcion de espacio de memoria que ocupa un arreglo x lo
notaremos como Mx . Graficamente esto se puede ver as:
new T[n]
M
T
T
Mx
T* x = new T[n]
M
T
T
Mx
198
2 2 2
[x[0]
, x[1] , x[2] ,
(x1 , x2 , x3 ,
2 2
, x[n-2] , x[n-1]
, xn1 , xn)
M
x[0]
x[1]
x[n-2] x[n-1]
En lenguajes como SciLab y MatLab, la primera componente del arreglo esta ubicada
en la posicion 1, y para un arreglo de tama
no n se tiene que la u
ltima componente del
arreglo estara ubicada en la posicion n, por lo que las posiciones se manejan como en
notacion matematica de vectores, es decir, para acceder en SciLab o MatLab a la variable
almacenada en la componente i se utiliza la equivalencia
11.2. LOS ARREGLOS O VECTORES EN COMPUTACION
199
xi x[i]
En caso de que se quiera acceder a una componente mayor o igual a la n-esima en C++
entonces el valor almacenado sera lo que en ese momento tenga la memoria en el siguiente
campo de la memoria, pero este sera un valor inesperado, por que simplemente no se ha
protegido ese espacio de memoria y la informacion all es desconocida a priori. Si se quiere
acceder a una componente menor a 0, ocurre algo similar a lo descrito anteriormente.
crear arreglo T N T
(n) x, donde x Tn T
En C++ se traduce
T* crear_arreglo_T(int n){
return new T[n];
};
Ejemplo. Para crear un arreglo de tipo entero se tiene la siguiente funcion
int* crear_arreglo_int(int n){
return new int[n];
};
11.2.1.2. Eliminaci
on de arreglos
Para eliminar un arreglo, se debe entender que lo que ocurre es que la porcion del
espacio de la memoria que se utiliza para almacenar las componentes del arreglo se liberan
o se regresan al sistema operativo para que este disponga de esa memoria para almacenar
nueva informacion.
200
Matematicamente se puede modelar esto como una funcion que dado el arreglo x y el
tama
no del arreglo n (aunque este u
ltimo no se requiere, pero se suele utilizar), se retorna
la porcion del espacio de la memoria Mx que es utilizado para almacenar el arreglo x, de
esta manera la funcion se puede escribir as
liberar arreglo T T N (M)
(x, n) Mx
Hay que recordar aqu que (M) es el conjunto de todos los subconjuntos de la memoria
M y que dado un arreglo x, Mx es una porcion de memoria donde se almacena el arreglo
x, por lo tanto Mx M, es decir Mx (M).
Para traducir esta funcion a C++ se debe tener en cuenta que la funcion no retorna un
valor de un tipo de datos, si no que se regresa memoria al sistema operativo, por lo que la
funcion regresa un espacio que esta vacio y queda disponible para utilizarse de nuevo.
El desbloqueo de la memoria y la liberacion del espacio utilizado por el arreglo x se
escribe en C++ mediante la instruccion
delete[] x;
M
T
T
Mx
delete[] x;
Para decir que se retorna memoria vaca al sistema operativo se utiliza como tipo de
dato el vaco que en C++ se escribe como void y en el cuerpo de la funcion se utiliza la
201
instruccion return; para indicar que se retorno una porcion de espacio que esta vacio y
que queda disponible para usarse de nuevo.
Una funcion que solo manipula la memoria y que retorna un tipo de dato vaco, en
programacion se conoce como un procedimiento.
De esta manera, la traduccion de la funcion en C++ se escribe de la siguiente manera
void liberar_arreglo_T(T* x, int n){
delete[] x;
return;
};
Ejemplo. Para liberar la memoria usada por un arreglo de tipo entero se tiene la siguiente
funcion
void liberar_arreglo_int(int* x, int n){
delete[] x;
return;
};
leer arreglo T IS T N T
(is, x, n) x,
202
Ejemplo. En C++ para leer un arreglo de tipo entero se utiliza la siguiente funcion
int* leer_arreglo_int(istream& is, int* x, int n){
for(int i = 0; i < n; i++){
x[i] = leer_int(is);
};
return x;
};
3
4
3
4
n=5
1
n = 5,
i=0
3
4
5
1 2
n = 5,
5
i=1
1 2 3
n = 5,
i=2
1 2 3 4
n = 5,
1 2 3 4 5
i=3
n = 5,
i=4
1 2 3 4 5
n = 5,
i=5
203
escribir arreglo T OS T N OS
(os, x, n) os,
n=5
n = 5, i = 0
1 2 3 4 5
1 2 3 4 5
1
n = 5, i = 0
n = 5, i = 1
1 2 3 4 5
1 2 3 4 5
1
204
n = 5, i = 1
n = 5, i = 2
1 2 3 4 5
1 2 3 4 5
2
n = 5, i = 2
n = 5, i = 3
1
1 2 3 4 5
3
1 2 3 4 5
10
n = 5, i = 3
n = 5, i = 4
1
1 2 3 4 5
1 2 3 4 5
12
11
n = 5, i = 4
n = 5, i = 5
1 2 3 4 5
1 2 3 4 5
13
1 2 3
4 5
205
Suponga que un archivo contiene unos datos numericos enteros tales que consta de 5
datos que se encuentran separados por una tabulacion as como se muestra a continuacion
1
Una funcion general que permite construir un nuevo arreglo que contiene el cubo de
cada componente de un arreglo dado es
cubo componentes arreglo Z N Z
(x, n) y,
donde yi = x3i ,
i = 1, 2, . . . , n.
206
int main(){
int n = 5;
ifstream ifs("arreglo_numeros.txt");
ofstream ofs("arreglo_cubos.txt");
int* x = crear_arreglo_int(n);
x = leer_arreglo_int(ifs, x, n);
int* y = cubo_componentes_arreglo(x, n);
escribir_arreglo_int(ofs, y, n);
liberar_arreglo_int(x, n);
liberar_arreglo_int(y, n);
ifs.close();
ofs.close();
cout << "El calculo del arreglo fue exitoso" << endl;
system("pause");
return EXIT_SUCCESS;
};
207
27
64
125
Una funcion recursiva que permite tambien calcular el cubo de las componentes de un
arreglo mediante la creacion de un nuevo arreglo que almacene el resultado del calculo, y
una funcion ayudante o auxiliar donde se realiza el calculo componente a componente y
se hacen los llamados recursivos para recorrer el arreglo original. Estas funciones pueden
ser escritas de la siguiente manera:
int* cubo_arreglo_aux(int* x, int* y, int n){
y[n - 1] = x[n - 1] * x[n - 1] * x[n - 1];
if(n == 1){
return y;
}else{
return cubo_arreglo_aux(x, y, n - 1);
};
};
208
suma arreglo R N R
si n = 1;
x1 ,
(x, n)
promedio R N R
(x, n) suma arreglo(x, n)/n;
Una funcion en C++ que permite calcular el promedio de los datos numericos almacenados en un arreglo de longitud n es
double promedio(double* x, int n){
return suma_arreglo(x, n) / n;
};
209
esta ordenado Z N B
V,
si n = 1;
(x, n) F,
si xn1 > xn ;
210
max arreglo Z N Z
x1 , si n = 1;
(M > xn );
xn , en otro caso.
La codificacion en C++ de una funcion que permite calcular el maximo de un arreglo
de longitud n se presenta a continuacion. Al codificar la funcion en C++ es necesario tener
en cuenta que las componentes xn sufren un corrimiento de una posicion desde el intervalo
original n a 1 al intervalo trasladado desde n 1 hasta 0, pero la llamada recursiva de la
funcion se hace igual que como fue definida en el modelo matematico.
211
Una funcion en C++ que permite calcular el maximo de un arreglo, que esta escrita
usando estructuras cclicas y que resulta ser equivalente a la anterior es la siguiente
212
pos max Z N Z
1, si n = 1;
(xk > xn );
n, en otro caso.
La codificacion en C++ de una funcion que permite obtener la posicion del maximo de
un arreglo de longitud n se presenta a continuacion.
int pos_max(int* x, int n){
if(n == 1){
return 0;
};
int k = pos_max(x, n - 1);
if(x[k] > x[n - 1]){
return k;
};
return n - 1;
};
Una funcion en C++ permite obtener la posicion del maximo de un arreglo, que esta escrita usando estructuras cclicas y que resulta ser equivalente a la anterior es la siguiente
int pos_max(int* x, int n){
int k = 0;
for(int i = 1; i < n; i++){
if(x[k] < x[i]){
k = i;
};
};
return k;
};
Ejemplo. Ordenar ascendentemente un arreglo de enteros por seleccion del maximo
A partir de un arreglo x = [x1 , x2 , . . . , xn1 , xn ] se puede obtener un nuevo arreglo
x = [x1 , x2 , . . . , xn1 , xn ] tal que {x1 , x2 , . . . , xn1 , xn } = {x1 , x2 , . . . , xn1 , xn } y el arreglo
x se encuentra ordenado ascendentemente, es decir x1 x2 xn1 xn . Una funcion
recursiva que permite calcular la posicion del maximo de un arreglo se puede modelar
matematicamente teniendo en cuenta que:
Si el arreglo tiene una u
nica componente, entonces el arreglo ya se encuentra ordenado ascendentemente.
213
La codificacion en C++ de una funcion que permite obtener un arreglo ordenado ascendentemente a partir de un arreglo dado de longitud n se presenta a continuacion.
Esta funcion hace un llamado a la funcion que permite obtener la posicion del maximo
de un arreglo dado y este se utiliza para intercambiar el elemento mayor a la u
ltima
posicion, para realizar esto es necesario utilizar una variable adicional o auxiliar t que
se utiliza para almacenar momentaneamente el valor de una de las componentes mientras
esta cambia su valor por el de la otra componente, y el valor de la otra componente cambia
al valor almacenado en la variable t. Este procedimiento muy com
un al ordenar arreglos
se conoce en programacion como un swap de variables.
ordenar Z N Z
x,
si n = 1;
La codificacion en C++ de una funcion que permite obtener un arreglo ordenado ascendentemente a partir de un arreglo dado de longitud n se presenta a continuacion.
214
11.4. EJERCICIOS
215
11.4. Ejercicios
Nota: para todos los ejercicios que se solicita se solucionen a continuacion, la lectura
de los arreglos se deben hacer a partir de un archivo de entrada y si la salida es un arreglo,
este debe ser escrito en un archivo de salida.
1. Modele mediante una funcion matematica y desarrolle un algoritmo recursivo en
C++ que permita hallar la posicion del mnimo de un vector de n
umeros reales.
2. Modele mediante una funcion matematica y desarrolle un algoritmo en C++ con
ciclos que permita hallar la posicion del mnimo de un vector de n
umeros reales.
3. Modele mediante una funcion matematica y desarrolle un algoritmo recursivo en
C++ que calcule el mnimo de un vector de n
umeros reales.
4. Modele mediante una funcion matematica y desarrolle un algoritmo con ciclos en
C++ que calcule el mnimo de un vector de n
umeros reales.
5. Modele mediante una funcion matematica y desarrolle un algoritmo en C++ que
permita hallar la varianza S 2 de los datos almacenados en un vector de n
umeros
reales. La varianza S 2 esta dada por la expresion
S2 =
1 n
(xi x)2
n 1 i=1
1 n
S=
(xi x)2
n 1 i=1
7. Implementar la criba de Eratostenes para calcular los n
umeros primos en el rango 1
a n, donde n es un n
umero natural dado por el usuario.
8. Modele mediante una funcion matematica y desarrolle un algoritmo en C++ que
calcule el producto por escalar de una constante con un vector de n
umeros reales.
Sea R y v = (v1 , v2 , . . . , vn ), el producto por escalar de con v (notado v) es el
vector dado por la expresion
v = (v1 , v2 , . . . , vn )
9. Modele mediante una funcion matematica y desarrolle un algoritmo en C++ que calcule la suma de dos vectores de n
umeros reales de igual tama
no. Sean
v = (v1 , v2 , . . . , vn ) y w = (w1 , w2 , . . . , wn ) dos vectores, la suma de v y w (notado v + w) es el vector dado por la expresion
v + w = (v1 + w1 , v2 + w2 , . . . , vn + wn )
216
10. Modele mediante una funcion matematica y desarrolle un algoritmo en C++ que calcule la resta de dos vectores de n
umeros reales de igual tama
no. Sean
v = (v1 , v2 , . . . , vn ) y w = (w1 , w2 , . . . , wn ) dos vectores, la resta de v y w (notado
v w) es el vector dado por la expresion
v w = (v1 w1 , v2 w2 , . . . , vn wn )
11. Modele mediante una funcion matematica y desarrolle un algoritmo en C++ que
calcule el producto punto de dos vectores de n
umeros reales de igual tama
no. Sean
v = (v1 , v2 , . . . , vn ) y w = (w1 , w2 , . . . , wn ) dos vectores, el producto punto de v y w
(notado v w) es el n
umero dado por la expresion
n
v w = vi wi = v1 w1 + v2 w2 + + vn wn
i=1
12. Modele mediante una funcion matematica y desarrolle un algoritmo en C++ que calcule el producto directo de dos vectores de reales de igual tama
no. Sean
v = (v1 , v2 , . . . , vn ) y w = (w1 , w2 , . . . , wn ) dos vectores, el producto directo de v
y w (notado v w) es el vector dado por la expresion
v w = (v1 w1 , v2 w2 , . . . , vn wn )
13. Desarrollar un algoritmo que determine la mediana de un arreglo de reales. Para
calcular la mediana del arreglo primero se debe ordenar el arreglo y luego de ser
ordenado el arreglo, la mediana es el n
umero que queda en la mitad del arreglo
resultante si la longitud del arreglo es impar, y si la longitud del arreglo es par
entonces la mediana es igual a la semisuma de los dos datos ubicados en la mitad
del arreglo.
14. Hacer un algoritmo que deje al final de un arreglo de n
umeros enteros todos los ceros
que aparezcan en dicho arreglo.
Ejemplo.
arreglo original: [1, 6, 0, 7, -3, 8, 0, -2, 11]
arreglo salida: [1, 6, 7, -3, 8, -2, 11, 0, 0]
Ejemplo.
arreglo original: [0, 11, 36, 10, 0, 17, -23, 81, 0, 0, 12, 11, 0]
arreglo salida: [11, 36, 10, 17, -23, 81, 12, 11, 0, 0, 0, 0, 0]
15. Suponga que un arreglo de enteros esta lleno de unos y ceros y que el arreglo representa un n
umero binario al reves. Hacer un algoritmo que calcule los n
umeros en
base decimal que representa dicho arreglo de unos y ceros.
Ejemplo.
11.4. EJERCICIOS
217
218
Captulo
12
Cadenas de caracteres
En el estudio de la teora de la computacion, existen topicos basicos que son estudiados
y que conforman el n
ucleo sobre los cuales se hacen las construcciones de todos los demas
conceptos computacionales. Entre estos estan los conceptos de lenguajes (que son un poco distintos de los lenguajes de programacion) y sus elementos fundamentales los cuales
son las cadenas, que se entienden como secuencias finitas de smbolos. En este captulo
se estudiaran las cadenas en los lenguajes de programacion, que se ven como arreglos
de caracteres donde el llenado se realiza de forma parcial, es decir, que la cantidad de
informacion que se suele almacenar es variable, pero siempre con la condicion de estar
limitada. Para saber hasta donde la informacion del arreglo es u
til existe un caracter que
es un marcador del fin de cadena que indica que desde la aparicion de este, el resto del
arreglo tendra informacion sin ning
un valor; esta es la principal diferencia de lo que es un
arreglo de caracteres tradicional y una cadena, que es un arreglo con marcador final. En
el primer tipo de arreglo generalmente las operaciones dependen del tama
no del arreglo y
en el segundo siempre dependen del marcador de fin de cadena.
Antes de iniciar el estudio de las cadenas, primero se realizara un repaso del tipo caracter
y algunas operaciones que pueden hacerse sobre estos.
220
con los cuales se pueden representar 256 diferentes caracteres. La tabla completa de todos
los smbolos del conjunto ASCII extendido fueron presentados en la seccion 5.2.4.
Para especificar que x ASCII, en C++ se escribe
char x;
para inicializar un caracter se pueden utilizar los literales de caracter, estos son los caracteres entre comillas simples.
Ejemplo.
char letra1 = A;
221
Como se vio en la seccion 5.2.4, existen tambien caracteres especiales, para los cuales
se puede conocer su codigo ASCII haciendo una conversion de caracter a entero, de la
siguiente manera.
Ejemplo.
10
222
Ejemplo. En la tabla 12.1 se presentan las longitudes maximas para nombrar archivos
en distintos sistemas operativos, en la longitud no se tiene en cuenta el smbolo de fin de
cadena, as que el arreglo de caracteres base esta definido con un tama
no mas uno (+1)
del que se presenta en la tabla 12.1.
Sistema
operativo
Longitud
de cadena
Unix/Linux
MS-DOS
Windows
255
12
260
Mac OS X
256
223
Descripcion
Tabla 12.1. Longitud de cadena para nombres de archivos en distintos sistemas operativos.
T* crear_arreglo_T(int n){
return new T[n];
};
para el caso de las cadenas se crea un arreglo de datos de tipo char, es decir, para construir
cadenas se utiliza la funcion
crear arreglo char N ASCII
(n) x, donde x ASCIIn ASCII
que se abreviara de aqu en adelante mediante la funcion equivalente
crear cadena N ASCII
(n) x, donde x ASCIIn ASCII
que en C++ se traduce como
224
12.3.2. Eliminaci
on de cadenas
La eliminacion de cadenas devuelve la memoria empleada por el arreglo al sistema operativo para que esta quede disponible para ser utilizada para almacenar otra informacion.
Como se explico en el captulo 11 de arreglos, los tipos de datos primitivos no requieren
esta definicion pero para las estructuras de datos como los arreglos si deben ser eliminados.
La eliminacion de arreglos esta asociada al operador delete en C++. Para los arreglos se
tiene que la eliminacion de arreglos se hace as
liberar arreglo T T N (M)
(x, n) Mx
que en C++ se traduce como
void liberar_arreglo_T(T* x, int n){
delete[] x;
return;
};
Para las cadenas se puede utilizar la misma funcion, pero se suele descartar la longitud
del arreglo directamente
liberar cadena ASCII (M)
(x) Mx
que en C++ se traduce como
void liberar_cadena(char* x){
delete[] x;
return;
};
225
226
dentro de una cadena, esto es contar cuantos caracteres hay antes del caracter NUL, cuando
una cadena tiene longitud nula o igual a cero se dice que la cadena es una cadena vaca.
Ejemplo. Para la siguiente cadena se tiene que su longitud es igual a 5, no se tiene en
cuenta el fin de cadena, aunque el arreglo base tiene un tama
no igual a 10.
h o l a \0 ?? ?? ?? ??
0
Una funcion que permite calcular la longitud de una cadena, que hace uso de una
funcion auxiliar recursiva es
si xi = NUL;
0,
(x, i)
227
12.3.4.3. De cadenas a n
umeros enteros o reales
La librera cstdlib contiene dos funciones que son muy u
tiles y frecuentemente utilizadas, que permiten convertir informacion almacenada como cadenas a n
umeros enteros o
reales de acuerdo a su origen. Estas funciones son:
int atoi(char* <integer>): funcion que abrevia la frase alphabetic to integer (alfabetico a entero) y que permite obtener un n
umero entero a partir de una cadena, en caso
de que la cadena del argumento <integer> no represente un entero entero valido,
entonces se retorna por defecto el valor 0.
double atof(char* <float>): funcion que abrevia la frase alphabetic to floating point
(alfabetico a punto flotante) y que permite obtener un n
umero real a partir de una
cadena, en caso de que la cadena del argumento <float> no represente un n
umero
real valido, entonces se retorna por defecto el valor 0.0.
228
#include <iostream>
#include <cstdlib>
using namespace std;
char* crear_cadena(int n){
return new char[n];
};
void liberar_cadena(char* x){
delete[] x;
return;
};
char* leer_cadena(istream& is, char* x, int n){
is.getline(x, n);
return x;
};
ostream& escribir_cadena(ostream& os, char* x){
os << x;
return os;
};
int longitud_parcial(char* x, int i){
if(x[i] == \0){
return 0;
};
return 1 + longitud_parcial(x, i + 1);
};
int longitud_cadena(char* x){
return longitud_parcial(x, 0);
};
char* copiar_cadena(char* x){
int lon = longitud_cadena(x);
char* x_copia = crear_cadena(lon + 1);
for(int i = 0; i < lon; i++){
x_copia[i] = x[i];
};
x_copia[lon] = \0;
return x_copia;
};
int main()
{
int n_nombre = 256;
// Crea una cadena de tamano 255
char* str = crear_cadena(n_nombre);
char* str_copia = crear_cadena(n_nombre);
int n_edad = 3;
// Crea una cadena de tamano 2
char* str_edad = crear_cadena(n_edad);
int edad;
229
230
12.4. Ejercicios
1. Elabore un programa que dada una letra cuente cuantas ocurrencias de esta letra
hay.
2. Elabore un programa que dada una cadena diga si todos los smbolos de la cadena
son letras.
3. Elabore un programa que dada una cadena cuente las consonantes en dicha cadena.
4. Desarrollar un algoritmo que retorne un valor booleano que indique si dos cadenas
son iguales, esto es, que tienen la misma longitud con los mismos smbolos en la
mismas posiciones.
5. Desarrollar un algoritmo que permita concatenar dos cadenas (colocar la segunda
inmediatamente despues de la primera), hay que tener en cuenta que la cadena
resultante tendra un tama
no mayor que cualquiera de la cadenas operandos si son
distintas de la cadena vaca (la cadena resultante debe quedar guardada en una
variable aparte).
6. Desarrollar un algoritmo que invierta una cadena de caracteres (la cadena invertida
debe quedar guardada en una variable aparte).
7. Desarrollar un algoritmo que determine si una cadena de caracteres es palindrome.
Una cadena se dice palindrome si al invertirla es igual a ella misma. Ejemplos:
ala es palindrome
anita lava la tina No es palindrome, pues al invertirla con espacios no es
exactamente igual a la original.
los estudiantes de programacion leyeron toda la gua no es palindrome.
robas ese sabor es palindrome
8. Desarrollar un algoritmo que realice el corrimiento circular a izquierda de una cadena
de caracteres. El corrimiento circular a izquierda es pasar el primer caracter de una
cadena como ultimo caracter de la misma. Ejemplo: Los estudiantes hicieron bien
el taller quedara os estudiantes hicieron bien el tallerL.
9. Desarrollar un algoritmo que reciba como entrada dos cadenas y determine si la
primera es subcadena de la segunda. (No se deben usar operaciones de subcadenas
propias del lenguaje de programacion). Ejemplos: La cadena prosa es subcadena
de la cadena la prosa debe ser armoniosa La cadena pepito no es subcadena de
la cadena el torpe pito de aire. La cadena pe pito si esta incluida en la cadena
el torpe pito de aire.
Captulo
13
X = 9 11 5 6 4
6 2 1 1 1
x1(m1)
x1m
x21
x22
x23
x2(m1)
x2m
X =
x
xn2
xn3
xn(m1)
xnm
n1
donde la matriz esta compuesta por n filas y m columnas, a esta matriz se le dice que es
de tama
no n m.
x11 x12
x
x22
X = 21
xn1 xn2
x1m
x2m
xnm
m
231
232
X =
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
columna j
fila i
x11
xi1
xn1
x1j
xij
xnj
x1m
xim
xnm
5
2 4
0.0
6
X =
12
3
3
3.14
5 10 0 5 0.9
de tama
no 4 5 se tiene que sus componentes son:
X11 = 2.
X12 = 1.
X21 = 15 .
X22 = 2.
X13 = 34 .
X23 = 4.
X14 = 0.25.
X24 = 0.0.
X33 = 12 .
X34 = 3.
X15 = e.
X25 = 6.
X35 = 3.
3
5.
X31 = 3.14.
X41 =
X32 = .
X42 = 10.
X43 = 0.
X44 = 5.
X45 = 0.9.
233
V F
X =[
]
F V
Ejemplo. La siguiente matriz de tama
no 4 4, es una matriz cuadrada cuyas entradas
son n
umeros reales, se le conoce como la matriz identidad de tama
no 4 4 y se denota por
la expresion I4
1 0 0 0
0 1 0 0
I4 =
0 0 1 0
0 0 0 1
i) Definici
on de matrices por vectores fila
Una matriz puede verse como un vector columna cuyas componentes son vectores
fila, as una matriz es un vector de tama
no n 1 cuyas componentes son vectores de
tama
no 1 m.
x11 x12
xi1 xi2
x
x
n1 n2
x1m
xim
xnm
[ x
n1 xn2 xnm ]
m
1
ii) Definici
on de matrices por vectores columna
Una matriz puede verse como un vector fila cuyas componentes son vectores columna,
as una matriz es un vector de tama
no 1 m cuyas componentes son vectores de
tama
no n 1.
x11
x
21
xn1
x1j
x2j
xnj
m
x1m
x2m
xnm
x
x1j
x1m
11
x
x
x21
2j
2m
xn1
xnj
xnm
234
A partir del concepto de arreglo y usando la definicion i) de matrices por vectores fila se
puede ahora definir el conjunto de las matrices T como la union de todos los productos
cartesianos del conjunto de los arreglos del conjunto T, de la siguiente manera
= (
mN
nN
Tm
El producto externo debe entenderse como un producto cartesiano que genera vectores
columna y que internamente genera vectores fila, as como en la definicion i).
Un elemento generico del conjunto T es de la forma (Tm )n , donde n es el n
umero
de filas y m es el n
umero de columnas. Para abreviar, de aqu en adelante se utilizara la
notacion
(Tm )n Tnm .
235
en la posicion (n, m), similar a como se manejan las posiciones en notacion matematica
de matrices, es decir, para acceder en SciLab o MatLab a la variable almacenada en la
componente(i, j) se utiliza la equivalencia
Xij X[i][j]
crear matriz T N N T
(n, m) X, donde X Tnm T
Primero se crea un vector columna de tama
no n y luego por cada componente de este
se crea y se asigna un vector fila de tama
no m, as como se presenta a continuacion:
2
[2 2
[2
m
[2
2]
2]
2]
2
n
[2
2
[2 2
2]
2]
n2
236
[2
2
[2 2
[2
2]
2]
n1
2]
[2
2
[2 2
[2
2
[2 2
2]
2]
2]
2]
13.3.1.2. Eliminaci
on de matrices
Para eliminar una matriz, as como en el caso de los arreglos, se debe entender que lo
que ocurre es que la porcion del espacio de la memoria que se utiliza para almacenar los
arreglos fila de la matriz se regresan al sistema operativo para que este disponga de esa
memoria para almacenar nueva informacion.
Matematicamente se puede modelar esto como una funcion que dada la matriz X, junto
con el n
umero de filas n y el n
umero de columnas m (aunque este u
ltimo no se requiere,
pero se suele utilizar), se retorna la porcion del espacio de la memoria MX , que es utilizado
para almacenar la matriz X. De esta manera la funcion se puede escribir as
237
[2
2
[2 2
[2
2
[2 2
2]
2]
2]
2]
[2
2
[2 2
[2
2]
2]
2]
n1
[2
2
[2 2
2]
2]
n2
[2
2
[2 2
n
[2
2]
2]
2]
Para traducir la anterior funcion a C++ se debe tener en cuenta que la funcion no
retorna un valor de un tipo de datos, si no que se regresa memoria al sistema operativo,
por lo que la funcion regresa un espacio que esta vaco y listo para utilizarse de nuevo.
El desbloqueo de la memoria y la liberacion del espacio utilizado por cada uno de los
arreglos fila Xi se escribe en C++ mediante la instruccion
238
delete[] X[i];
Luego de liberar cada uno de los arreglos fila se debe liberar el arreglo columna que los
contena, esto se escribe en C++ mediante la instruccion
delete[] X;
Al igual que en el caso de los arreglos, para decir que se retorna memoria vaca, en C++
esto se escribe como void y en el cuerpo de la funcion se utiliza la instruccion return;
para indicar que se retorno una porcion de espacio que esta vacio y que queda listo para
usarse de nuevo.
De esta manera, la traduccion de la funcion en C++ se escribe de la siguiente manera
void liberar_matriz_T(T** X, int n, int m){
for(int i = 0; i < n; i++){
delete[] X[i]; // libera la memoria usada por los n arreglos fila
};
delete[] X; // libera la memoria usada por el arreglo columna
return;
};
Ejemplo. Para liberar la memoria usada por una matriz de tipo entero se tiene la siguiente
funcion
void liberar_matriz_int(int** X, int n, int m){
for(int i = 0; i < n; i++){
delete[] X[i];
};
delete[] X;
return;
};
239
2
2
5
21 13 8
n = 2, m = 3,
5
21 13 8
n = 2, m = 3,
i = 0, j = 0
8
21 13
13
21
n = 2, m = 3,
i = 0, j = 1
n = 2, m = 3,
i = 0, j = 2
13
13
21
n = 2, m = 3,
i = 0, j = 3
21
8
n = 2, m = 3,
i = 1, j = 0
240
13
21
13 21
21
13
n = 2, m = 3,
i = 1, j = 1
n = 2, m = 3,
i = 1, j = 2
10
13 21
13 21
n = 2, m = 3,
i = 1, j = 3
n = 2, m = 3,
i = 2, j = 3
Escritura de matrices: para enviar o escribir una matriz en un flujo de datos, se puede
definir la siguiente funcion
escribir matriz T OS T N N OS
(os, X, n, m) os, donde
En C++ se traduce as
Ejemplo. En C++ para escribir una matriz de tipo entero se utiliza la siguiente funcion
241
13 21
13 21
n = 2, m = 3,
n = 2, m = 3,
i = 0, j = 0
13 21
13 21
n = 2, m = 3,
i = 0, j = 0
n = 2, m = 3,
i = 0, j = 1
13 21
13 21
13 21
n = 2, m = 3,
i = 0, j = 2
n = 2, m = 3,
i = 0, j = 1
5
2
13 21
2
3
n = 2, m = 3,
i = 0, j = 3
n = 2, m = 3,
i = 1, j = 0
8 5
242
10
13 21
13 21
3
5
n = 2, m = 3,
i = 1, j = 0
n = 2, m = 3,
i = 1, j = 1
8 5
11
13 21
2
3
13 21
13
13 21
n = 2, m = 3,
i = 1, j = 3
2
3
n = 2, m = 3,
i = 1, j = 2
13
12
n = 2, m = 3,
i = 1, j = 1
13
5
8
13
21
14
2
3
5 8
21
13 21
n = 2, m = 3,
i = 2, j = 3
13
2
3
5 8
21
13
15
2 3 5
8 13 21
2
8
3
13
5
21
13.3. LAS MATRICES EN COMPUTACION
0
2
4
6
8
243
1
3
5
7
9
Una funcion general que permite construir una nueva matriz que contiene el cuadrado
de cada componente de una matriz dada es
cuadrado componentes matriz Z N N Z
(X, n, m) Y, donde Yij = Xij2 ,
i = 1, 2, . . . , n,
j = 1, 2, . . . , m
Un programa completo en C++ que permite calcular el cuadrado de las componentes
de una matriz obtenida a partir del archivo presentado anteriormente es
#include<iostream>
#include<cstdlib>
#include<fstream>
using
namespace
std;
244
13.3. LAS MATRICES EN COMPUTACION
245
int main(){
int n = 5;
int m = 2;
ifstream ifs("matriz_numeros.txt");
ofstream ofs("matriz_cuadrados.txt");
int** X = crear_matriz_int(n, m);
X = leer_matriz_int(ifs, X, n, m);
int** Y = cuadrado_componentes_matriz(X, n, m);
escribir_matriz_int(ofs, Y, n, m);
liberar_matriz_int(X, n, m);
liberar_matriz_int(Y, n, m);
ifs.close();
ofs.close();
cout << "El calculo de la matriz fue exitoso" << endl;
system("pause");
return EXIT_SUCCESS;
};
El archivo obtenido como salida de la ejecucion del anterior programa es el siguiente
0
4
16
36
64
1
9
25
49
81
donde Xij = i j,
i = 1, 2, . . . , n,
j = 1, 2, . . . , m
En C++:
int** tablas_mult(int n, int m){
int** X = crear_matriz_int(n, m);
for(int i = 1; i <= n; i++){
for(int j = 1; j <= m; j++){
X[i-1][j-1] = i * j;
};
};
return X;
};
246
Ejemplo. Determinantes 2 2
Dado un sistema de ecuaciones de dos ecuaciones con dos incognitas
ax + by = c
a x + b y = c
a x 0 + b y 0 = c .
det 2 2 Z22 Z
X X11 X22 X21 X12
En C++:
21 x22 x2m
As, si Z y X =
entonces
x11 x12
x
x22
Y = X = 21
xn1 xn2
x1m
x2m
xnm
13.3. LAS MATRICES EN COMPUTACION
247
248
13.4. Ejercicios
1. Desarrollar un algoritmo que permita hallar el vector solucion de un sistema de dos
ecuaciones con dos incognitas, utilizando la regla de Cramer.
2. Desarrollar un algoritmo que permita hallar la matriz inversa de una matriz 2 2, si
esta existe.
3. Desarrollar un algoritmo que permita calcular el determinante de una matriz 3 3,
utilizando la regla de Sarrus.
4. Desarrollar un algoritmo que permita hallar el vector solucion de un sistema de tres
ecuaciones con tres incognitas, utilizando la regla de Cramer.
5. Desarrollar un algoritmo que permita calcular la traza de una matriz cuadrada.
6. Desarrollar un programa que sume los elementos de una columna dada de una matriz.
7. Desarrollar un programa que sume los elementos de una fila dada de una matriz.
8. Desarrollar un algoritmo que permita sumar dos matrices de n
umeros reales.
9. Desarrollar un algoritmo que permita hallar la transpuesta de una matriz.
10. Desarrollar un algoritmo que permita multiplicar dos matrices de n
umeros reales.
11. Desarrollar un algoritmo que determine si una matriz es magica. Se dice que una
matriz cuadrada es magica si la suma de cada una de sus filas, de cada una de sus
columnas y de cada diagonal es igual. Ejemplo:
8 1 6
3 5 7
4 9 2
12. Desarrollar un algoritmo que dado un entero, reemplace en una matriz todos los
n
umeros mayores al n
umero dado por un uno y todos los menores o iguales por un
cero.
Si el n
umero dado es: 5 y una matriz en el arreglo es:
8 1 6
3 5 7
4 9 2
1 0 1
0 0 1
0 1 0
13.4. EJERCICIOS
249
13. Desarrollar un programa que genere una matriz marco cuadrada de tama
no n n.
Entrada: n = 3
1 1 1
1 0 1
1 1 1
8 9 4
7 6 5
250
Bibliografa
lenguaje.
Recuperado
el:
url:
url:
2013-12-
url:
Recu-
252
BIBLIOGRAFIA
url: