El objetivo del libro es familiarizar al lector con laformalización matemática de diferentes problemas,actividad ésta imprescindible a la hora de abordarproblemas de ciencias de la computación. ÍndiceCapitulo I. Relaciones y AplicacionesDefinicionesRepresentaciones de una RelaciónOperaciones con relaciones.Propiedades de una relaciónAlgunos tipos relevantes de relacionesEjerciciosCapitulo II. Conjuntos OrdenadosRelaciones de ordenDiagrama de HasseElementos característicosOrdenación topológicaReticulosSobretículosHomomorfismos de retículosAlgunos tipos de retículosAlgebras de BooleFunciones BooleanasSimplificación de expresiones booleanasEjerciciosCapitulo III. GruposDefinicionesSubgruposGeneración de subgruposIndice de un subgrupo. Teorema de LangrageSubgrupos NormalesHomomorfísmos de gruposGrupos cocientes. Teoremas de isimorfíaEjerciciosCapitulo IV. Maquinas FinitasDefiniciones Funciones de cómputoGeometría de las máquinasEl retículo de las submáquinasGeneración de submáquinasDependencia e independencia de estadosHomomorfismos de máquinassimulaciónEquivalencia de máquinasSimulación de máquinasOptimización de máquinasMáquinas y lenguajes regularesEjercicios