Mathématiques de l'informatique
Cours et exercices corrigés
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...
Expédié sous 24h
Livraison en France métropolitaine uniquement
Accès rapide
Présentation du livre
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 de l'ouvrage
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.
Auteur(s) de l'ouvrage
Caractéristiques du livre
Pages
320 pages
Format
170 x 240 mm
Collection
Sciences Sup
Parution
décembre 1999
Marque
Dunod
Public
Bac +4/5
EAN
9782100044467