Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Presentación V
1. Introducción 1
1.1. Conjuntos discretos y conjuntos continuos . . . . . . . . . . . . . . 1
1.2. Conjuntos numéricos . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Lógica 3
2.1. Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2. Operadores lógicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.1. Negación . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.2. Conjunción . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.3. Disyunción . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.4. Implicación . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2.5. Doble implicación . . . . . . . . . . . . . . . . . . . . . . . 6
2.2.6. Precedencia . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3. Representaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3.1. Redes de decisión . . . . . . . . . . . . . . . . . . . . . . . 6
2.3.2. Valores de verdad . . . . . . . . . . . . . . . . . . . . . . . 7
2.3.3. Tablas de verdad . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3.4. Diagrama de decisión binario . . . . . . . . . . . . . . . . . 8
2.4. Tautologías . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.4.1. Implicación tautológica . . . . . . . . . . . . . . . . . . . . 11
2.4.2. Equivalencias . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4.3. Leyes del álgebra de proposiciones . . . . . . . . . . . . . . . 12
2.4.4. Más sobre la implicación . . . . . . . . . . . . . . . . . . . . 12
2.5. Argumentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.5.1. Reglas de inferencia . . . . . . . . . . . . . . . . . . . . . . 14
2.5.2. Demostraciones . . . . . . . . . . . . . . . . . . . . . . . . 15
2.6. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.6.1. Negación . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.6.2. Cuantificadores anidados . . . . . . . . . . . . . . . . . . . . 18
i
Matemáticas discretas (M. MATA) ii
3. Conjuntos 20
3.1. Relación de pertenencia . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2. Subconjuntos e igualdad . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3. Conjunto universal y conjunto vacío . . . . . . . . . . . . . . . . . . 21
3.4. Conjunto potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.5. Operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . . . . 22
3.5.1. Unión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.5.2. Intersección . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.5.3. Diferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.5.4. Complemento . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.5.5. Propiedades de los conjuntos . . . . . . . . . . . . . . . . . 25
3.6. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.6.1. Propiedades de las cardinalidades . . . . . . . . . . . . . . . 26
3.7. Diagramas de Venn . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.7.1. Conteo mediante diagramas de Venn . . . . . . . . . . . . . 28
6. Relaciones y funciones 40
6.1. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.1.1. Representación gráfica de una relación . . . . . . . . . . . . 40
6.1.2. Representación matricial de una relación . . . . . . . . . . . 41
6.1.3. Dominio y rango de una relación . . . . . . . . . . . . . . . 42
6.1.4. Relación inversa . . . . . . . . . . . . . . . . . . . . . . . . 42
6.2. Relaciones de equivalencia y relaciones de orden . . . . . . . . . . . 43
6.2.1. Relaciones de orden . . . . . . . . . . . . . . . . . . . . . . 44
6.2.2. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . 44
6.2.3. Particiones . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
6.2.4. Relaciones de equivalencia y particiones . . . . . . . . . . . . 45
6.3. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
6.3.1. Gráfica de una función . . . . . . . . . . . . . . . . . . . . . 48
6.3.2. Composición de funciones . . . . . . . . . . . . . . . . . . . 48
6.3.3. Funciones inyectivas y sobreyectivas . . . . . . . . . . . . . . 49
6.3.4. Función inversa . . . . . . . . . . . . . . . . . . . . . . . . 50
6.3.5. Función identidad . . . . . . . . . . . . . . . . . . . . . . . 51
7. Recursividad 52
7.1. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
7.1.1. Sucesiones acotadas y monótonas . . . . . . . . . . . . . . . 52
7.1.2. Subsucesiones . . . . . . . . . . . . . . . . . . . . . . . . . 53
7.2. Funciones recursivas . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7.3. Notación Sigma . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7.4. Inducción matemática . . . . . . . . . . . . . . . . . . . . . . . . . 56
8. Combinatoria 58
8.1. Conteo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
8.1.1. Principio fundamental del conteo . . . . . . . . . . . . . . . 58
8.2. Ordenaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
8.2.1. Permutaciones . . . . . . . . . . . . . . . . . . . . . . . . . 59
8.2.2. Permutaciones con elementos repetidos . . . . . . . . . . . . 59
8.3. Ordenaciones con repetición . . . . . . . . . . . . . . . . . . . . . . 60
8.4. Combinaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
8.5. Combinaciones con repetición . . . . . . . . . . . . . . . . . . . . . 60
8.6. Coeficientes binomiales . . . . . . . . . . . . . . . . . . . . . . . . 61
8.6.1. Triángulo de Pascal . . . . . . . . . . . . . . . . . . . . . . 61
8.6.2. Teorema del binomio . . . . . . . . . . . . . . . . . . . . . . 62
8.7. Diagramas de árbol . . . . . . . . . . . . . . . . . . . . . . . . . . 62
9. Teoría de grafos 65
9.1. Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
9.2. Definiciones básicas . . . . . . . . . . . . . . . . . . . . . . . . . . 66
9.2.1. Incidencia y adyacencia . . . . . . . . . . . . . . . . . . . . 66
A. Números flotantes 73
A.1. Representación binaria de números enteros . . . . . . . . . . . . . . 73
A.2. Representación binaria de números fraccionarios . . . . . . . . . . . 74
A.3. Representación en punto flotante . . . . . . . . . . . . . . . . . . . 74
A.3.1. Representación flotante binaria . . . . . . . . . . . . . . . . 74
La versión más actual de este material (las letritas en rojo al pie de casi cada página
indican la fecha de la última edición) puede obtenerse del siguiente enlace:
http://logistica.fime.uanl.mx/miguel/docs/MateDisc.pdf
v
Matemáticas discretas (M. MATA) vi
Competencias específicas
De acuerdo al programa analítico de la materia, las competencias de la materia son:
Unidades temáticas
De acuerdo a la academia, este curso debe cubrir:
Lógica
Combinatoria
Grafos
Según los ejercicios del programa analítico, este curso debe cubrir:
Tablas lógicas
Inducción matemática
Leyes, propiedades y operaciones con conjuntos
Tipos de sucesiones
Tipos cadenas y alfabetos
Relaciones de recurrencia mediante gráficas y matriz de relaciones
Representación de funciones
Bibliografía
R. JOHNSONBAUGH. Matemáticas discretas. 6.a edición. Editorial Pearson Educa-
ción. México, 2005.
Introducción
Dígitos: También llamados guarismos. Son los que empleamos para representar las
cifras.
D “ t0, 1, 2, 3, . . . , 9u
Números naturales: Los más antiguos. Son los que se emplean para contar.
N “ t1, 2, 3, . . . u
1
Matemáticas discretas (M. MATA) 2
Números enteros: A los números naturales se añanden sus inversos aditivos (ne-
gativos) y el cero.
Z “ t. . . , ´3, ´2, ´1, 0, 1, 2, 3, . . . u
Números reales: Contienen a todos los números con cualquier tipo de expansión
decimal. Son la unión de los números racionales y los irracionales.
R “ tA.d1 d2 d3 ¨ ¨ ¨ | A P Z, di P Du
Números complejos: Una vez definida la unidad imaginaria i, son aquellos que se
conforman de una parte real y una imaginaria.
C “ ta ` b i | a, b P Ru
Observación 1.6. También es discreto el conjunto de números flotantes con los que
trabaja la computadora (para una presentación de éstos, ver el apéndice A).
Lógica
La «lógica» es una ciencia formal que estudia el «razonamiento» correcto. Suele ser
confundida con el «sentido común».
Por ello, antes de comenzar, iniciemos con un pequeño examen de lógica. Responda
a lo siguiente:
1. ¿Es verdadera la afirmación «algunos de los alumnos de este salón tienen menos
de 80 años»?
6. El padre dijo a su hijo, «Si sacas buenas notas te compro una bicicleta», el niño
sacó malas notas, cuando el padre las vio el hijo le preguntó, «Papá, ¿me vas a
comprar una bicicleta?». ¿Hizo el niño una pregunta lógica?
Las respuestas correctas son: 1. Sí. 2. Se puede concluir cualquier cosa. 3. Verdadera.
4. Si dos rectas no se intersectan son paralelas. 5. Sí. 6. Sí.
3
Matemáticas discretas (M. MATA) 4
2.1. Proposiciones
Una proposición es un enunciado que puede ser calificado como verdadero o falso.
2. 2 ` 2 “ 4.
3. x2 ` 1 ą 0 px P Rq.
En cambio, expresiones como «Hola, ¿qué hace?», «Cierra la puerta» o «¡Viva México!»
no son proposiciones.
2. El 5 es un número impar.
6. 1 ` 1 “ 3.
8. Hoy es miércoles.
9. x2 ´ 4 ď 0.
2.2.1. Negación
Dada una proposición p la negación de p es también una proposición. La denotaremos
p y se lee «no p». Su valor de verdad será el contrario al de p.
Ejemplo 2.3. Algunos ejemplos de negación:
1. p: París está en Inglaterra,
p: París no está en Inglaterra.
2. q: 1 ` 1 “ 3,
q: 1 ` 1 ‰ 3.
3. r: x2 ` 1 ą 0,
r: x2 ` 1 ď 0.
4. t: No hace frío,
t: Hace frío.
2.2.2. Conjunción
Dadas dos proposiciones p y q la conjunción de p con q es también una proposición.
La denotaremos p ^ q y se lee «p y q». Su valor de verdad será verdadero sólo cuando
ambas proposiciones p y q sean verdaderas.
Ejemplo 2.4. Algunos ejemplos de conjunción:
1. p: París está en Inglaterra,
q: Madrid está en España,
p ^ q: París está en Inglaterra y Madrid está en España.
2. p: No hace frío,
q: No hace calor,
p ^ q: No hace frío ni calor.
3. p: |x| ą π,
q: x2 ´ 16 ď 0,
p ^ q: |x| ą π y x2 ´ 16 ď 0.
2.2.3. Disyunción
Dadas dos proposiciones p y q la disyunción de p con q es también una proposición.
La denotaremos p _ q y se lee «p o q». Su valor de verdad será falso sólo cuando
ambas proposiciones p y q sean falsas.
Ejemplo 2.5. Algunos ejemplos de disyunción:
2.2.4. Implicación
Dadas dos proposiciones p y q la implicación de p con q es también una proposición.
La denotaremos p Ñ q y se lee «p implica q» o «si p entonces q» (entre otras
expresiones). Su valor de verdad será falso sólo cuando p sea verdadera pero q sea
falsa.
2. Si x ă ´2 entonces x2 ą 4.
2.2.6. Precedencia
Cuando se escriben sin paréntesis, los operadores se ejecutan con la siguiente prece-
dencia: , ^, _, Ñ, Ø. De esta manera, la expresión p _ q ^ r _ s Ñ p _ s es
equivalente a rp _ pq ^ p rqq _ ss Ñ rp _ p sqs.
2.3. Representaciones
2.3.1. Redes de decisión
Existe una representación de redes de los operadores binarios , _ y ^. Suele ser útil
en la comprensión de circuitos o redes eléctricas, y en diagramas de comunicación y
conmutadores.
Imaginemos que hay un emisor T0 y un receptor T1 . El flujo debe pasar por algunos
puertos que pueden estar abiertos (valor de 1) o cerrados (valor de 0).
T0 p T1
p
T0 T1
q
T0 p q T1
Ejercicio 2.8. Dibujar la red de decisión para rrp ^ pq _ rqs _ rpq _ sq ^ tss ^ s:
Con estas tablas podemos calcular los valores de verdad de expresiones más complejas.
A B C
hkkikkj
hkkikkj hkkikkj
p q r q^r q^ r A_B p^C
1 1 1 0 0 0 0
1 1 0 0 1 1 1
1 0 1 1 0 1 1
1 0 0 0 0 0 0
0 1 1 0 0 0 0
0 1 0 0 1 1 0
0 0 1 1 0 1 0
0 0 0 0 0 0 0
Ejemplo 2.12. pp ^ qq _ pp ^ rq _ pq ^ rq
A kj hkkik
hkkik B kj hkkik
C kj
p q r p^q p^r q^r A_B_C
1 1 1 1 1 1 1
1 1 0 1 0 0 1
1 0 1 0 1 0 1
1 0 0 0 0 0 0
0 1 1 0 0 1 1
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 0 0 0 0
p p
q q q q
r r r r r
1 1 1 0 1 0 0 0 1 0
Ejemplo 2.13. p p ^ q ^ rq _ pp ^ qq _ pq ^ rq
A
hkkkkkkkikkkkkkkj B kj hkkik
hkkik C kj
p q r p^ q^ r p^q q^r A_B_C
1 1 1 0 1 1 1
1 1 0 0 1 0 1
1 0 1 0 0 0 0
1 0 0 0 0 0 0
0 1 1 0 0 1 1
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 1 0 0 1
p p
q q q q
r r r r r r
1 1 0 0 1 0 0 1 1 0
p p
q q
r r r r
1 1 1 1 0 0 0 0 1 0
2.4. Tautologías
Ejercicio 2.15. Hacer el diagrama reducido de la siguiente proposición:
r p _ pq ^ rqs _ rp ^ p q _ rqs.
A
hkkikkj B
hkkikkj C
hkkikkj D kj
hkkik
p q r q^ r p_A q_r p^C B_D
1 1 1 0 0 1 1 1
1 1 0 1 1 0 0 1
1 0 1 0 0 1 1 1
1 0 0 0 0 1 1 1
0 1 1 0 1 1 0 1
0 1 0 1 1 0 0 1
0 0 1 0 1 1 0 1
0 0 0 0 1 1 0 1
2.4.2. Equivalencias
Cuando una proposición es una doble implicación y es una tautología se llama equiva-
lencia. Esta estructura es importante porque, si A Ø B es una tautología, entonces
A tiene el mismo valor de verdad de B. Es decir, tenemos una estructura que es
equivalente para todas las variables.
Cuando A es equivalente a B se escribe A ô B.
A B AÑB pA Ñ Bq A ^ B
1 1 1 0 0
1 0 0 1 1
0 1 1 0 0
0 0 1 0 0
El resultado es el mismo en las dos columnas correspondientes (las dos últimas, en
este caso), por lo tanto sí son equivalentes.
Ejercicio 2.18. Verifique que: pA Ø Bq ô rpA Ñ Bq ^ pB Ñ Aqs
p_pôp
1 Leyes idempotentes
p^pôp
p_q ôq_p
2 Leyes conmutativas
p^q ôq^p
p _ pq _ rq ô pp _ qq _ r
3 Leyes asociativas
p ^ pq ^ rq ô pp ^ qq ^ r
p _ pq ^ rq ô pp _ qq ^ pp _ rq
4 Leyes distributivas
p ^ pq _ rq ô pp ^ qq _ pp ^ rq
pp _ qq ô p ^ q
5 Leyes de De Morgan
pp ^ qq ô p _ q
6 p pq ô p Doble negación
p_ pô1 Leyes de
7
p^ pô0 complementación
p_0ôp
8 Leyes de identidad
p^1ôp
p_1ô1
9 Leyes de dominación
p^0ô0
Ejercicio 2.19. Demostrar, mediante las leyes de las proposiciones, las siguientes
equivalencias:
1. pp _ qq ^ p ô p^q
2. p _ pp ^ qq ô p
3. pp _ qq _ p p ^ qq ô p
AÑB Implicación
BÑA Inversa
AÑ B Conversa
BÑ A Contrapuesta
10 p Ñ q ô qÑ p Contrapuesta
Equivalencia a
11 p Ñ q ô p _ q
la implicación
Negación de
12 pp Ñ qq ô p ^ q
la implicación
13 p Ø q ô pp Ñ qq ^ pq Ñ pq Doble implicación
2.5. Argumentos
Definición 2.22. Un argumento es la deducción de una conclusión Q a partir de un
conjunto de premisas P1 , P2 ,. . . , Pn . Se denota por P1 , P2 , . . . , Pn $ Q, y es válido
si la conclusión Q es verdadera cuando todas las premisas son verdaderas.
A B A Ñ B pA Ñ Bq ^ A rpA Ñ Bq ^ As Ñ B
1 1 1 1 1
1 0 0 0 1
0 1 1 0 1
0 0 1 0 1
Lo cual es una tautología, por lo tanto el modus ponendo ponens es un argumento
válido.
p _ q, r Ñ q, s ^ r, t Ñ p $ pt ^ rq
rpp _ qq ^ pr Ñ qq ^ ps ^ rq ^ pt Ñ pqs ñ pt ^ rq
AÑB
A^B
Modus ponendo ponens: A Simplificación:
A
B
AÑB
A
Modus tollendo tollens: B Adición:
A_B
A
A_B A
Modus tollendo ponens: B Conjunción: B
A A^B
AÑC
AÑB
BÑC
Silogismo hipotético: BÑC Prueba por casos:
A_B
AÑC
C
Ejercicio 2.28. Demostrar, por medio de las reglas de inferencia, que los siguientes
argumentos son válidos:
1. p Ñ ps _ tq, p $ s_t
Equivalentemente: Solución:
P1 : p Ñ ps _ tq Q : s _ t por M. ponens de P2 en P1 .
P2 : p
Q: s_t
2. r Ñ s, s^p $ r
Equivalentemente: Solución:
P1 : r Ñ s C1 : s por simplificación en P2 ,
P2 : s^p Q: r por M. tollens de C1 en P1 .
Q: r
3. q Ñ s, p _ q, r ^ p $ s _ t
Equivalentemente: Solución:
P1 : q Ñ s C1 : p por simplificación en P3 ,
P2 : p_q C2 : q por ponendo tollens de C1 en P2 ,
P3 : r ^ p C3 : s por m. ponens de C2 en P1 ,
Q: s_t Q: s_t por adición a C3 .
4. p _ q, r Ñ q, s ^ r, t Ñ p $ pt ^ rq
5. p _ q, t ^ p, q Ñ s $ sÑm
6. m Ñ n, q _ m, p Ñ n, p _ r, q $ r
7. A, A $ B (regla de contradicción)
2.5.2. Demostraciones
Una demostración es un argumento deductivo para verificar una proposición matemá-
tica. Veamos dos ejemplos:
Proposición
? 2.32. No existen? números enteros p y q, libres de factores comunes,
tales que 2 “ pq (es decir, 2 es irracional).
Proposición 2.33. La suma de dos números racionales es racional.
Proposición 2.34. La suma de un número racional con un irracional es irracional.
2.6. Cuantificadores
Expresiones del tipo «todos los hombres son mortales» o «algunos alumnos de este
salón tienen menos de 80 años» se pueden traducir en expresiones lógicas mediante la
ayuda de los cuantificadores.
2. |x| ą π. Con D “ R.
3. n es par. Con D “ Z.
Cuantificador universal: Todos los elementos del dominio satisfacen una propiedad
determinada. Empleamos el símbolo @, el cual se lee para todo:
@ x P D, P pxq.
Lo anterior se puede leer como «para todo x en D se cumple P pxq», «todos los x de
D satisfacen P pxq», entre otras expresiones similares.
D x P D : P pxq.
Lo anterior se puede leer como «existe x en D tal que P pxq», «hay algún x en D que
satisface P pxq», entre otras expresiones similares.
@ x P Q, x P R.
D x P Q : x ă 2.
@ x P H, M pxq.
D x P R : x R Q.
@ x P R, x2 ě 0.
3. @ n P N, n ą 0:
Todos los números naturales son positivos.
?
4. D x P Q : π ă x ă 10:
Existe al menos un número racional entre Pi y raíz de diez.
2.6.1. Negación
La negación de un cuantificador universal es uno existencial con la propiedad negada.
De la misma forma, la negación de un cuantificador existencial es uno universal con
la propiedad negada:
r@ x, P pxqs ô D x : P pxq.
rD x : P pxqs ô @ x, P pxq.
Ejemplo 2.39. .
1. No es verdad que todos los números naturales son pares:
r@ n P N, n es pars ô D n P N : n no es par.
r@ x P M, F pxqs ô D x P M : F pxq
5. ¿Es cierto que a todas las personas de 140 años les gustan los xoconostles?
Es cierto por vacuidad , esto es, porque no existen personas de 140 años (al
menos que se sepa, por ahora). Si fuera falso, su negación tendría qué ser
verdadera: «existe al menos una persona de 140 años que no le gustan los
xoconostles».
@ x, @ y, P px, yq.
@ x, D y : P px, yq.
D x : @ y, P px, yq.
D x : D y : P px, yq.
Ejemplo 2.41. .
1. Todos los números pares se pueden escribir de la forma 2m para algún número
entero m:
@ n par, D m P Z : n “ 2m.
D n P N : @ z P Z, n divide a z.
4. @ x P R, D a P Z : a ď x ă a ` 1.
5. @ x P R, ε ą 0, D q P Q : x ă q ă x ` ε.
1. D x P R : D y P R : x ` y ą 0
2. @ x P R, @ y P R, x ` y ą 0
3. @ x P R, D y P R : x ` y ą 0
4. D x P R : @ y P R, x ` y ą 0
Conjuntos
Ejemplo 3.1. .
1. El conjunto A de objetos en mi mochila, en este momento.
5. D “ tn P Z | n es un número dígitou
8. E “ tn P N | n ą 10u
9. F “ tx P R | x2 ´ 3x ` 2 “ 0u
10. F “ t1, 2u
20
Matemáticas discretas (M. MATA) 21
Ejemplo 3.13. .
1. En geometría, U es el plano.
Por otra parte, en ocasiones deberemos estudiar conjuntos que no tienen ningún ele-
mento. Dicho conjunto es llamado conjunto vacío y lo denotamos por ∅.
Ejemplo 3.14. .
1. A “ tn P Z | n2 “ 16, n es imparu “ ∅.
2. B “ tx P R | x2 ` 1 “ 0u “ ∅.
PpSq “ t∅, tau, tbu, tcu, ta, bu, ta, cu, tb, cu, Su.
A Y B “ tx | x P A _ x P Bu.
3.5.2. Intersección
Definición 3.23. La intersección de dos conjuntos A y B, expresada por A X B,
es el conjunto de todos los elementos que pertenecen a A y a B:
A X B “ tx | x P A ^ x P Bu.
3.5.3. Diferencia
Definición 3.24. La diferencia entre dos conjuntos A y B, expresada por AzB, es
el conjunto de todos los elementos que pertenecen a A pero que no pertenecen a B:
AzB “ tx | x P A ^ x R Bu.
3.5.4. Complemento
Definición 3.25. El complemento de un conjunto A, expresado por Ac , es el con-
junto de todos los elementos que no pertenecen a A:
Ac “ tx | x P U ^ x R Au.
1. A “ tx P U | x es paru
2. B “ tx P U | x es múltiplo de 3u
3. C “ tx P U | x es primou
4. Ac Y C
5. B c X C
6. CzA
7. AzC
8. BzpA Y Cq
1. pA X Bqc “ Ac Y B c
Demostración.
2. BzA “ B X Ac
Demostración.
1. pAzBqc “ Ac Y B.
2. A Y pA X Bq “ A.
3. pAzBq X B “ ∅.
1. pA Y Bqc “ Ac X B c .
2. A Y pB X Cq “ pA Y Bq X pA Y Cq.
3. BzA “ B X Ac .
6. AzpBzAq “ A.
7. A Y pAzBq “ A.
8. A Ď B ñ A Y B “ B
9. A Ď B ñ B c Ď Ac
3.6. Cardinalidad
Dado A un conjunto, se define la cardinalidad de A, y se denota |A|, como la cantidad
de elementos que pertenecen a A.
Ejemplo 3.30. .
1. Dado A “ ta, e, i, o, uu, |A| “ 5.
2. Dado B el conjunto de las letras del alfabeto español, ¿cuánto vale |B|?
Ejercicio 3.31. .
1. Si S “ ∅, ¿cuánto vale |S|?
2. ¿Cuál es la cardinalidad de N?
3. Si A Ď B, ¿|A| ď |B|?
4. Si A Ă B, ¿|A| ă |B|?
3. |A Y B| ě máxt|A|, |B|u.
1. |A X B| ď mı́nt|A|, |B|u.
A B
1. A y B no se intersectan
2. A Ď B
1. A Y B
2. A X B
3. Ac
4. Ac X B
R = Dos y seis.
Ejercicio 3.38. En una encuesta a 200 alumnos se encontró que 68 tienen excelen-
te conducta, 138 son inteligentes, 160 son muy sociables, 120 son muy sociables e
inteligentes, 20 tienen excelente conducta pero no son inteligentes, 13 tienen exce-
lente conducta pero no son muy sociables, y 15 tienen excelente conducta, son muy
sociables y no son inteligentes. Identificar en un diagrama de Venn.
4.1. Alfabetos
Definición 4.1. Un alfabeto es un conjunto finito no vacío de elementos que llama-
remos símbolos.
5. Sea Σ “ N.
1. ASCII.
3. UTF-8.
29
Matemáticas discretas (M. MATA) 30
4.2. Cadenas
Definición 4.5. Una cadena sobre un alfabeto Σ es una secuencia finita de elementos
de Σ.
Ejemplo 4.6. .
1. Sea Σ “ ta, b, c, du, las siguientes son tres posibles cadenas sobre Σ: babc,
dcbbbbad y a.
2. Sea Γ “ t0, 1u, las siguientes son posibles cadenas sobre Γ: 10010, 001, 10 y
01.
Definición 4.9. La cadena sin elementos se llama cadena nula y se denota por λ.
2. β “ 015 08 1
3. λ
4.2.1. Concatenación
Definición 4.14. Sea Σ un alfabeto y sean α y β dos cadenas sobre Σ, la concate-
nación de α con β es la cadena formada por α seguida de β, y se escribe αβ.
Ejercicio 4.16. .
1. Sean α “ aab y β “ acad, escribir αβ y βα.
2. Sea γ “ 0110, escribir λγ y γλ.
3. Sean ε “ x10 z 9 y 13 y δ “ y 8 x7 , escribir εδ y δε.
Ejercicio 4.17. .
1. Si α P Σ˚ y β P Γ˚ , ¿a qué conjunto pertenece αβ?
2. Si |α| “ n y |β| “ m, ¿cuál es el valor de |αβ|?, ¿y cuál es el valor de |βα|?
Ejercicio 4.19. .
1. En los siguientes casos, decir si α es una subcadena de β.
a) α “ ab y β “ cabad.
b) α “ 011 y β “ 001011.
2. Dado β “ x10 z 9 y 13 , ¿cuáles de las siguientes son una subcadena de β?
a) α1 “ x2 y 3 .
b) α2 “ x10 z 10 .
c) α3 “ zy.
1. β n β m “ β n`m .
2. |β n | “ n|β|.
3. |β n`m | “ |β n | ` |β m |.
4.3. Lenguajes
Definición 4.30. Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ˚ .
Nomenclaura 4.32. Algunos autores llaman palabra a una cadena cuando pertenece
a un lenguaje L.
Ejemplo 4.34. Sea Σ los símbolos del alfabeto cirílico y L el conjunto de palabras
legales del idioma ruso.
1. ¿Son A y B lenguajes?
Ejemplo 4.37. Sean A y B dos lenguajes sobre Σ, entonces los siguientes también
son lenguajes:
1. A Y B.
2. A X B.
3. AzB.
4. Ac “ Σ˚ zA.
AB “ tαβ | α P A, β P Bu
Ejercicio 4.41. Sean A y B dos lenguajes sobre Σ, decir si las siguientes afirmaciones
son verdaderas:
1. pABqR “ B R AR .
2. pA Y BqR “ AR Y B R .
3. pA X BqR “ AR X B R .
4. pAR qR “ A.
5. A X AR “ ∅.
Ejemplo 5.2. .
1. Observe que p2, 3q ‰ p3, 2q.
3. Ambos elementos del par ordenado pueden ser el mismo: pa, aq.
A ˆ B “ tpa, bq | a P A ^ b P Bu.
35
Matemáticas discretas (M. MATA) 36
Ejercicio 5.5. .
1. Sean A “ ta, bu y B “ t1, 2, 3u, escribir explícitamente el conjunto A ˆ B.
An “ tpa1 , a2 , . . . , an q | a1 , a2 , . . . , an P Au.
Con lo anterior, todas las posibles combinaciones para evaluar P estarían dadas por
B 3 “ tp1, 1, 1q, p1, 1, 0q, p1, 0, 1q, p1, 0, 0q, p0, 1, 1q, p0, 1, 0q, p0, 0, 1q, p0, 0, 0qu.
Ejemplo 5.8. .
1. T pp _ qq “ tp1, 1q, p1, 0q, p0, 1qu.
2. T ppp Ñ qq ^ pq Ñ rqq “ tp1, 1, 1q, p0, 1, 1q, p0, 0, 1q, p0, 0, 0qu.
Ejercicio 5.9. .
1. T pp Ø qq.
2. T p pq.
1. T pP _ Qq “ T pP q Y T pQq.
2. T pP ^ Qq “ T pP q X T pQq.
3. T p P q “ T pP qc .
4. P ñ Q si y sólo si T pP q Ď T pQq.
5.2. Matrices
Definición 5.11. Una matriz de m ˆ n es un arreglo rectangular de elementos de
un conjunto (normalmente numérico) de la forma
¨ ˛
a11 a12 a13 ¨ ¨ ¨ a1n
˚ a21 a22 a23 ¨ ¨ ¨ a2n ‹
˚ .. .. .. . .. ‹
˚ ‹
˝ . . . . . . ‚
am1 am2 am3 ¨ ¨ ¨ amn
Notación 5.12. Una matriz m ˆ n, A, es usualmente denotada por paij q, donde cada
aij es el elemento situado en la i-ésima fila y la j-ésima columna de A.
Observación 5.14. Hay una estrecha relación entre las matrices y el producto car-
tesiano. De hecho, cuando cada uno de los elementos de la matriz m ˆ n, A, están
en un conjunto F, se suele denotar A P Fmˆn .
Definición 5.19. Una matriz cuadradad paij q se dice que es diagonal si y sólo si
los elementos que no pertenecen a la diagonal principal son cero, es decir, aij “ 0 si
i ‰ j.
Definición 5.27. Se dice que una matriz cuadrada paij q es triangular inferior si y
sólo aij “ 0 para i ă j.
Relaciones y funciones
6.1. Relaciones
Definición 6.1. Sean A y B dos conjuntos, una relación R definida del conjunto A
al conjunto B es un subconjunto de A ˆ B.
Ejemplo 6.2. .
1. Sean A “ ta, b, cu, B “ t1, 2, 3u y R “ tpa, 2q, pa, 3q, pb, 3qu
Cuando una relación R está definida del conjunto A al conjunto A, es decir, cuando
R Ď A2 , se dice simplemente que R está definida sobre A.
40
Matemáticas discretas (M. MATA) 41
c 1 a
b
a
2 b
1 2 3 3 c
Forma cartesiana Forma de grafo
4 1 1 1 2
3
2 2
2
1 3 3
1 2 3 4 4 4 4 3
Forma Grafo Grafo
cartesiana bipartito dirigido
Notación 6.12. Algunos autores dan otros nombres al rango de R, como imagen
o recorrido. Por la misma razón, al conjunto Ran R lo denotan de otra manera, por
ejemplo Im R.
Ejemplo 6.14. .
1. R “ tp1, 2q, p1, 3q, p2, 3qu.
R´1 “ tp2, 1q, p3, 1q, p3, 2qu.
Ejercicio 6.15. Sea R “ tp1, 2q, p1, 3q, p2, 1q, p2, 3qu:
1. Expresar R´1 .
Ejercicio 6.17. Para cada una de las relaciones siguientes, diga si es reflexiva, tran-
sitiva, simétrica o antisimétrica.
2. R “ tpa, bq P Z | a ě bu.
3. Sea A el conjunto de alumnos del salón y R definida sobre A de tal forma que
a R b si y sólo si a es amigo de b.
1. Si R es reflexiva.
2. Si R es transitiva.
3. Si R es simétrica.
4. Si R es antisimétrica.
Ejemplo 6.23. Sea Pn rxs el conjunto de los polinomios de grado menor o igual a n.
Sean ppxq y qpxq dos polinomios en Pn rxs y sea R la relación que se define mediante
la regla «ppxq R qpxq si y sólo si ppxq y qpxq tienen el mismo grado». Verifique que
R es una relación de equivalencia.
6.2.3. Particiones
Definición 6.25. Una partición de un conjunto X es una división de los elementos
de X tal que cada elemento pertenece sólo a una parte de la división. Formalmente,
tX1 , X2 , X3 , . . . , Xn u es una partición de X si y sólo si:
‚ para cada i, Xi ‰ ∅ y Xi Ď X,
‚ X “ X1 Y X2 Y ¨ ¨ ¨ Y Xn ,
‚ para cada par i ‰ j, se cumple que Xi X Xj “ ∅.
Ejercicio 6.28. Sea X el intervalo cerrado r0, 1s, ¿cuáles de las siguientes es una
partición de X?:
1. tr0, 21 q, p 12 , 1su
2. tr0, 21 s, r 12 , 1su
3. tr0, 31 s, p 13 , 23 q, r 32 , 1su
tta, b, cuu
Ejemplo 6.31. Sea A “ t1, 2, 3, 4, 5, 6u y R “ tp1, 1q, p1, 2q, p1, 4q, p2, 1q, p2, 2q,
p2, 4q, p3, 3q, p3, 5q, p4, 1q, p4, 2q, p4, 4q, p5, 3q, p5, 5q, p6, 6qu. ¿Es R una relación de equi-
valencia?
Ejercicio 6.32. En el ejemplo anterior, expresar explicitamente los conjuntos r1s, r2s,
r3s, . . . , r6s.
Ejemplo 6.36. Graficar, como un grafo dirigido, la relación del ejemplo anterior.
1 3 6
2 4 5
Ejercicio 6.38. .
¿Cuántos arcos se conectan a cada nodo en cada parte del grafo?
6.3. Funciones
Definición 6.39. Sean A y B dos conjuntos. Una función de A en B es una relación
f tal que a cada elemento de A se le asigna uno y sólo un elemento de B.
Ejemplo 6.41. .
1. Sean A “ t1, 2, 3u y B “ ta, b, cu.Sea f “ tp1, aq, p2, cq, p3, cqu.
b) Sea g “ tpa, eq, pb, eq, pc, eq, pd, eq, pe, equ.
c) Sea h “ tpa, bq, pb, cq, pc, dq, pb, eq, pe, aqu.
2. Sean A “ Z y B “ N.
a) Sea f pzq “ z 3 ` 3.
b) Sea gpzq “ z 4 .
3. Sean A “ Z y B “ t0, 1u. Sea f definida como: f pzq “ 0 si z es par y f pzq “ 1
si z es impar.
Observación 6.43. Dado que las funciones son un caso particular de las relaciones,
todo lo que hemos estudiado de las relaciones es válido para las funciones.
Observación 6.44. Si f es una función, entonces Dom f “ A, pero no necesaria-
mente Ran f “ B (aunque forzosamente Ran f Ď B).
Observación 6.45. Dos funciones f y g, son iguales si y sólo si f paq “ gpaq para
todo a P A. ¿Cuándo dos funciones son distintas?
?
Ejercicio 6.46. Sean f pxq “ x y gpxq “ x2 . ¿Son f y g iguales?
Ejercicio 6.47. Se define el piso de un número real x, denotado por txu, como el
mayor número entero menor o igual a x. Análogamente, se define el techo de un
número real x, denotado por rxs, como el menor número entero mayor o igual a x.
Esto es:
txu “ máxtm P Z | m ď xu,
rxs “ mı́ntm P Z | m ě xu.
Algunos autores dan la siguiente definición formal de gráfica (que, en nuestro caso,
coincide con la definición de función).
1. Sean A “ ta, b, c, d, eu y B “ A. Sea f “ tpa, bq, pb, cq, pc, dq, pd, cq, pe, aqu.
e 5 10
4 9
d 3 8
2 7
c 1 6
´3 ´2 ´1 0 1 2 3 5
b ´1 4
´2 3
a ´3 2
´4
1
a b c d e ´5
´3 ´2 ´1 0 1 2 3
Observación 6.52. En la gráfica de una función cada recta vertical que pasa por un
elemento del dominio intersecta con uno y sólo un punto de la gráfica.
f g
A B C
a ‰ b ñ f paq ‰ f pbq
o equivalentemente
f paq “ f pbq ñ a “ b.
@ b P B, D a P A : f paq “ b
o equivalentemente
Ran f “ B.
Ejercicio 6.61. Decir si las siguientes funciones son inyectivas, sobreyectivas, biyec-
tivas o ninguna:
1. Sea A “ ta, b, c, d, eu y f : A Ñ A, f “ tpa, bq, pb, cq, pc, dq, pd, cq, pe, aqu.
2. f : Z Ñ Z, f pzq “ 2z ´ 1
3. f : R Ñ R`
0, f pxq “ x2
Ejemplo 6.63. Dados A “ B “ ta, b, c, d, eu y f “ tpa, bq, pb, cq, pc, dq, pd, cq, pe, aqu,
entonces f ´1 “ tpa, eq, pb, aq, pc, bq, pc, dq, pd, cqu no es una función.
Ejemplo 6.64. Dados A “ B “ ta, b, c, d, eu y f “ tpa, bq, pb, dq, pc, eq, pd, aq, pe, cqu,
entonces f ´1 “ tpa, dq, pb, aq, pc, eq, pd, bq, pe, cqu sí es función.
Observación 6.65. Para que f ´1 sea una función, es necesario que f sea biyectiva.
Ejercicio 6.66. Sea f : Q Ñ Q dada por f pxq “ 3x´2. ¿Es función?, ¿es biyectiva?,
¿cuál su inversa?
Ejercicio 6.67. Dada f “ tp1, bq, p2, dq, p3, eq, p4, aq, p5, cqu, graficar f y f ´1 .
f f ´1
e 5
d 4
c 3
b 2
a 1
1 2 3 4 5 a b c d e
Recursividad
7.1. Sucesiones
Definición 7.1. Una sucesión S es una función f : N Ñ A. Si f pnq “ sn solemos
denotar S “ ps1 , s2 , s3 , . . . q, S “ psn q8
n“1 , S “ psn qnPN o simplemente S “ psn q.
Los elementos sn son llamados términos de la sucesión.
Notación 7.2. La mayoría de los autores denotan las sucesiones por S “ tsn u.
Nosotros las denotaremos con paréntesis como una n-upla y no con llaves como un
conjunto, ya que el orden de los elementos es importante.
Ejemplo 7.3. .
1. p2, 4, 6, 8, . . . q
2. p2, 3, 5, 7, 11, . . . q
#
n
si n es par,
3. f pnq “ n`1 2
2
si n es impar.
4. f pnq “ p´1qn
´ 2 ¯
5. n 2`n
nPN
52
Matemáticas discretas (M. MATA) 53
Ejemplo 7.7. Decir si las siguientes sucesiones son acotadas, crecientes, decrecientes,
no crecientes, no decrecientes o ninguna.
1. sn “ np , pp ě 1q
2. n1 nPN
` ˘
n´1
3. sn “ n
4. S “ p2, 4, 6, 8, . . . q
5. sn “ p´1qn
´ ¯
n´n2
6. 2
8
7. pn2 ´ 2n qn“1
7.1.2. Subsucesiones
Definición 7.8. Sea psn q una sucesión y pnk q una sucesión de elementos de N tales
que n1 ă n2 ă n3 ă ¨ ¨ ¨ . Entonces, la sucesión psnk q es llamada una subsucesión
de psn q.
1. ps1 , s3 , s5 , s7 , . . . q
Teorema 7.10. Toda sucesión de números reales tiene una subsucesión monótona.
cn “ 5 ` 1.5pn ´ 1q.
Una función recursiva es una función f : N Ñ R tal que el valor de f pnq depende
de un conjunto de valores anteriores, los cuales deben ser conocidos o pueden ser
calculados.
En términos simples, una función recursiva es aquella que se invoca a sí misma.
1. f0 “ 1 y fn “ n ¨ fn´1 . (Factorial)
3
ÿ
2. d2j`1
j“0
5
ÿ
3. pAk ´ Ak´1 q
k“1
4
ÿ
2. pj ` 1q2
j“1
5
ÿ
3. p2k ´ 1q
k“1
888
ÿ
4. p´1qi
i“1
n
ÿ
5. 1
i“1
n
ÿ n
ÿ n
ÿ
2. pai ` bi q “ ai ` bi
i“1 i“1 i“1
n
ÿ m
ÿ n
ÿ
3. ai “ ai ` ai
i“1 i“1 i“m`1
Paso base: Demostrar que existe un número inicial k0 para el cual se cumple
la propiedad deseada.
2. n! ě 2n ¿cuál es la base?
n
ÿ n2 pn ` 1q2
2. i3 “
i“1
4
n
ÿ npn ` 1qpn ` 2q
3. kpk ` 1q “
k“1
3
n
ÿ 1 n
4. “
k“1
kpk ` 1q n`1
n
ÿ npn ` 1qpn ` 2qpn ` 3q
5. kpk ` 1qpk ` 2q “
k“1
4
n
ÿ 1 npn ` 3q
6. “
k“1
kpk ` 1qpk ` 2q 4pn ` 1qpn ` 2q
n
ÿ npn ` 1qp2n ` 1qp3n2 ` 3n ´ 1q
7. i4 “
i“1
30
1. n2 ą 2n ` 1, ¿cuál es la base?
2. 2n ą n2 , ¿cuál es la base?
4. @ n P N se cumple que n3 ` 1 ě n2 ` n.
Combinatoria
8.1. Conteo
Ejemplo 8.1. Un estudiante de ingeniería tiene 6 playeras, 4 pantalones y 2 pares de
tenis. ¿De cuántas formas distintas puede combinar su ropa al vestir?
Regla del producto: si los eventos pueden ocurrir uno independiente de otro,
el número de formas distintas en que los sucesos pueden ocurrir es
n1 ˆ n2 ˆ ¨ ¨ ¨ ˆ nk .
58
Matemáticas discretas (M. MATA) 59
8.2. Ordenaciones
Definición 8.6. Una «ordenación de n en r» (r ď n) es un arreglo de r elementos
distintos, tomados de un conjunto de n posibles, en un orden determinado.
Ejercicio 8.7. Sea A “ ta, b, c, d, eu. ¿Cuántas son todas las posibles ordenaciones
de 3 de los elementos de A? Enliste algunos ejemplos.
8.2.1. Permutaciones
Nomenclaura 8.12. Una ordenación de n en n se llama simplemente permutación
de n. El número de permutaciones distintas de n elementos se denota por Pn .
Teorema 8.13. Pn “ n!
Pn
Observación 8.14. Orn “
Pn´r
n!
n1 !n2 ! ¨ ¨ ¨ nk !
Ejemplo 8.16. ¿Cuántos cadenas distintas de longitud 7 pueden formarse con los
elementos de la cadena cananea?
Teorema 8.19. OR nr “ nr
8.4. Combinaciones
Definición 8.21. Una «combinación de n en r» es cualquier selección de r elementos
de un conjunto de n posibles, sin importar el orden.
Ejercicio 8.22. Sea A “ ta, b, c, d, eu. Enliste todas las posibles combinaciones de 3.
`n˘
Observación 8.32. r
“ Crn
`n˘ n
Ejemplo 8.33. Demostrar que
` ˘
r
“ n´r
Los números del triángulo de Pascal están íntimamente relacionados con los coeficien-
tes binomiales, como se muestra en la figura, y con el teorema del binomio.
Cada elemento del triángulo es igual a la suma de los elementos superiores a él, lo
cual se puede demostrar en el siguiente teorema.
ˆ ˙ ˆ ˙ ˆ ˙
n n´1 n´1
Teorema 8.34. “ ` .
r r´1 r
t1
p1
t2
c1
t1
p2
t2
t1
p1
t2
‚ c2
t1
p2
t2
t1
p1
t2
c3
t1
p2
t2
Ejemplo 8.41. Marcos y Enrique van a jugar frontenis. El primero en ganar dos juegos
seguidos o que gane un total de tres juegos será el ganador del encuentro. El siguiente
diagrama ilustra las posibles formas en que termine el encuentro:
M M
M M M
E E
E E
‚
M M
M M
E E E
E E
Teoría de grafos
9.1. Grafos
Definición 9.1. Un grafo G “ pV, Eq es una pareja ordenada constituida por
65
Matemáticas discretas (M. MATA) 66
Ejemplo 9.4. Sea G “ pt1, 2, 3, 4u, tp1, 2q, p2, 2q, p2, 4q, p3, 2q, p3, 4quq, el cual se
puede representar gráficamente por:
1 2
4 3
Ejercicio 9.5. Representar gráficamente G “ pt1, 2, 3, 4, 5u, tt1, 2u, t2, 4u, t2, 5u,
t3, 3u, t3, 4u, t4, 5uuq:
5 2
4 3
a
u v
Definición 9.10. Dos arcos son adyacentes si tienen un mismo vértice extremo.
Dos vértices son adyacentes si existe un arco que los une.
Definición 9.11. Un arco de la forma pv, vq es llamado bucle. Una arista de la forma
tv, vu es llamado lazo.
Definición 9.13. En un grafo dirigido, un camino es una cadena tal que cada par
de arcos adyacentes en la cadena, el vértice final de un arco es el vértice inicial del
otro arco.
Definición 9.14. Un ciclo es una cadena que inicia y termina en el mismo vértice.
3 4
Entonces, los siguientes son ejemplos de:
1 1
2 2
3 4 3 4
(a) una cadena, (b) un camino,
1 1
2 2
3 4 3 4
(c) un ciclo, (d) un circuito.
Definición 9.18. Una cadena (o camino) simple es aquella que no pasa más de una
vez por la misma arista (o arco). Una cadena (o camino) elemental es aquella que
no pasa más de una vez por el mismo vértice.
Ejercicio 9.19. ¿Puede existir una cadena que no sea simple pero que sí sea elemen-
tal?
npn ´ 1q
.
2
Ejercicio 9.29. ¿Cuál es la menor cantidad de aristas que contiene un grafo conexo
de n vértices?
9.3.3. Árboles
Definición 9.30. Un árbol es un grafo conexo sin ciclos.
Teorema 9.31. Sea G un grafo con n vértices, entonces las siguientes afirmaciones
son equivalentes:
G es un árbol.
Notación 9.35. El grafo bipartito completo con |V1 | “ n y |V2 | “ m se denota Kn,m .
Teorema 9.43. Los grafos K5 y K3,3 son los grafos no planos minimales.
Definición 9.48. El grado entrante de v se define por g ´ pvq “ |Γ´ pvq|. El grado
saliente de v se define por g ` pvq “ |Γ` pvq|. El grado de v se define por gpvq “
g ´ pvq ` g ` pvq.
Ejemplo 9.56. Dados V “ t1, 2, 3, 4, 5u y E “ tp1, 2q, p2, 5q, p3, 2q, p3, 4q, p5, 1q, p5, 4qu:
Números flotantes
Los ordenadores no utilizan la base 10, sino la base 2 o sistema binario (donde los
«dígitos» son 0 y 1):
Notación A.1. Empleamos la notación Nb para denotar que el número N está re-
presentado en base b.
Nomenclaura A.2. El dígito binario es llamado bit (de bi nary digit). También fue
propuesto llamarlo bígito. Una cadena de ocho bits es llamado byte u octeto.
Ejercicio A.3. ¿Cuál es el mayor número entero que puede expresarse con 8 bits?
(Exprese la respuesta en base 10).
R V
k lnpm ` 1q
mı́ntk P N | 2 ą mu “ rlog2 pm ` 1qs “
ln 2
73
Matemáticas discretas (M. MATA) 74
p´1qS ˆ p1.M q ˆ 2E
3. ¿Cuáles son los números que se pueden representar? Dibujar en una recta nu-
mérica.