
Mathématiques de l'informatique. Cours et exercices corrigés
Cet ouvrage, destiné en priorité aux étudiants de second cycle de mathématiques, intéressera également un public plus large: enseignants de mathématiques pratiquant l'informatique et désireux d'en approfondir les bases théoriques, étudiants ou ingénieurs en informatique intéressés par les aspects mathématiques de leur discipline.Centré sur les notions de calcul et de définition, ce cours est une introduction à l'étude des structures mathématiques sous-jacentes à l'informatique. Les principaux développements concernent les automates, les langages algébriques, la calculabilité effective et la complexité des algorithmes, la logique booléenne et les logiques du premier ordre, dont les définitions et propriétés élémentaires usuelles sont exposées.L'approche proposée est résolument mathématique et souligne une orientation générale tournée vers la théorie. Une attention spéciale a été portée à la rigueur et à la précision de la rédaction, en particulier dans les démonstrations.Cent cinquante exercices d'application et de complément sont proposés, dont plus de la moitié avec un corrigé rédigé.
| Nombre de pages | 303 |
|---|---|
| Date de parution | 01/01/2000 |
| Poids | 510g |
| Largeur | 170mm |
| EAN | 9782100044467 |
|---|---|
| Titre | Mathématiques de l'informatique. Cours et exercices corrigés |
| Auteur | Dehornoy Patrick |
| Editeur | DUNOD |
| Largeur | 170 |
| Poids | 510 |
| Date de parution | 20000101 |
| Nombre de pages | 303,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

La théorie des ensembles. Introduction à une théorie de l'infini et des grands cardinaux
Dehornoy PatrickNon, la théorie des ensembles, ce n'est pas dessiner des patates et des flèches... c'est élaborer en une théorie mathématique notre exploration de l'infini, ni plus, ni moins. Non, la théorie des ensembles n'est pas le système fondationnel unique des mathématiques... c'est un des systèmes possibles, tout comme par exemple la récente théorie homotopique des types. Non, l'entier 2 n'est pas l'ensemble {0,{0}}... celui-ci n'est qu'une représentation de l'entier 2 par un ensemble. Non, la non-prouvabilité de l'hypothèse du continu à partir du système ZF n'indique pas que la question doive rester à jamais ouverte... c'est juste le signe que les bases axiomatiques actuelles sont incomplètes : le système ZF a d'ores et déjà été amendé, et le sera probablement à nouveau dans le futur. Oui, la théorie des ensembles est une magnifique théorie qui, peu à peu, apporte de la lumière dans le monde de l'infini, et Oui, même si les détails sont parfois arides et exigeants, il est possible de bien saisir les grandes étapes de son cheminement. C'est le sujet de ce livre.ÉPUISÉVOIR PRODUIT59,00 € -

Le calcul des tresses. Une introduction, et au-delà
Dehornoy PatrickLes tresses servent-elles uniquement à faire de belles coiffures et de jolis dessins, ou recèlent-elles aussi une structure cachée digne d'intérêt ? Comme la formulation le laisse deviner, le but de ce petit livre est de montrer qu'il existe toute une théorie des tresses, fondée sur des intuitions venues de la topologie, de l'algèbre, et de la géométrie, et se prolongeant en de multiples ramifications, avec même des applications possibles en crytographie. Un accent particulier est mis sur les aspects effectifs et la construction d'algorithmes qui constituent un véritable calcul des tresses à la fois semblable et très différent de celui des nombres. Le point de vue retenu ici est d'explorer le monde des tresses en ne supposant aucune connaissance au-delà d'une première année d'université, et de fournir pour toutes les affirmations proposées à la fois des explications heuristiques et des démonstrations précises. Un grand choix d'exercices complète le texte, avec des solutions disponibles sur internet.ÉPUISÉVOIR PRODUIT17,00 €
Du même éditeur
-

