Prêtable
| Titre : | Mathématiques à l'usage des informaticiens |
| Auteurs : | Thierry Brugère ; Alain Mollard |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Editions Ellipses, 2003 |
| ISBN/ISSN/EAN : | 978-2-7298-1399-4 |
| Format : | 429 p. / ill.; couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 511.3 (Logique mathématique) |
| Catégories : | |
| Mots-clés: | Algèbre linéaire ; Calcul booléen ; Langage automatique |
| 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 texte |
| Note de contenu : |
Sommaire :
Chapitre 1: Théorie naïve des ensembles, calcul booléen Chapitre 2: Relations binaires Chapitre 3: Logique des propositions Chapitre 4: Logique des prédicats Chapitre 5: Langages et automates Chapitre 6: Graphes, arbres Chapitre 7: Polynômes Chapitre 8: Calcul matriciel, systèmes linéaires, algèbre linéaire Chapitre 9: Codes correcteurs d'erreurs Chapitre 10: Arithmétique Chapitre 11: Cryptographie civile |
Exemplaires (3)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/2407 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/2408 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/2409 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
