University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Thierry Brugère |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Mathématiques à l'usage des informaticiens / Thierry Brugère
Titre : Mathématiques à l'usage des informaticiens Type de document : texte imprimé Auteurs : Thierry Brugère, Auteur ; Alain Mollard, Auteur ; Henri Habrias, Collaborateur Editeur : Paris : Ellipses Année de publication : 2003 Importance : 429 p. Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-1399-4 Note générale : Bibliogr. p. 427-429. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Informatique -- Mathématiques -- Manuels d'enseignement supérieur
Théorie des ensembles
Boole, Algèbre de
Automates mathématiques, Théorie des
Graphes, Théorie des
Algèbre linéaire
CryptographieIndex. décimale : 510 Mathématique Résumé :
Cet ouvrage s'adresse en priorité aux étudiants en informatique qu'ils soient en DUT, second cycle ou écoles d'ingénieurs, mais également aux praticiens qui souhaitent retrouver les fondements de leur discipline
Chacun pourra y trouver, selon ses besoins, les outils mathématiques fondamentaux qu'il sera amené à utiliser tout au long de son cursus. Sont ainsi développés la plupart des concepts sur lesquels reposent les différents secteurs de l'informatique que sont les méthodes de spécifications formelles, les bases de données, les réseaux, les structures de données, l'architecture des machines... Ce cours expose en détail la théorie des ensembles et des relations, le calcul booléen, la logique des propositions et des prédicats, les langages et les automates, une initiation à la théorie des graphes, le calcul matriciel et l'algèbre linéaire, les polynômes et l'arithmétique ainsi que les codes correcteurs et des éléments de cryptographie. Les auteurs se sont attachés, lors du traitement de notions parfois difficiles, à les introduire de façon claire et originale sans sacrifier à la rigueur. Des annexes permettent au lecteur d'accéder rapidement à des résultats classiques qui ne font pas l'objet d'un développement dans le corps du texteNote de contenu :
Table des matières
Théorie naïve des ensembles, calcul booléen
Relations binaires
Logique des propositions
Logique des prédicats
Langages et automates
Graphes, arbres
Polynômes
Calcul matriciel, systèmes linéaires, algèbre linéaire
Codes correcteurs d'erreurs
Arithmétique
Cryptographie civile
Raisonnement, récursion et induction
Les logarithmes
Dénombrement
Modélisation du hasard
StructuCôte titre : Fs/2810-2815 Mathématiques à l'usage des informaticiens [texte imprimé] / Thierry Brugère, Auteur ; Alain Mollard, Auteur ; Henri Habrias, Collaborateur . - Paris : Ellipses, 2003 . - 429 p. : ill., couv. ill. ; 24 cm.
ISBN : 978-2-7298-1399-4
Bibliogr. p. 427-429. Index
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Informatique -- Mathématiques -- Manuels d'enseignement supérieur
Théorie des ensembles
Boole, Algèbre de
Automates mathématiques, Théorie des
Graphes, Théorie des
Algèbre linéaire
CryptographieIndex. décimale : 510 Mathématique Résumé :
Cet ouvrage s'adresse en priorité aux étudiants en informatique qu'ils soient en DUT, second cycle ou écoles d'ingénieurs, mais également aux praticiens qui souhaitent retrouver les fondements de leur discipline
Chacun pourra y trouver, selon ses besoins, les outils mathématiques fondamentaux qu'il sera amené à utiliser tout au long de son cursus. Sont ainsi développés la plupart des concepts sur lesquels reposent les différents secteurs de l'informatique que sont les méthodes de spécifications formelles, les bases de données, les réseaux, les structures de données, l'architecture des machines... Ce cours expose en détail la théorie des ensembles et des relations, le calcul booléen, la logique des propositions et des prédicats, les langages et les automates, une initiation à la théorie des graphes, le calcul matriciel et l'algèbre linéaire, les polynômes et l'arithmétique ainsi que les codes correcteurs et des éléments de cryptographie. Les auteurs se sont attachés, lors du traitement de notions parfois difficiles, à les introduire de façon claire et originale sans sacrifier à la rigueur. Des annexes permettent au lecteur d'accéder rapidement à des résultats classiques qui ne font pas l'objet d'un développement dans le corps du texteNote de contenu :
Table des matières
Théorie naïve des ensembles, calcul booléen
Relations binaires
Logique des propositions
Logique des prédicats
Langages et automates
Graphes, arbres
Polynômes
Calcul matriciel, systèmes linéaires, algèbre linéaire
Codes correcteurs d'erreurs
Arithmétique
Cryptographie civile
Raisonnement, récursion et induction
Les logarithmes
Dénombrement
Modélisation du hasard
StructuCôte titre : Fs/2810-2815 Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité Fs/2813 Fs/2810-2815 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2814 Fs/2810-2815 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2815 Fs/2810-2815 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2811 Fs/2810-2815 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2812 Fs/2810-2815 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/2810 Fs/2810-2815 Livre Bibliothéque des sciences Français Disponible
Disponible