Contenidos

Hoja de fórmulas

Lógica Proposicional

Cuantificadores

Inducción matemática

Álgebra de Boole

Mapa de Karnaugh

Árboles y recorridos

Recorrido mínimo con Dijkstra

Flujo máximo con Ford-Fulkerson

Autómatas finitos deterministas

Teoría de números

Parciales y finales

Parciales y finales