Programación en C++
programar
Jonatan Gom´z Perdomo, Ph.D.
e
Arles Rodr´
ıguez, M.Sc.
Camilo Cubides, Ph.D.(c)
´
Indice general
J
´
Indice general
I
´
Indice de tablas
V
´
Indice de figuras
1. Introducci´n
o
1.1. Lenguaje . . . . . . . . . . . . .
1.1.1. L´xico . . . . . . . . . .
e
1.1.2. Sintaxis . . . . . . . . .
1.1.3. Sem´ntica . . . . . . .
a
1.2.Lenguajes de Programaci´n
o
VII
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
1
2
2
2. L´gica Matem´tica
o
a
2.1. L´gica Proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
2.1.1. El lenguaje de la l´gica proposicional. . . . . . . . . . . .
o
2.1.2. Precedencia de conectivos l´gicos . . . . . . . . . . . . . . .
o
2.1.3. Leyes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.3.1. Interpretaci´n . . . . . . . . . . . . . . . . . . . . . .
o
2.1.3.2. Tautolog´ contradicciones y contingencias
ıas,
2.1.3.3. Equivalencias L´gicas . . . . . . . . . . . . . . . .
o
2.1.3.4.Implicaciones L´gicas . . . . . . . . . . . . . . . .
o
2.2. L´gica de predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
2.2.1. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2. Sem´ntica de los cuantificadores . . . . . . . . . . . . . . .
a
2.2.3. Leyes de Morgan para cuantificadores . . . . . . . . . . . .
2.2.4. Particularizaci´n universal . . . . .. . . . . . . . . . . . . . .
o
2.2.5. L´gica de predicados en programaci´n . . . . . . . . . . .
o
o
2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
5
7
8
8
9
10
10
11
12
13
14
14
14
16
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Teor´ de conjuntos
ıa
21
3.1. Conceptos b´sicos . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
a
3.1.1. Conjunto y elemento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
I
II
´
INDICE GENERAL
3.1.2. Especificaci´n de Conjuntos . . . . . . . . . . . . . . . . . . . . . .
o
3.1.2.1. Extensi´n . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
3.1.2.2. Comprensi´n . . . . . . . . . . .. . . . . . . . . . . . . .
o
3.1.3. Representaci´n de conjuntos mediante diagramas de Venn
o
3.1.4. Inclusi´n e igualdad . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
3.2. Construcci´n de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o
3.2.1. Uni´n, intersecci´n y complemento . . . . . . . . . . . . . . . . .
o
o
3.2.2. Resumen de las operaciones b´sicasentre conjuntos . . . . .
a
3.2.3. Conjunto de partes . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.4. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.5. Producto cartesiano generalizado . . . . . . . . . . . . . . . . . .
3.2.6. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3. Ejercicios . . . . . . . . . . . . ....
Regístrate para leer el documento completo.