Mathématiques de l'informatique

Centre 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ématiques et souligne une orientation générale tournée vers la théorie.

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.

Biographie des auteurs
Patrick Dehornoy - Professeur à l'université de Caen

Publics

Étudiants en licence et maîtrise de mathématiques

Mots-clés

Mathématiques, Informatique