5.6 Definición de sucesión recursiva
290
Definición de relación de recurrencia; Ejemplos de sucesiones definidas recursivamente; Definiciones recursivas de suma y producto
5.7 Solución por iteración de las relaciones de recurrencia
304
El método de iteración; Uso de fórmulas para simplificar soluciones obtenidas con iteración; Comprobación de la corrección de una fórmula con inducción matemática; Descubriendo que una fórmula explicita es incorrecta
5.8 Relaciones lineales de recurrencia de segundo orden con coeficientes constantes 317 Deducción de una técnica de solución de estas relaciones; El caso de raíces distintas; El caso de una sola raíz
5.9 Definiciones generales recursivas e inducción estructural
328
Conjuntos definidos recursivamente; Uso de inducción estructural para demostrar propiedades de conjuntos definidos recursivamente; Funciones recursivas
Capítulo 6 Teoría de conjuntos
336
6.1 Teoría de conjuntos: definiciones y el método del elemento de demostración 336 Subconjuntos; Demostración y Refutación; Igualdad de conjuntos; Diagramas de Venn; Operaciones con conjuntos; El conjunto vacío; Particiones de conjuntos; Conjunto potencia; Productos cartesianos; Un algoritmo para comprobar si un conjunto es un subconjunto de otro (Opcional)
6.2 Propiedades de conjuntos
352
Identidades del conjunto; Prueba de identidades de conjuntos; Prueba de que un conjunto es un conjunto vacío
6.3 Refutaciones, demostraciones algebraicas y álgebra booleana 367 Refutación de una supuesta propiedad del conjunto; Estrategia de solución de problemas; El número de subconjuntos de un conjunto; Demostraciones “Algebraicas” de las identidades del conjunto
6.4 Álgebra booleana, paradoja de Russell y el problema del paro 374 Álgebra booleana; Descripción de la paradoja de Russell; El problema del paro
Capítulo 7 Funciones
383
7.1 Funciones definidas sobre conjuntos generales
383
Terminología adicional de funciones; Más ejemplos de funciones; Funciones booleanas; Comprobación de que una función está bien definida; Funciones actuando sobre conjuntos