La bibliothèque des bibliothèques
Détail de l'indexation
005.131
: Logique symbolique (informatique)
 005.1 Programmation (algorithmique, génie logiciel, ouvrages d'ordre général sur la logique en programmation, programmation d'application) 005.133 Langages de programmation particuliers 005.3 Programmes informatiques 005.36 Logiciels pour les ordinateurs personnels 005.369 Programmes informatiques particuliers pour ordinateurs personnels (ensembles structurés de programmes fonctionnant ensemble, progiciels particuliers, systèmes logiciels particuliers : Access, Adobe InDesign, Autodesk 3D Studio, FrontPage, Lotus 1-2-3, Microsoft InfoPath, Mozilla Firefox, Nero, OpenOffice.org, Outlook Express, Paint shop pro, phpMyAdmin, Windows Live OneCare, WinZip, Works, etc.) 005.4 005.432 Systèmes d'exploitation particuliers des ordinateurs (non limités par la catégorie d'ordinateurs : Linux, Mac OS, MS-DOS, Ubuntu Linux, Unix, Windows, etc.) 005.432 [Linux] Systèmes d'exploitation particuliers (informatique) [Linux] 005.432 [MO5] Systèmes d'exploitation particuliers (informatique) [MO5] 005.432 [Windows Server 2003] Systèmes d'exploitation particuliers (informatique) [Windows Server 2003] 005.54 Tableurs 005.722 Jeux de caractères (informatique) 005.74 Fichiers et système de gestion de bases de données. Compression des données 005.756 5 Systèmes de gestion particuliers des bases de données relationnelles (informatique) 005.8 Sécurité informatique
|
Ouvrages de la bibliothèque en indexation 005.131 (1)
Affiner la recherche Interroger des sources externes
| Titre : |
Mathématiques pour l'informatique |
| Type de document : |
texte imprimé |
| Auteurs : |
André Arnolld (1945-....), Auteur ; Irène Guessarian, Auteur |
| Editeur : |
Paris : Masson |
| Année de publication : |
1993 |
| Collection : |
Logique mathématiques informatique |
| Importance : |
345 p. |
| Présentation : |
graph., couv. ill. en coul. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-225-84011-1 |
| Prix : |
150 F |
| Langues : |
Français (fre) Langues originales : Français (fre) |
| Mots-clés : |
mathématiques informatique |
| Index. décimale : |
005.131 Logique symbolique (informatique) |
| Résumé : |
4ème de couverture :
Les auteurs ont rassemblé dans cet ouvrage les notions mathématiques dont la connaissance est indispensable pour les études en informatique en deuxième cycle universitaire (licence, maîtrise). Sont ainsi exposés et explicités : les principes d'induction et les définitions par récurrence ; les ensembles ordonnés et les algèbres de Boole ; une introduction à la logique avec une initiation au calcul propositionnel et au calcul des prédicats ; les suites récurrentes et les séries génératrices ; les comportements asymptotiques ; des éléments de la théorie des graphes ; les langages rationnels et les automates finis ; les probabilités discrètes , et les chaînes de Markov finies. ; De nombreux exercices corrigés permettent à l'étudiant d'assimiler effectivement ces notions et de s'entraîner éventuellement aux examens. |
Mathématiques pour l'informatique [texte imprimé] / André Arnolld (1945-....), Auteur ; Irène Guessarian, Auteur . - Paris : Masson, 1993 . - 345 p. : graph., couv. ill. en coul. ; 24 cm. - ( Logique mathématiques informatique) . ISBN : 978-2-225-84011-1 : 150 F Langues : Français ( fre) Langues originales : Français ( fre)
| Mots-clés : |
mathématiques informatique |
| Index. décimale : |
005.131 Logique symbolique (informatique) |
| Résumé : |
4ème de couverture :
Les auteurs ont rassemblé dans cet ouvrage les notions mathématiques dont la connaissance est indispensable pour les études en informatique en deuxième cycle universitaire (licence, maîtrise). Sont ainsi exposés et explicités : les principes d'induction et les définitions par récurrence ; les ensembles ordonnés et les algèbres de Boole ; une introduction à la logique avec une initiation au calcul propositionnel et au calcul des prédicats ; les suites récurrentes et les séries génératrices ; les comportements asymptotiques ; des éléments de la théorie des graphes ; les langages rationnels et les automates finis ; les probabilités discrètes , et les chaînes de Markov finies. ; De nombreux exercices corrigés permettent à l'étudiant d'assimiler effectivement ces notions et de s'entraîner éventuellement aux examens. |
|  |
Réservation
Réserver ce document
Exemplaires (1)
