Titre :	Mathématiques discrètes appliquées à l'informatique
Type de document :	texte imprimé
Auteurs :	Rod Haggarty, Auteur
Editeur :	Pearson Education
Année de publication :	2005
Collection :	Synthex - Synthèse de cours et exercices corrigés
Importance :	219p
Format :	27*21 cm
ISBN/ISSN/EAN :	978-2-7440-7100-3
Note générale :	Sommaire Introduction Logique et preuve Théorie des ensembles Relations Fonctions Mathématiques combinatoires Graphes Graphes orientés Algèbres de boole Index
Langues :	Français (fre) Langues originales : Français (fre)
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Les méthodes formelles utilisées en informatique s'appuient essentiellement sur des concepts mathématiques, comme la théorie des ensembles, la logique, les mathématiques combinatoires ou encore la théorie des graphes (dont l'application à un réseau de communication permet d'introduire des notions très complexes comme, par exemple, les répartitions de charge et de trafic sur Internet). En 9 chapitres, l'ouvrage fournit un rappel des notions indispensables en logique et en algorithmique : théorie des ensembles, relations, fonctions, combinatoire, théorie des graphes et algèbre de boole. Chaque notion est illustrée d'un exemple concret, appliqué à l'informatique ou à l'électronique. À la fin de chaque chapitre, des exercices aux corrigés détaillés permettent au lecteur de tester sa compréhension des notions abordées. Ce livre s'adresse aux étudiants de première année des filières informatiques. Il se révèlera également très utile aux professionnels désireux de rafraîchir leurs connaissances.

Mathématiques discrètes appliquées à l'informatique [texte imprimé] / Rod Haggarty, Auteur . - [S.l.] : Pearson Education, 2005 . - 219p ; 27*21 cm. - (Synthex - Synthèse de cours et exercices corrigés) .
ISBN : 978-2-7440-7100-3
Sommaire
Introduction
Logique et preuve
Théorie des ensembles
Relations
Fonctions
Mathématiques combinatoires
Graphes
Graphes orientés
Algèbres de boole
Index
Langues : Français (fre) Langues originales : Français (fre)

Index. décimale :

004 Traitement de données. Informatique

Résumé :

Les méthodes formelles utilisées en informatique s'appuient essentiellement sur des concepts mathématiques, comme la théorie des ensembles, la logique, les mathématiques combinatoires ou encore la théorie des graphes (dont l'application à un réseau de communication permet d'introduire des notions très complexes comme, par exemple, les répartitions de charge et de trafic sur Internet). En 9 chapitres, l'ouvrage fournit un rappel des notions indispensables en logique et en algorithmique : théorie des ensembles, relations, fonctions, combinatoire, théorie des graphes et algèbre de boole. Chaque notion est illustrée d'un exemple concret, appliqué à l'informatique ou à l'électronique. À la fin de chaque chapitre, des exercices aux corrigés détaillés permettent au lecteur de tester sa compréhension des notions abordées. Ce livre s'adresse aux étudiants de première année des filières informatiques. Il se révèlera également très utile aux professionnels désireux de rafraîchir leurs connaissances.