Le livre pour dessiner à toute âge le facile du monde

Le livre pour comprendre la mythologie grecque le plus facile du monde100 mythes et épisodes expliqués et illustrés pour une compréhension en un coup d'oeil. Les infos clés liées à l'épisode ou au personnage Le fait expliqué en 5 vignettes Une belle illustration et un résumé de l'épisode à lire en un clin d'oeil Super précis, Super clair, A la portée de tous!

Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le lecteur pourra s'assurer de sa bonne compréhension des notions techniques exposées gràce aux nombreux exercices corrigés qui les accompagnent. Ce socle est ensuite développé selon trois axes : un approfondissement des notions de logique pour elles-mêmes (théorèmes de correction et de complétude, théorèmes d'indécidabilité) ; des exemples détaillés de l'informatisation de la logique, comme le problème de la satisfiabilité des formules propositionnelles et sa complexité (problème Sat) ou des algorithmes pour la recherche automatique de preuves (résolution, unification) ; enfin, une illustration de quelques applications informatiques directes de la logique : programmation logique, programmation par preuve, langages de requêtes des bases de données relationnelles, model checking. Les auteurs se sont attachés à ce que, au-delà de l'exposé des éléments de base de la logique des prédicats (syntaxe, sémantique, preuves), l'ensemble du contenu de ce livre reste abordable aux étudiants de licence d'informatique sans prérequis. Ce livre pourra donc également intéresser tout étudiant en informatique (master, école d'ingénieurs, concours, etc.), voire tout informaticien en activité curieux de découvrir le bénéfice que l'on peut tirer de la logique pour l'informatique.

Salut, je suis Gus Pianola ! Si vous avez lu le premier tome de mes aventures, on se connaît déjà. Sinon, il faut que vous explique : je vis dans une chambre remplie de monstres qui adorent les histoires ! Mais un jour l'affreux Docteur Bric et son assistant Broc, élaborent un nouveau plan : détruire notre restaurant préféré, le Nautilus... Un roman avec du texte narratif... et de la bande dessinée ! Les romans BD mêlent texte et bulles pour une lecture ludique et dynamique.

Présentation de l'éditeur Manger dans un "chinois" !  À Paris, à Montréal, à New York, on a tous mangé chinois... À moins que ce ne fût thaï, ou vietnamien, ou cambodgien, on ne sait plus... Chaque fois, ce fût une expérience différente. Les communautés asiatiques ont l'art d'adapter leurs menus aux pays qui les accueillent. Grand reporter et ancien chef de cuisine, Jean-François Mallet a voulu comprendre les ressort de ces métamorphoses. D'un chinatown à l'autre, il s'est glissé dans les coulisses du Nouvel An chinois à Manhattan, dans les arrière-cours de la rue Saint Denis de Montréal, il a assisté à la préparation des canards laqués dans les cuisines de Belleville et du 13ème arrondissement de Paris. Il a réussi à se faire accepter par cette communauté discrète, et à photographier des instants rares. De ce grand voyage... à nos portes, il a rapporté 100 recettes délicieuses et faciles à préparer, qui nous en disent autant sur nous que sur ces goûts réputés... exotiques. Dis-moi ce que tu manges, je te dirai qui tu es...