Le petit Banque. L'essentiel en bref, Edition 2026
Monnier PhilippeEn 48 pages et 21 fiches pratiques, le Petit Banque fournit toutes les informations indispensables à la gestion bancaire, en présentant notamment : - le compte bancaire - les produits d'épargne et les placements financiers - les incidents liés au compte et au paiement - les crédits immobiliers et à la consommation - les outils de calcul financier - le tableau d'amortissement - le surendettement - les actions et obligations - les plans d'épargne en action et l'assurance-vie - la fiscalité des revenus et du patrimoinePlus de 25 000 exemplaires vendus depuis la première édition ! Le Petit Banque est à jour des dernières évolutions réglementaires et fiscales au 1er janvier 2024. ++ Inclus : un test interactif pour tester ses connaissances ++ ------------------------------------? Depuis 20 ans, Les Petits Experts récapitulent les chiffres, données et savoir-faire clés en gestion d'entreprise. Indispensables, précis et pratiques, ils sont structurés en fiches synthétiques, dans un format très accessible de 48 pages. ? Avec une vingtaine de titres mis à jour chaque année, ils sont un repère incontournable pour tout étudiant ou professionnel. ------------------------------------ÉPUISÉVOIR PRODUIT4,90 € -

Le petit TVA. L'essentiel en bref, Edition 2026
Meyer GillesEn 48 pages et 16 fiches pratiques, le Petit TVA fournit toutes les notions indispensables pour calculer, déclarer et comptabiliser la TVA, avec de nombreux exemples chiffrés, en présentant notamment : - les règles de base - les assujettis et les redevables partiels - les activités partiellement soumises à la TVA - les obligations déclaratives et comptables - les échanges internationaux et l'e-commerce - les régimes spéciaux et particuliersLe Petit TVA est à jour de la loi de finances 2024. ++ Inclus : un test interactif pour tester ses connaissances ++ ------------------------------------? Depuis 20 ans, Les Petits Experts récapitulent les chiffres, données et savoir-faire clés en gestion d'entreprise. Indispensables, précis et pratiques, ils sont structurés en fiches synthétiques, dans un format très accessible de 48 pages. ? Avec une vingtaine de titres mis à jour chaque année, ils sont un repère incontournable pour tout étudiant ou professionnel. ------------------------------------ÉPUISÉVOIR PRODUIT4,90 € -

Jérusalem 1900. La ville sainte à l'âge des possibles
Lemire VincentRésumé : Jérusalem n'a pas toujours été un champ de bataille. A l'orée du XX e siècle, une autre histoire s'est dessinée, portée par l'émergence d'une identité citadine partagée, loin des dérives communautaristes qui semblent aujourd'hui l'emporter. Cette histoire a longtemps été oubliée et mérite à elle seule d'être racontée. On y croise un maire arabe polyglotte, un député ottoman franc-maçon, des Juifs levantins, mais aussi des archéologues occidentaux occupés faire ressurgir les lieux saints d'une " Jérusalem biblique " fantasmée. Restituant une période exceptionnelle, Vincent Lemire invite à se souvenir de cet " âge des possibles " et livre quelques clés pour mieux comprendre le présent et envisager l'avenir. "Il fut un temps, pas si lointain, où Jérusalem était un modèle de cohabitation entre les communautés. [... ] C'est ce que rappelle Vincent Lemire, dans son ouvrage très documenté sur Jérusalem en 1900". Le ParisienSur commande, 2 à 4 joursCOMMANDER9,95 € -

Chimie organique
Arnaud PaulRésumé : Les ouvrages de la série "TD" répondent à trois objectifs : "Apprendre" : un résumé du cours met en lumière l'essentiel de ce qu'il faut savoir. Il est suivi de tests de connaissances. "Comprendre " : des questions de réflexion structurent les connaissances, en dégageant des idées générales, et leur donnent du sens, en les mettant en relation. Cette étape est essentielle pour favoriser une mémorisation intelligente et durable. "Appliquer" : des exercices d'entraînement permettent de se préparer à l'examen. Leur énoncé est suivi de conseils pour les aborder et leurs solutions détaillées mettent l'accent sur le raisonnement et la méthode à mettre en oeuvre. Cet ouvrage s'adresse aux étudiants du premier cycle (Licence 1re et 2e années, PCEM, PCEP, BTS, IUT...). Il couvre en 12 chapitres et 182 questions et exercices les bases de la chimie organique : structure des molécules ; stéréochimie ; mécanismes réactionnels ; hydrocarbures et fonctions simples.Sur commande, 2 à 4 joursCOMMANDER25,45 €
De la même catégorie
-

