Accueil
Détail de l'auteur
Auteur Haddadi, Salim |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
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.Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité C1-525/26 511.1 HAD C1 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Exclu du prêt C2-526/26 511.1 HAD C2 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C3-527/26 511.1 HAD C3 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C4-528/26 511.1 HAD C4 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C5-529/26 511.1 HAD C5 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible
Titre : Outils mathématiques pour l'informatique. Tome 2 : programmation linéaire Type de document : texte imprimé Auteurs : Haddadi, Salim, Auteur Editeur : Alger : Office des Publications Universitaires Année de publication : 2025 Importance : 206 p. Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-9961-0-2567-3 Langues : Français (fre) Catégories : Livres Tags : Programmation linéaire (PL) Algorithmes de Résolution Optimisation déterministe Index. décimale : 519.72 Programmation linéaire Résumé : Programmation linéaire : une approche mathématique et algorithmique » de Salim Haddadi propose 12 leçons alliant théorie et pratique pour la maîtrise des outils de recherche opérationnelle. L'ouvrage couvre la modélisation, l'algorithme du simplexe et la dualité, structuré pour accompagner les étudiants vers l'application concrète des méthodes d'optimisation. Outils mathématiques pour l'informatique. Tome 2 : programmation linéaire [texte imprimé] / Haddadi, Salim, Auteur . - Alger : Office des Publications Universitaires, 2025 . - 206 p. : couv. ill. en coul. ; 24 cm.
ISBN : 978-9961-0-2567-3
Langues : Français (fre)
Catégories : Livres Tags : Programmation linéaire (PL) Algorithmes de Résolution Optimisation déterministe Index. décimale : 519.72 Programmation linéaire Résumé : Programmation linéaire : une approche mathématique et algorithmique » de Salim Haddadi propose 12 leçons alliant théorie et pratique pour la maîtrise des outils de recherche opérationnelle. L'ouvrage couvre la modélisation, l'algorithme du simplexe et la dualité, structuré pour accompagner les étudiants vers l'application concrète des méthodes d'optimisation. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité C1-530/26 519.72 HAD C1 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Exclu du prêt C2-531/26 519.72 HAD C2 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C3-532/26 519.72 HAD C3 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C4-533/26 519.72 HAD C4 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C5-534/26 519.72 HAD C5 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible
Titre : Outils mathématiques pour l'informatique. Tome 3 : Mathématiques pour l'informatique Type de document : texte imprimé Auteurs : Haddadi, Salim, Auteur Editeur : Alger : Office des Publications Universitaires Année de publication : 2025 Importance : 351 p. Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-9961-0-2574-1 Langues : Français (fre) Catégories : Livres Tags : Logique Mathématique Théorie des Ensembles Combinatoire et Dénombrement Index. décimale : 510 Mathématiques Résumé : Concepts Fondamentaux
Logique et Ensembles : Étude des propositions logiques, des connecteurs, des tables de vérité et des opérations fondamentales sur les ensembles.
Arithmétique : Systèmes de numération (bases 2, 10, 16), conversions, divisibilité et décomposition en facteurs premiers.
Algèbre de Boole : Application de la logique aux circuits et aux structures de données informatiques.
Mathématiques Discrètes
Relations et Graphes : Analyse des relations binaires, des structures de graphes et de leurs applications dans les réseaux ou l'organisation de données.
Combinatoire : Dénombrement, coefficients du binôme et principes d'induction.
Récursivité : Fondements mathématiques des fonctions et algorithmes récursifs.
Applications Algorithmiques
Complexité : Introduction à l'évaluation de l'efficacité des algorithmes.
Matrices : Calcul matriciel appliqué, notamment pour le traitement d'images ou la résolution de systèmes linéaires.
Probabilités : Notions de base utiles pour l'analyse statistique et les algorithmes probabilistes.
Ce tome est conçu pour faire le pont entre la théorie mathématique pure et sa mise en œuvre pratique dans la programmation et l'architecture des systèmes.Outils mathématiques pour l'informatique. Tome 3 : Mathématiques pour l'informatique [texte imprimé] / Haddadi, Salim, Auteur . - Alger : Office des Publications Universitaires, 2025 . - 351 p. : couv. ill. en coul. ; 24 cm.
ISBN : 978-9961-0-2574-1
Langues : Français (fre)
Catégories : Livres Tags : Logique Mathématique Théorie des Ensembles Combinatoire et Dénombrement Index. décimale : 510 Mathématiques Résumé : Concepts Fondamentaux
Logique et Ensembles : Étude des propositions logiques, des connecteurs, des tables de vérité et des opérations fondamentales sur les ensembles.
Arithmétique : Systèmes de numération (bases 2, 10, 16), conversions, divisibilité et décomposition en facteurs premiers.
Algèbre de Boole : Application de la logique aux circuits et aux structures de données informatiques.
Mathématiques Discrètes
Relations et Graphes : Analyse des relations binaires, des structures de graphes et de leurs applications dans les réseaux ou l'organisation de données.
Combinatoire : Dénombrement, coefficients du binôme et principes d'induction.
Récursivité : Fondements mathématiques des fonctions et algorithmes récursifs.
Applications Algorithmiques
Complexité : Introduction à l'évaluation de l'efficacité des algorithmes.
Matrices : Calcul matriciel appliqué, notamment pour le traitement d'images ou la résolution de systèmes linéaires.
Probabilités : Notions de base utiles pour l'analyse statistique et les algorithmes probabilistes.
Ce tome est conçu pour faire le pont entre la théorie mathématique pure et sa mise en œuvre pratique dans la programmation et l'architecture des systèmes.Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité C1-535/26 510 HAD C1 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Exclu du prêt C2-536/26 510 HAD C2 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C3-537/26 510 HAD C3 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C4-538/26 510 HAD C4 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible C5-539/26 510 HAD C5 Livre 1er Cycle.(Salle 2ème Étage) Mathématiques Disponible
