Notre site web sera en maintenance ce mardi 3 février après-midi. Les commandes enregistrées ne subirons pas de retard de traitement.
Mathématiques de l'informatique. Cours et exercices corrigés
Dehornoy Patrick
DUNOD
44,00 €
Épuisé
EAN :9782100044467
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é.
Non, 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.
Les 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.
Quiconque désire concevoir, perfectionner ou personnaliser ses propres montages doit connaître et savoir utiliser les formules de base de l'électricité et de l'électronique! Cet ouvrage présente sous forme de fiches les 101 formules incontournables de l'électricité, de l'électronique analogique classique et de l'électronique appliquée aux radiocommunications. Chaque formule est accompagnée de la définition de ses différents termes, d'une description élémentaire du phénomène électronique auquel elle se rapporte et d'exemples concrets d'applications. De très nombreux circuits types y sont décrits simplement et clairement. Cette nouvelle présentation de l'ouvrage, refondue et mise à jour, introduit les redresseurs à diode et la commande d'un thyristor. De par sa conception originale et son orientation résolument appliquée, "Calculer ses circuits" se destine tout autant aux professionnels qu'aux futurs professionnels ou amateurs de l'électronique, à la recherche d'un outil de travail ou d'apprentissage.
Ré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.
Carl R. Rogers, fondateur de l'approche "centrée sur la personne", présente dans ce livre un exposé de sa conception pédagogique. Rogers est incontestablement un "anti-professeur" - au sens où certains psychiatres se réclament de l'"anti-psychiatrie". Pour lui, l'enseignant ne doit pas être "un maître à penser" mais plutôt un "facilitateur d'apprentissage". Il faut réformer l'institution scolaire pour qu'elle cesse d'être un cadre susceptible d'entraver l'individu et devienne au contraire un environnemnet qui mettrait l'élève au défi de s'inventer lui-même. Un classique unanimement salué depuis sa parution par l'ensemble de la communauté éducative.
Résumé : Cet ouvrage fournit étape par étape les pistes clés pour diagnostiquer et traiter les victimes de crimes sexuels souffrant du syndrome de stress post-traumatique. Il guide le clinicien dans la mise en oeuvre d'un programme de traitement TCC individualisé pour les victimes traumatisées. Illustré de nombreux cas cliniques, ce livre s'imposera comme le manuel de référence.
Une étude approfondie des concepts: La compréhension profonde des concepts, tel est l'objectif majeur de ce manuel. En conséquence, chaque concept est patiemment introduit et formulé verbalement, visuellement, numériquement et algébriquement avant que n'apparaisse sa définition formelle. Des exemples bien choisis préparent souvent l'énoncé des théorèmes pour justifier la pertinence de leurs hypothèses. L'apprentissage au raisonnement est soutenu par les démonstrations (parfois reportées en annexe pour ne pas perdre le fil du discours). Un apprentissage actif avec l'aide des outils de calcul: L'étudiant, devenu maître des concepts autant que des techniques, sera capable de choisir et d'utiliser les outils du calcul différentiel et intégral dans des contextes divers. L'apprentissage est favorisé par l'utilisation fréquente et à bon escient des calculatrices graphiques et/ou logiciels de calcul symbolique. Lors de chaque résolution de problèmes, l'accent est mis sur la méthode suivie ou l'activité de recherche mobilisée. Nouveautés de la 3e édition: Une édition revue et enrichie de nombreux exercices supplémentaires, ainsi qu'un site compagnon donnant accès à des compléments par rapport au livre et au logiciel TEC (Tools for EnrichingTM Calculus). Les deux volumes de cet ouvrage s'adressent aux étudiants de premier cycle universitaire qui, quelle que soit leur orientation, y trouveront des applications, tant sont divers et nombreux les domaines abordés dans les exercices.
Corps, dérivée, matrice, racine, spectre... Les mathématiques s'expriment avec le langage commun, mais qu'expriment-elles au juste ? A partir de 30 mots qui, un jour ou l'autre, nous ont tous interrogés, ce livre nous propose un voyage en quête du sens profond des mathématiques. La dérivée est certes une dérive, mais dans quel espace ? Et la racine (carrée) puise dans un autre niveau de réalité, mais lequel au juste ? La pensée la plus abstraite, même si elle est parfois contrainte d'inventer son propre vocabulaire, emprunte tout naturellement au langage ordinaire. En analysant les mots des maths aux prismes de l'histoire, de la littérature et de la linguistique, l'auteur dévoile quelque chose du rapport des mathématiques au monde profane. Loin de l'idée reçue d'une discipline réputée austère et impénétrable, une approche des mathématiques séduisante et ludique.
Ce livre s'adresse à toutes celles et ceux qui veulent se remettre aux mathématiques. Il ne nécessite pas de connaissances préalables autres que les quatre opérations et couvre la plupart des éléments d'algèbre et d'analyse enseignés au collège et au lycée. Ecrit pour des adultes et organisé suivant les notions présentées et non en fonction du découpage induit par les programmes de l'Education nationale, il constitue une réelle alternative aux manuels scolaires. Il permet ainsi à tout public de redémarrer les mathématiques, par simple envie ou pour un besoin précis, et en particulier à un parent d'accompagner son enfant dans les classes du secondaire. Son objectif est avant tout d'offrir au lecteur du sens et du plaisir dans son retour aux mathématiques.
Résumé : Le texte écrit dans un style clair et détaillé permet à tous les étudiants, quel que soit leur niveau, de suivre pas à pas les démonstrations. De nombreuses figures facilitent la compréhension des notions abordées. Pour chaque chapitre, des questions de cours et des exercices systématiquement corrigés de façon très détaillée permettent de vérifier les acquis. Des repères historiques accompagnent la progression : les théorèmes et résultats sont datés, les sources sont indiquées et des notices biographiques évoquent les faits marquants de la vie des mathématiciens cités. L'ouvrage propose des compléments destinés aux lecteurs souhaitant un approfondissement du programme officiel. L'ouvrage intéressera également les étudiants de licence ainsi que les candidats au CAPES et à l'agrégation.