Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes
É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 2024
30,30 €
Chargement...
Théorie de la récursivité pour la métamathématique
É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 2024
36,44 €
Chargement...
Algorithmique numérique et Ada
É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...
Systèmes formels : introduction à la logique et à la théorie des langages
É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 2024
27,00 €
Chargement...
Introduction aux méthodes de la cryptologie
É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 2024
66,95 €
Chargement...
Exercices sur les codes correcteurs : 600 exercices corrigés
É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...
Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels
Éditeur(s): Elsevier Masson
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal. ©Electre 2024
30,30 €
Chargement...
Calcul formel, mode d'emploi : exemples en Maple
É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...
Morphologie mathématique
É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...
Algorithmique algébrique avec exercices corrigés
É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 2024
37,00 €
Chargement...
Cryptologie contemporaine
É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 2024
29,00 €
Chargement...
Algorithmes et complexité
É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 2024
29,73 €
Chargement...
Codes correcteurs : théorie et applications
Éditeur(s): Elsevier Masson
Panorama détaillé, bases théoriques, types de codes et perspectives relatifs aux mathématiques appliquées. ©Electre 2024
93,90 €
Chargement...
Analyse qualitative
É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...