Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Logique, mathématiques, informatique
Éditeur(s) :
Elsevier Masson
Présente les applications des outils théoriques exposés dans le t. 1. Traite de deux autres aspects fondamentaux : preuves de programmes et complexité des algorithmes. Nombreux exercices corrigés. ©Electre 2025
30,30 €
Chargement...
Éditeur(s) :
Elsevier Masson
Expose les relations entre les notions de calculabilité, décidabilité, cohérence, contradiction..., qui dépassent le cadre strict des mathématiques (elles sont métamathématiques). ©Electre 2025
36,44 €
Chargement...
Éditeur(s) :
Elsevier Masson
Décrit dans un langage structuré en français, et donc sans référence à un quelconque langage de programmation, des méthodes classiques d'analyse numérique, et met à la disposition du programmateur scientifique, sur disquette jointe, une bibliothèque mathématique écri...
44,20 €
Chargement...
Éditeur(s) :
Elsevier Masson
Cet ouvrage pédagogique propose les bases mathématiques fondamentales pour comprendre et dominer l'informatique : théorie des langages, logique classique, théorie des algorithmes. Contient des exercices issus de l'enseignement de ce cours en licence. ©Electre 2025
27,00 €
Chargement...
Éditeur(s) :
Elsevier Masson
Un ouvrage de référence sur l'histoire et les méthodes de cette branche des mathématiques. Décrit les principales méthodes et les algorithmes qui y sont associés (Data Encrypton Standard d'IBM, système à clé publique RSA). ©Electre 2025
66,95 €
Chargement...
Éditeur(s) :
Elsevier Masson
600 exercices corrigés de mathématiques appliqués au codage numérique. L'ouvrage aborde les problèmes de mathématiques discrètes (structures algébriques, graphes, calcul matriciel, algorithmique...). Un chapitre important est consacré à Maple, le langage informatique...
25,92 €
Chargement...
Éditeur(s) :
Elsevier Masson
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal. ©Electre 2025
30,30 €
Chargement...
Éditeur(s) :
Elsevier Masson
Le calcul formel est devenu accessible au plus grand nombre depuis le développement de logiciels comme Axiom, Macsyma, Maple, Mathematica et Reduce. Véritables aides de calcul mathématique assisté par ordinateur, ces outils permettent sûreté et rapidité de calcul. In...
39,90 €
Chargement...
Éditeur(s) :
Elsevier Masson
Méthode qui permet de mettre en évidence une structure quelconque par rapport à son fond environnant et de déterminer ses caractéristiques géométriques et topologiques en la comparant à un ensemble de formes définies. Elle est utile ainsi pour la reconnaissance des f...
34,61 €
Chargement...
Éditeur(s) :
Elsevier Masson
Etude de l'algorithme d'exponentiation dichotomique, l'algorithme d'Euclide, des algorithmes classiques de factorisation et des tests de primalité... ©Electre 2025
37,00 €
Chargement...
Éditeur(s) :
Elsevier Masson
Panorama et progrès récents dans le cryptage et le décryptage des communications. Décrit deux types d'approche, selon que la sécurité repose sur les mathématiques ou sur les principes fondamentaux de la physique quantique. ©Electre 2025
29,00 €
Chargement...
Éditeur(s) :
Elsevier Masson
Différents aspects de la complexité des algorithmes à partir de supports variés : théorie des graphes, arithmétique, algorithmes récursifs, problèmes NP-complets. Avec exercices. ©Electre 2025
29,73 €
Chargement...
Éditeur(s) :
Elsevier Masson
Panorama détaillé, bases théoriques, types de codes et perspectives relatifs aux mathématiques appliquées. ©Electre 2025
93,90 €
Chargement...
Éditeur(s) :
Elsevier Masson
L'analyse qualitative est un nouveau domaine de l'intelligence artificielle qui propose des modèles d'analyse à partir de données ou de modèles d'analyse que l'on ne peut pas quantifier. L'auteur propose un état de l'art en ce domaine, par une approche essentiellemen...
23,70 €
Chargement...
