Aujourd'hui indissociables du monde des ordinateurs et devenues indispensables à tout processus de modélisation informatique, les mathématiques discrètes fédèrent diverses disciplines ardues telles que l'algèbre, la logique et la théorie des langages. C'est cependant de manière simple, claire et didactique que l'auteur de cet ouvrage traite de cet univers mathématique.

Organisé en trois parties autonomes (Fondements, Graphes et Algèbre), exposé sous la forme de deux niveaux de lecture et complété de nombreux exercices et problèmes, l'ouvrage du professeur Frécon de l'INSA de Lyon se pose comme nouvelle référence en la matière.

• Fondements
  • Mémento de logique
  • Ensembles et éléments
  • Relations binaires
  • Fonctions
  • Relations binaires internes
  • Fonctions, calculabilité, récurrence
  • Notion de complexité
• Graphes
  • Des points et des flèches
  • Chemins et circuits
  • Fermetures transitives
  • Arbres et connexité
  • Graphes multipartis
• Algèbre
  • Opérateurs et algèbres
  • Monoïdes et groupes
  • Dioïdes
  • Algèbre de Boole
  • Algèbre de Kleene et automates à états finis
• Annexes
  • Indications sur les exercices et problèmes
  • Index