Matematicas Discretas

Páginas: 126 (31254 palabras) Publicado: 22 de abril de 2013
Estructuras Discretas

Wilber Ramos Lov´n
o

2

´
Indice general
1. L´gica de predicados
o
1.1. Componentes sint´cticos de la
a
1.2. Interpretaci´n y validez . . .
o
1.3. Derivaciones . . . . . . . . . .
1.4. Teorema de deducci´n . . . .
o
1.5. L´gica de ecuaciones . . . . .
o
1.5.1. Regla de sustituci´n .
o
1.6. Forma normal PRENEX . . .
1.7. Lista de ejercicios . . . .. . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

7
7
12
17
19
24
25
28
30

2. Razonamiento: L´gico - Matem´tico
o
a
2.1. Introducci´n . . . . . . . . . . . . . . . . .
o
2.2. Algoritmos . . . . . . . . . . . . . . . . .
2.3. Conjuntos . . . . . . . . . . . . . . . . ..
2.4. Conjuntos en la Programaci´n . . . . . . .
o
2.5. Inducci´n . . . . . . . . . . . . . . . . . .
o
2.5.1. Principio de Inducci´n Matem´tica
o
a
2.5.2. Principio de Inducci´n Matem´tica
o
a
2.6. Inducci´n en la verificaci´n de programas
o
o
2.7. Lista de Ejercicios . . . . . . . . . . . . .

. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
.. . . . . . .
Generalizada
. . . . . . . .
. . . . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

33
33
35
43
48
51
54
57
59
63

3. Relaciones
3.1. Relaciones . . . . . . . . . . . . . .
3.2. Manipulaci´n de relaciones . . . .
o
3.2.1. Relaci´n Inversa . . . . . .
o3.2.2. Composici´n de Relaciones
o
3.3. Trayectorias . . . . . . . . . . . . .
3.4. Propiedades de las relaciones . . .
3.5. Particiones . . . . . . . . . . . . .
3.6. Cerradura de las relaciones . . . .
3.6.1. Algoritmo de Warshall . . .
3.7. Lista de ejercicios . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
..
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.

69
69
72
73
73
77
79
81
84
86
87

4. Estructuras de Orden
4.1. Conjuntos Parcialmente ordenados
4.2. L´tices . . . . . . . . . . . . . . . .
a
´
4.3. Algebras Booleanas . . . . . . . . .
4.4. Redes L´gicas . . . . . . . . . . . .
o

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
..
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

91
. 91
. 96
. 102
. 103

L´gica de
o
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .

3

Predicados
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .

.
.
.
.
.
.
.
. ´
INDICE GENERAL

4
4.5. Aplicaciones . . . . . . . . . . . . . . . . . . . . .
4.5.1. Arreglos l´gicos programables . . . . . . .
o
4.5.2. Un circuito para sumar n´ meros binarios
u
4.5.3. Otros componentes l´gicos . . . . . . . . .
o
4.5.4. Construyendo funciones booleanas . . . .
4.6. Minimizaci´n . . . . . . . . . . . . . . . . . . . .
o
4.7. Lista de ejercicios . . . . . . .. . . . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

111
111
113
115
116
118
128

