Mathématiques de l'informatique

Cours et exercices corrigés

Auteur(s) : Patrick Dehornoy
Editeur : Dunod

Nombre de pages : 302 pages
Date de parution : 05/02/2000

twitter facebook linked in viadeo |

» Donnez votre avis à propos de ce livre

Résumé

Centré sur les notions de calcul et de définition, ce cours est une introduction à l'étude des structures mathématiques sous-jacentes à l'informatique. L'approche proposée est résolument mathématique et souligne une orientation générale tournée vers la théorie. En effet, les ouvrages de mathématiques pour l'informatique s'adressent en général à des futurs informaticiens. Celui-ci est conçu pour les mathématiciens.

Sommaire :
Mots, langages et arbres. Monoïdes et groupes libres. Automates. Langages automatiques. Grammaires formelles. Arbres de dérivation et automates à pile. Machines de Turing. Fonctions récursives. Complexité algorithmique. Logique booléenne. Logique du premier ordre.