Matemticas para Ciencias de la Computacin MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182 Otra Definición 2: Un árbol es un grafo conectado con n vértices y n-1 arcos. En efecto, un árbol es un pequeño grafo conectado con n vértices.

Matemáticas para Ciencias de la Computación MCC 3182 Árboles

Matemáticas para Ciencias de la Computación MCC 3182 Definiciones equivalentes de Árboles • Es un grafo conectado sin ciclos • Es un grafo conectado donde |E|=|V|-1 • Es un grafo donde removiendo algún arco, alguna hoja queda desconectada. • Es un grafo donde existe un único y simple camino entre dos vértices

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182 Definición Recursiva

Matemáticas para Ciencias de la Computación MCC 3182 Se procede a definir la recursividad en términos de versiones simples de alguna regla particular. • Caso Base : Corresponde a la definición de los casos simples. • Inducción : Corresponde a la construcción de los casos, dependiendo de los casos simples

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182 Lema: Cada x que está en S, posee el mismo número de a’s que de b’s. Demostrar por Inducción Estructural sobre la definición de S.

Matemáticas para Ciencias de la Computación MCC 3182 Demostración: Sea EQ={ strings con la misma cantidad de a y de b}

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182 Tipos de Datos Recursivos Árbol Binario Recursivo

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182 Caso Inductivo: Hacer. Der, se aplica lo mismo que en Hacer. Izq

Matemáticas para Ciencias de la Computación MCC 3182

Matemáticas para Ciencias de la Computación MCC 3182