Pr´logo
o
Escrib´ este libro con el fin de ofrecer una introducci´n de los Fundamentos
ı
o
Matem´ticos para la Ciencia de la...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Matemáticas discretas.

    ...Uno. A. Función. y= (A+B)B·C[-(-B+C)]+[-(-B+C)]+C B. Tabla de verdad. M N P Q R S ORIG SIMP A B C -B -B+C -M C+(-M) A+B B·C P·Q -M·R S+N B+C 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 0...

    Leer más
    719 Palabras 3 Páginas
  • matemáticas discretas

    ... Colegio Nacional de Educación Profesional Técnica EVIDENCIA Conversión numérica Actividad de Evaluación 1.1.1 (30%) Nombre: Nombre del modulo: Aplicación de matemáticas discretas Nombre de la profesora: Verónica Castañeda Huerta Grupo: 208 Fecha: 18/ FEBRERO/2013 I.- Convierte números decimales, binarios, octal y hexadecimal entre sí por medio de la base de los sistemas numéricos (base 10, 2, 8 y 16). 1. Convertir el...

    Leer más
    538 Palabras 3 Páginas
  • Matematicas discretas

    ...UNIDAD 1. SISTEMAS DE NUMERACIÓN 1. Realizar las siguientes conversiones usando tablas de equivalencia binario-octal, binario-hexadecimal. a) 1001000111010100100010.01012 a octal. b) 4EC7.B516 a binario. c) 475320.478 a hexadecimal. d) 32FE685.9C16 octal. 2. Resolver los incisos del problema 1, usando el método general (del sistema X a decimal y del sistema decimal al sistema W) 3. Convertir usando el método general. a) 730568.239 a base 14. b) 6G5A.2320 a binario....

    Leer más
    525 Palabras 3 Páginas
  • Matemática Discreta

    ... Ingeniería de Sistemas Ciencias Básicas Matemática Discreta CB-112 Algebra Lineal CB-111 3 G Obligatorio Ing. José Benites Yarlequé Mg. Josué Ángulo Pérez Mg. Paúl Tocto Inga SUMILLA La asignatura se desarrolla en forma teórica-práctica y permite al alumno conocer los principios fundamentales de las matemáticas discretas, contenido en los sistemas de numeración y representación de datos para el computador, lógica e...

    Leer más
    883 Palabras 4 Páginas
  • MATEMATICAS DISCRETAS

    ... Intel presenta nuevos procesadores en CeBIT En línea con el lema del CeBIT de este año, el mensaje de Intel en esta feria se va a centrar en la capacidad que tienen las tecnologías de la información no sólo de mejorar la productividad de los procesos de trabajo y la calidad de vida a corto plazo, sino también deshacer que los sistemas globales en red proporcionen ayuda para satisfacer los retos sociales, económicos y medioambientales. Intel también dará a conocer las nuevas...

    Leer más
    1088 Palabras 5 Páginas
  • Matematicas Discretas

    ...INVESTIGACIÓN NOMBRE DE LA INVESTIGACIÓN____________________________________________________ MATERIA:______________________________________UNIDAD:_________________________ TEMA(S)________________________________________________________ NO. DE INV._____ FECHA DE ENTREGA ACORDADA __________________ A TIEMPO : (SI) (NO) INDIVIDUAL_______ GRUPAL_________ NOMBRE DEL ALUMNO (S):_______________________________________ | CRITERIOS A EVALUAR |...

    Leer más
    1568 Palabras 7 Páginas
  • Matemáticas Discretas

    ...Matemáticas Discretas 0011 0010 1010 1101 0001 0100 1011 45 1 23 0011 0010 1010 1101 0001 0100 1011 LÓGICA 45 1 23 Lógica 0011 0010 1010 1101 0001 0100 1011 Es el estudio del razonamiento; se refiere específicamente a si el razonamiento es correcto. La lógica se centra en la relación entre las afirmaciones y NO en el contenido de una afirmación en particular. 45 1 23 Ejemplo 0011 0010 1010 1101 0001 0100...

    Leer más
    681 Palabras 3 Páginas
  • Matematicas discretas

    ...Pares ordenados Un par ordenado (a,b) es un listado de los objetos en a y b en un orden prescrito, donde a aparece en primer término y b, en segundo. Es una secuencia de longitud 2. Dos pares ordenados (a1, b1) y (a2, b2) son iguales si y solamente si, a1 = a2 y b1 = b2 Producto Cartesiano Si A y B son dos conjuntos no vacíos, el conjunto producto o producto cartesiano A x B se define como el conjunto de todos los pares ordenados (a,b) con a ∈ A y b ∈ B. Así: A x B = { (a,b) | a ∈ A y...

    Leer más
    887 Palabras 4 Páginas

OTRAS TAREAS POPULARES

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS