15 énigmes ludiques pour se perfectionner en programmation Python

Résumé : 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 ?

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.

Résumé : Comment notre cerveau apprend-il ? Comment en tenir compte ? Un manuel indispensable pour la formation autonome du lecteur afin d'améliorer tant ses capacités d'apprentissage que l'accompagnement des apprenants. 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.

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.