Programación en C++

Páginas: 54 (13305 palabras) Publicado: 19 de mayo de 2014
La ciencia de
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 . . . . . . . . . . . . ....
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • programacion C
  • Programacion c++
  • c# Programacion
  • Programacion En C#
  • Programacion en c
  • Programacion en c
  • Programacion en c++
  • Programacion c ++

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS