ÍNDICE

Capitulo I. Relaciones y Aplicaciones
Definiciones
Representaciones de una Relación
Operaciones con relaciones.
Propiedades de una relación
Algunos tipos relevantes de relaciones
Ejercicios

Capitulo II. Conjuntos Ordenados
Relaciones de orden
Diagrama de Hasse
Elementos característicos
Ordenación topológica
Reticulos
Sobretículos
Homomorfismos de retículos
Algunos tipos de retículos
Algebras de Boole
Funciones Booleanas
Simplificación de expresiones booleanas
Ejercicios

Capitulo III. Grupos
Definiciones
Subgrupos
Generación de subgrupos
Indice de un subgrupo. Teorema de Langrage
Subgrupos Normales
Homomorfísmos de grupos
Grupos cocientes. Teoremas de isimorfía
Ejercicios

Capitulo IV. Maquinas Finitas
Definiciones
Funciones de cómputo
Geometría de las máquinas
El retículo de las submáquinas
Generación de submáquinas
Dependencia e independencia de estados
Homomorfismos de máquinas
simulación
Equivalencia de máquinas
Simulación de máquinas
Optimización de máquinas
Máquinas y lenguajes regulares
Ejercicios

SINOPSIS

Este libro recoge algunos de los soportes matemáticos báscios de la Informática como son las Relaciones y Apliaciones. conjuntos Ordenados. Reticulos. Algebras de Boole. Grupos y Máquinas Finitas.

Los conocimientos matemáticos previos que requiere la lectura del mismo se reducen a los conocimientos elementales adquiridios normalmente en la enseñanza media.

Con los tópicos aqui recogidos se da al lector una visión global básica de las principlaes estructuras algebraicas que aperecen tanto en la parte lógica de la informática (Software) como en la parte material (Hardware).

El objetivo del libro es familiarizar al lector con la formalización matemática de diferentes problemas, actividad ésta impresdindilbe a la hora de aborar problemas en ciencias de la computación. Para ello se hace una exposición formal de los diferentes temas dando suficiente número de ejemplos a lo largo de la misma. así mismo se incluye en cada capítulo una amplia colección de problemas propuestos en los que el lector interesado puede encontrar sugerencias para desarrollar por su cuenta ejercicios relacionados con los contenidos expuestos.