2.1
Representación arborescente de una forma enunciativa.
......... 21
2.2
Puertas lógicas y circuito combinacional. .....................
32
3.1
Jerarquía de lenguajes y diseño en capas. .....................
53
4.1
Pasos en la construcción de la deducción del
Ejemplo 20. ...... 88
5.1 Árbol de relaciones familiares. ...............................
125
5.2
Operaciones con conjuntos y enunciados categóricos.
........... 130
6.1
Relaciones entre sintaxis y semántica. ........................
170
8.1
Relación de equivalencia sobre un dominio finito.
............. 201
8.2
Una lista de enteros. .........................................
214
A.1
Diferentes clases de funciones. ...............................
275