Comment notre cerveau apprend-il ? Et comment en tenir compte ? 

Les auteurs ont choisi, d'une part, d'éclairer les processus essentiels mis en jeu pour apprendre et, d'autre part, d'expliciter comment les mobiliser, les développer et les rendre pérennes pour l'apprenant. 
Cet ouvrage se veut avant tout pratique et synthétique. Ce livre peut être lu à plusieurs niveaux de par l'organisation de son contenu : exercices corrigés, analyse méta-réflexive, points théoriques, références bibliographiques, pistes pour aller plus loin. 

Il s'adresse donc autant aux étudiants qu'aux enseignants. En effet, les compétences développées via les exercices sont directement transférables par les étudiants qui pourront les appliquer tout au long de leur cursus. Les enseignants utiliseront les exercices dans leur pratique pédagogique tant pour améliorer leurs enseignements (i.e. faciliter l'apprentissage chez leurs étudiants) que pour enseigner directement ces connaissances méthodologiques à leurs étudiants.

Comment s'exercer à apprendre ? : Améliorer ses pratiques d'apprentissage dans le supérieur

Destiné principalement aux étudiants des premiers cycles 
scientifiques, un livre pour leur faire découvrir la logique, 
renforcer leur rigueur et conforter leur aptitude à raisonner. 
L'ouvrage ne nécessite pas de connaissances a priori en 
logique, ni en mathématiques. L'étude se concentre sur la 
logique classique à deux valeurs de vérité, logique qui est celle 
des circuits combinatoires. Sont uniquement présentés des 
résultats et algorithmes dont il existe une réalisation logicielle 
permettant de les appliquer automatiquement sur des 
exemples. Dans une première partie consacrée à la logique 
propositionnelle sont présentés les définitions, les résultats de 
base, la résolution, la stratégie complète et l'algorithme DPLL, 
ainsi que la déduction naturelle. Dans la seconde partie 
l'ensemble des notions, résultats et techniques est revisité pour 
la logique du premier ordre. Enfin le livre comprend de 
nombreux exercices gradués avec leurs corrigés détaillés, qui 
permettent à chacun de tester ses connaissances et la 
compréhension des concepts présentés.

Informatique théorique - Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordre

Dans la lignée des 15 énigmes pour s'initier à la programmation Python, cet ouvrage propose de se confronter à un niveau de difficulté plus élevé. Ces 15 nouvelles énigmes permettent en outre de découvrir des concepts-clés  plus avancés en informatique. La difficulté des énigmes est repérée par un système d'étoiles. En cas de besoin d'un coup de pouce, trois indices sont fournis pour mettre le lecteur progressivement sur la voie de la solution. A la fin du livre, une solution détaillée donne la clé de chaque énigme. Les commandes Python qui permettent la résolution des énigmes sont incluses dans le livre mais également télécharchables sur dunod.comEnfin de nombreux encadrés historiques, biographiques, culturels ou techniques viennent agrémenter la lecture.

15 énigmes ludiques pour se perfectionner en programmation Python

La cryptographie est fascinante, car c'est la science des secrets. De tout temps nous avons cherché à échanger des messages ou des informations en toute sécurité. C'est pourquoi de nombreuses méthodes plus ou moins sophistiquées ont été inventées pour coder et sécuriser ces échanges. Et tout naturellement des adversaires ont cherché à percer le secret de ces codes. Avez-vous envie de vous initier à la cryptographie en vous amusant ? Ce livre, accessible dès la fin du lycée, vous propose 25 énigmes. Leur difficulté est variable et indiquée par un système d'étoiles. En cas de besoin d'un (ou de plusieurs) coup(s) de pouce, trois indices vous mettront progressivement sur la voie de la solution. A la fin du livre, une explication détaillée vous donnera la clé de chaque énigme. En complément des 25 énigmes, de très nombreux encarts illustrés vous apporteront des connaissances historiques et techniques. Des anecdotes vous feront découvrir des personnages célèbres à l'origine de certains procédés cryptographiques... ou qui ont réussi à en "casser" certains. L'accent a volontairement été mis sur les techniques cryptographiques les plus récentes qui font partie de notre quotidien, comme les chiffrements à clé publique, les chiffrements modernes ou le bitcoin. Une 26e énigme se cache dans ce livre, saurez-vous la trouver et la résoudre ?

25 énigmes ludiques pour s'initier à la cryptographie

La création du bitcoin en 2009 est remarquable à plus d'un titre, notamment parce qu'elle repose sur le mécanisme novateur de la blockchain qui permet d'enregistrer des informations de façon irréversible et vérifiable par tout le monde. Aujourd'hui les blockchains ne se limitent plus aux cryptomonnaies et touchent de nombreux autres domaines (contrats intelligents, NFT, etc.). Ce livre est conçu pour répondre non seulement aux questions que vous vous posez sur l'univers des blockchains mais aussi à celles que vous ne vous étiez pas encore posées. Qu'est-ce qu'une blockchain ? Quel est le lien entre le bitcoin et les blockchains ? Qui sont les mineurs et que font-ils ? Qu'est-ce qu'un consensus ? Qu'est-ce qu'un contrai intelligent ? Peut-on faire une blockchain sans bloc ? Quelle est la part des cryptomonnaies dans l'économie mondiale ? Comment les blockchains vont-elles révolutionner le monde ? Les réponses a toutes ces questions (et à 42 autres) sont dans ce livre.

Les blockchains en 50 questions - Comprendre le fonctionnement de cette technologie

L'objectif proposé par cet ouvrage est de s'initier à la programmation avec Python en écrivant un petit programme informatique pour  résoudre des énigmes amusantes. Les thèmes de ces énigmes ont été choisis pour découvrir à chaque fois un nouveau  concept-clé  en informatique. Les commandes Python qui seront utiles à la résolution des énigmes sont intégrées dans le livre pour qu'il soit auto-suffisant. Pour chaque énigme trois niveaux d'indice sont fournis pour ceux qui auront besoin d'un peu d'aide pour démarrer. La difficulté des énigmes est repérée par un système d'étoiles. La solution complète de toutes les énigmes est bien sûr détaillée en fin d'ouvrage. Elle comporte non seulement le programme Python qui permet de trouver la solution mais aussi des explications détaillées sur la conception de l'algorithme correspondant. Enfin de nombreux encadrés historiques, biographiques, culturels ou techniques viennent agrémenter la lecture.

15 énigmes ludiques pour s'initier à la programmation Python

La sécurité sur Internet passe en partie par la sécurité des protocoles de communication et par les solutions de cryptographie.  Ce manuel d'apprentissage des principes et algorithmes de sécurisation a pour objectif de fournir une approche compréhensible des techniques mises en oeuvre dans les réseaux de communication. Il présente les dernières recommandations nationales (RGS) et européennes (i-GAS) ainsi que de nombreuses applications comme la gestion de la sécurité des navigateurs Internet et des systèmes d'exploitation ou plus récemment des systèmes à base de blockchains (comme les monnaies électroniques de type bitcoin). La partie cours est complétée par 50 exercices corrigés. Cette 2e édition comporte de nouveaux exercices et des mises à jour sur les protocoles et les standards de sécurité.

Architectures de sécurité pour internet - 2e éd. - Protocoles, standards et déploiement

La sécurité sur Internet passe en partie par la sécurité des protocoles de communication et par les solutions de cryptographie.
Ce manuel d'apprentissage des principes et algorithmes de sécurisation a pour objectif de fournir une approche compréhensible des techniques mises en oeuvre dans les réseaux de communication.
Il présente les dernières recommandations nationales (RGS) et européennes (i-GAS) ainsi que de nombreuses applications comme la gestion de la sécurité des navigateurs Internet et des systèmes d'exploitation ou plus récemment des systèmes à base de blockchains (comme les monnaies électroniques de type bitcoin).
La partie cours est complétée par 50 exercices corrigés.
Cette 2e édition comporte de nouveaux exercices et des mises à jour sur les protocoles et les standards de sécurité.

Architectures de sécurité pour Internet ; protocoles, standards et déploiement

Ce livre d'exercices corrigés est destiné aussi bien aux étudiants de premier cycle en informatique qu'aux enseignants intéressés par la programmation fonctionnelle. L'ouvrage aborde notamment les notions de correction, de complexité et d'efficacité d'un algorithme fonctionnel, à travers les solutions détaillées d'une quarantaine d'exercices. Pour chacun de ces exercices, plusieurs solutions sont systématiquement proposées. Pour chaque solution, une analyse des temps de calcul et une preuve de correction sont entièrement rédigées. Les exercices traités sont classés en plusieurs catégories en fonction de la nature des données qu'ils manipulent : entiers, listes, arborescences. Cette distinction permet de mettre en avant un mode de programmation et de raisonnement guidé par la structure des données, si naturel en programmation fonctionnelle. Si les exercices proposés peuvent sembler simples et classiques au premier abord, ils ont été choisis pour permettre, par l'étude de leurs solutions, une découverte en profondeur de la programmation fonctionnelle, ce qui constitue l'originalité du livre.

Livres