Algorithmes. Notions de base
Cormen ThomasConnaître les bases du fonctionnement des algorithmes est essentiel pour tout futur "ingénieur" . Savoir par exemple comment un GPS calcule et optimise un itinéraire en quelques secondes, ou comment une transaction en ligne peut-être cryptée et sécurisée. Certains livres sur les algorithmes sont très abstraits, d'autres au contraire proposent des trucs et astuces pour programmer. Celui-ci est entre les deux: il a parfois recours aux mathématiques pour expliquer certaines notions, mais elles ont été réduites au strict minimum, et aucune expérience de la programmation n'est requise. Le but de ce livre est d'expliquer comment fonctionnent les algorithmes et comment on peut les évaluer. Il explique également comment modéliser un problème de façon à ce qu'il puisse être résolu par un ordinateur.ÉPUISÉVOIR PRODUIT25,71 € -

Mathématiques Licence 1 CAPES. Tout le cours en fiches, 2e édition
David Claire ; Mustapha SamiRésumé : Cet ouvrage fait la synthèse en 110 fiches des résultats et définitions essentiels enseignés en Licences de Mathématiques ou de Sciences de la Matière (niveau 1). La présentation est adaptée aux besoins des étudiants préparant un examen ou un concours : fiches synthétiques pour aller à l'essentiel, exemples d'application et exercices d'entraînement avec corrigés détaillés. Cette seconde édition s'enrichit de nouveaux exercices ainsi que de nouveaux focus.ÉPUISÉVOIR PRODUIT34,80 € -

40 thèmes illustrés par le numérique pour l'agrégation interne de mathématiques. Développements, exe
Peronno SébastienCe livre présente une quarantaine de thèmes, couvrant une large partie du programme des oraux de l'agrégation interne de mathématiques. Les thèmes sont répartis en trois catégories : des illustrations pour accompagner des résultats courants ; des exercices corrigés que l'on peut adapter en exemples de cours ; des développements approfondis, présentables en deuxième partie d'entretien. Pour chacun d'entre eux, une application, au moins, est proposée avec Python, Geogebra ou LibreOffice. L'ouvrage constitue donc un point d'appui pour répondre aux attentes du jury concernant "l'usage pertinent des outils numériques". Au-delà de ce concours, il peut intéresser les candidats à l'agrégation externe ainsi que tous les enseignants et étudiants désireux d'améliorer leurs connaissances informatiques et de rendre les mathématiques avancées plus visuelles.EN STOCKCOMMANDER24,00 € -

Maths PTSI. Tout-en-un
Coulaud OlivierUn livre de mathématiques complet et efficace pour assurer sa réussite en PTSI ! Ce Tout-en-un de mathématiques comprend pour chaque chapitre : - Le lien entre les notions du chapitre et le programme avec renvoi aux exercices concernés - Un cours complet enrichi de conseils méthodologiques, de démonstrations et de nombreux exemples pour maîtriser parfaitement le programme et acquérir les capacités exigées - Des fiches de synthèse pour réviser avant les colles - Plus de 600 exercices de difficulté progressive : Vrai/faux, application, approfondissement et problèmes de concours pour tester sa compréhension du cours et s'entraîner aux écrits comme aux oraux - Des aides au démarrage des exercices pour aider l'élève s'il bloque sur une question difficile - Tous les corrigés détaillés. La collection "Vuibert Prépas scientifiques" a été conçue par des auteurs au coeur de l'enseignement et répond totalement aux attentes des élèves en prépas. + en ligne : Des exercices supplémentaires et des approches transversales avec Python.ÉPUISÉVOIR PRODUIT47,90 €
