|
| Titre : |
Outils mathématiques pour l'informatique. Tome 1 : Algèbre linéaire dans R |
| Type de document : |
texte imprimé |
| Auteurs : |
Haddadi, Salim, Auteur |
| Editeur : |
Alger : Office des Publications Universitaires |
| Année de publication : |
2025 |
| Importance : |
212 p. |
| Présentation : |
couv.ill. en coul. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-9961-0-2566-6 |
| Langues : |
Français (fre) |
| Catégories : |
Livres
|
| Tags : |
Fondements Logiques et Algorithmiques Mathématiques Discrètes et Dénombrement |
| Index. décimale : |
511.1 Mathématiques discrètes |
| Résumé : |
Le livre est conçu comme un support de cours et de travaux dirigés visant à fournir les modèles mathématiques nécessaires pour analyser des problèmes informatiques. Logique et Raisonnement : Étude des propositions logiques et des prédicats. C'est la base pour la rédaction d'algorithmes et la vérification de programmes.
Théorie des Ensembles : Manipulation des structures de données de base (unions, intersections, produits cartésiens).
Induction et Récurrence : Apprentissage des preuves par induction, essentielles pour valider les algorithmes récursifs.
Combinatoire : Étude des coefficients du binôme et du dénombrement, outils clés pour calculer la complexité d'un programme.
Suites et Séries : Introduction aux outils d'analyse permettant d'évaluer les performances des systèmes informatiques sur le long terme. |
Outils mathématiques pour l'informatique. Tome 1 : Algèbre linéaire dans R [texte imprimé] / Haddadi, Salim, Auteur . - Alger : Office des Publications Universitaires, 2025 . - 212 p. : couv.ill. en coul. ; 24 cm. ISBN : 978-9961-0-2566-6 Langues : Français ( fre)
| Catégories : |
Livres
|
| Tags : |
Fondements Logiques et Algorithmiques Mathématiques Discrètes et Dénombrement |
| Index. décimale : |
511.1 Mathématiques discrètes |
| Résumé : |
Le livre est conçu comme un support de cours et de travaux dirigés visant à fournir les modèles mathématiques nécessaires pour analyser des problèmes informatiques. Logique et Raisonnement : Étude des propositions logiques et des prédicats. C'est la base pour la rédaction d'algorithmes et la vérification de programmes.
Théorie des Ensembles : Manipulation des structures de données de base (unions, intersections, produits cartésiens).
Induction et Récurrence : Apprentissage des preuves par induction, essentielles pour valider les algorithmes récursifs.
Combinatoire : Étude des coefficients du binôme et du dénombrement, outils clés pour calculer la complexité d'un programme.
Suites et Séries : Introduction aux outils d'analyse permettant d'évaluer les performances des systèmes informatiques sur le long terme. |
|  |
Accueil
511 Principes généraux des mathématiques
Ajouter le résultat dans votre panier Affiner la rechercheOutils mathématiques pour l'informatique. Tome 1
