About this document

Inducción Estructural en Árboles Binarios by Juan Camilo Naranjo is a document available to read on EtoBox.

Este documento presenta conceptos básicos de teoría de conjuntos, relaciones y funciones. Introduce la inducción estructural como una extensión de la inducción natural para estructuras definidas recursivamente. Luego define conceptos como conjuntos, subconjuntos, operaciones entre conjuntos, relaciones y funciones, y discute propiedades como la cardinalidad de conjuntos finitos e infinitos. Finalmente, presenta teoremas sobre la cardinalidad de conjuntos numerables y no numerables.

Author

Juan Camilo Naranjo

Language

ES