Comment s'exercer à apprendre ? 2e édition

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.

Avez-vous envie de vous initier à la programmation en vous amusant ...Ce livre, accessible dès la fin du lycée, vous propose 15 énigmes à résoudre en écrivant des programmes en Python. 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.À la fin du livre, une explication détaillée vous donnera la clé de chaque énigme. En complément de ces 15 énigmes, de très nombreux encarts illustrés vous apporteront des connaissances historiques et techniques et des anecdotes vous feront découvrir des personnages célèbres du monde de l'informatique.Pascal Lafourcade est maître de conférences à l'IUT d'informatique de l'Université Clermont Auvergne et membre du Laboratoire d'informatique, modélisation et optimisation des systèmes. Il est spécialiste en sécurité informatique et cryptographie.Malika More est maîtresse de conférences à l'IUT d'informatique de l'Université Clermont Auvergne et membre du Laboratoire d'informatique, modélisation et optimisation des systèmes. Elle est responsable du groupe Informatique Sans Ordinateur de l'IREM de Clermont-Ferrand. En guise d'ultime énigme, voici une séquence de caractères.Saurez-vous trouver la bonne approche pour en percer le secret ...Rcufkcf ur zhqg zf lksfprgqks zfii fkyldh gy fx;iquk gy q cyo;lgfp.Qpg ur fvfpjghukd firf zf sy. Sykqis Eklgh. (20 oqu 1995)

Que vous soyez passionnés ou amateurs de défis, ces 15 énigmes à résoudre vous permettront de découvrir de nouveaux concepts-clés en informatique.La difficulté des énigmes est 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. À la fin du livre, une explication détaillée vous donnera la clé de chaque énigme.En complément de ces 15 énigmes, de très nombreux encadrés vous présentent les personnages célèbres et les connaissances historiques et techniques du monde de l’informatique.