Informatique théorique. Logique et démonstration automatique, Introduction à la logique propositionn

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 ?

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.

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. com Enfin de nombreux encadrés historiques, biographiques, culturels ou techniques viennent agrémenter la lecture.