Mathématiques de l'informatique - Patrick Dehornoy - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Mathématiques de l'informatique
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Mathématiques de l'informatique

Mathématiques de l'informatique

Cours et exercices corrigés

Patrick Dehornoy - Collection Sciences sup

302 pages, parution le 01/01/2000

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.


Etudiants en licence et maîtrise de mathématiques.

L'auteur - Patrick Dehornoy

Patrick Dehornoy est professeur émérite à l'université de Caen et membre senior de l'Institut Universitaire de France. Ses travaux portent sur la théorie des ensembles, l'algèbre, et la topologie de basse dimension. Il est l'auteur d'une centaine d'articles de recherche et de huit livres. Il est l'un des meilleurs spécialistes mondiaux du sujet, et un de ses contributeurs majeurs au cours des dernières décennies. Il a également une solide expérience dans le domaine de la vulgarisation, et est l'auteur de plusieurs livres, dont une Théorie des ensembles chez C&M, véritable succès de librairie.

Autres livres de Patrick Dehornoy

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.

Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Dunod
Auteur(s) Patrick Dehornoy
Collection Sciences sup
Parution 01/01/2000
Nb. de pages 302
Format 17 x 24
Couverture Broché
Poids 500g
EAN13 9782100044467
ISBN13 978-2-1000-4446-7

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription