
Informatique théorique. Logique et démonstration automatique, Introduction à la logique propositionn
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.
| Nombre de pages | 214 |
|---|---|
| Date de parution | 28/02/2012 |
| Poids | 423g |
| Largeur | 175mm |
| EAN | 9782729872298 |
|---|---|
| Titre | Informatique théorique. Logique et démonstration automatique, Introduction à la logique propositionn |
| Auteur | Lafourcade Pascal ; Lévy Michel ; Desvismes Stépha |
| Editeur | ELLIPSES |
| Largeur | 175 |
| Poids | 423 |
| Date de parution | 20120228 |
| Nombre de pages | 214,00 € |
| Disponibilité | Impression à la demande |
Pourquoi choisir Molière ?
Du même auteur
-

25 énigmes ludiques pour s'initier à la cryptographie
Lafourcade Pascal ; More MalikaLa 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 ...EpuiséVOIR PRODUIT16,00 € -

Comment s'exercer à apprendre ? 2e édition
Lafourcade Pascal ; Le Brun Isabelle ; Leclercq DiComment 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.Sur commande en 4-6 joursCOMMANDER22,90 € -

15 énigmes ludiques pour s'initier à la programmation Python
Lafourcade Pascal ; More MalikaAvez-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)EpuiséVOIR PRODUIT17,00 € -

15 énigmes ludiques pour se perfectionner en programmation Python
Lafourcade Pascal ; De Julis Guenaëlle ; More MaliQue 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.EpuiséVOIR PRODUIT17,00 €
Du même éditeur
-

Le manuel de cours du Tage Mage
Pinto Joachim ; Sévigné Arnaud« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : Connaître toutes les méthodes, astuces, conseils et questions types du TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 220 fiches de cours : explications du cours + exemples + exercices (toutes les formules / astuces / conseils). - 110 vidéos pédagogiques (accessibles via le livre / smartphone / ordinateur). - 2 tests blancs avec corrigés détaillés étape par étape. - 500 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel d'ENTRAINEMENT du TAGE MAGE : 10 tests blancs. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,50 € -

L'Anglais à Sciences Po. 5e édition
Fichaux FabienRéussir l'épreuve d'anglais aux Concours Sesame, Accès, Team, Ipag, Prism ou encore Pass demande rigueur, méthode et entraînement. Dans cette optique, cet ouvrage prépare de façon graduelle et pragmatique à toutes les épreuves d'anglais des différents concours - à la fois pour l'écrit mais aussi pour l'oral. Son objectif premier est de faire acquérir au lecteur une méthode solide pour lui permettre de travailler efficacement et réussir les concours d'entrée.EpuiséVOIR PRODUIT23,00 € -

Le manuel d'entraînement du Tage Mage
Pinto Joachim ; Sévigné Arnaud« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : S'entraîner intensément au TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 10 tests blancs avec corrigés détaillés étape par étape. - 900 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel de COURS du TAGE MAGE : 220 fiches + 2 tests blancs + 110 vidéos. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,00 € -

Le corps
Guisard Philippe ; Laizé Christelle ; Kalfon Jean-La collection Cultures antiques est une invitation à parcourir le domaine fondamental de l'Antiquité gréco-romaine et des oeuvres que nous ont léguées les Anciens, à la faveur d'une question choisie : c'est autour du thème de culture antique donné à l'étude en hypokhâgne et khâgne qu'elle rassemble une série d'articles réunissant professeurs des universités et des classes préparatoires de différentes spécialités. Elle propose ainsi aux étudiants, qu'ils soient néophytes, initiés ou bien déjà familiarisés avec la culture antique, des analyses récentes et claires appliquées à un large corpus de textes pour une meilleure compréhension et un plus grand plaisir de la connaissance.Impression à la demandeCOMMANDER49,00 €
De la même catégorie
-

Intelligence artificielle. La nouvelle barbarie
David Marie ; Sauviat Cédric ; Crawford MatthewGéolocalisation, réponses automatiquesaux mails, propositions d'achats ciblant les goûts du consommateur... L'intelligenceartificielle est déjà à l'oeuvre dans notre quotidien. Et sa place ne cesse degrandir, de s'affirmer à chaque seconde. " Pour notre bien ", assurent les GAFA et autres géants du numérique. Pourtant, l'intelligence artificiellen'est pas une technologie comme les autres ni un simple progrès technique. Ellecontient une philosophie, une vision de la vie et de l'Homme inquiétante. Promouvant en effet une équivalence entre l'humain et la machine, elle permetd'imaginer une pensée sans sujet qui nie la subjectivité. En imitant l'homme, elle le défie (et parfoisle surpasse) dans des domaines essentiels de la vie en société : lajustice, la médecine ou l'organisation du travail...Sur commande en 2-4 joursCOMMANDER20,50 € -

Intelligence artificielle et environnement : alliance ou nuisance ?. L'IA face aux défis écologiques
Pachot Arnault ; Patissier Céline ; Maestroni MyriL'intelligence artificielle (IA), avec ses quantités effarantes de données à traiter, de terminaux à alimenter, de serveurs à refroidir et de réseaux à déployer, est l'une des sources de pollution les plus importantes à l'heure actuelle. Mais paradoxalement, la plupart des avancées en matière environnementale, qu'il s'agisse d'économiser les ressources, de créer des modes de production plus durables ou de modéliser les changements climatiques, n'auraient pas pu voir le jour sans l'IA. Cet ouvrage explique comment l'IA peut répondre aux enjeux environnementaux actuels et futurs. Il détaille les secteurs qui peuvent dès maintenant en bénéficier (énergie, agriculture, mobilité...) et les freins restant à lever pour les autres, en s'appuyant sur de nombreuses contributions d'acteurs de l'AI for Green présentant des cas d'usage, des exemples concrets et des retours d'expérience, qu'ils soient positifs ou non. Enfin, une analyse des multiples et incontestables impacts négatifs de l'IA conduit à des solutions en faveur d'une IA verte. Les décideurs des entreprises ou des collectivités découvriront dans ce livre tout ce que les solutions d'AI for Green peuvent apporter à l'environnement (et par ricochet à l'économie, à la santé et à l'Humain en général) ainsi que les clés d'une utilisation vertueuse pour qu'à l'avenir, l'IA bénéficie à la planète davantage qu'elle ne la détruit.EpuiséVOIR PRODUIT23,10 € -

Humain ou IA ? Qui décidera le futur ? Défis et opportunités d'un monde où l'IA nous dépasse
Desbiolles Jean-Philippe ; Colombet GrégoireQui oserait aujourd'hui contester que l'intelligence artificielle et ses applications nous sont devenues indispensables ? Pourtant, l'IA cristallise toujours autant de fantasmes et de craintes qu'à son irruption dans notre quotidien il y a maintenant une décennie. Situation manichéenne qui amène à penser perdue d'avance toute tentative de dépasser ce supposé clivage entre humains et IA. L'expérience montre pourtant qu'il vaut souvent mieux concilier IA et humains plutôt que de les opposer. Car si l'humain aura toujours sa part dans les futures prises de décision, il lui faut prendre conscience que dans certains domaines, la machine lui est désormais supérieure. Loin des débats émotionnels qui nous plongent dès le départ dans une situation d'échec, cet ouvrage se penche sur les caractéristiques propres de l'intelligence artificielle et la manière dont celles-ci influencent les décisions humaines. Puis en s'appuyant sur des situations concrètes, il pose les bases, les codes, les prérequis et les limites d'une collaboration Humain-Machine optimale. Enfin, il propose un éclairage des impacts de cette collaboration inédite sur le futur.EpuiséVOIR PRODUIT20,00 € -

Vers le cyber-monde. Humain et numérique en interaction
Bouzeghoub Mokrane ; Daafouz Jamal ; Jutten ChristVers le cyber-monde Humain et numérique en interaction Depuis la révolution industrielle, les dispositifs permettant aux humains de communiquer à distance ou de commander aux machines ont connu des développements considérables. Avec l'avènement de l'informatique, ils ont été radicalement transformés. Les équipements modernes sont désormais commandés via des écrans tactiles, à l'aide de la voix ou même de gestes. Internet, réseaux sociaux, réalité virtuelle, robots et objets connectés, tels sont les constituants du cyber-monde. Les dispositifs d'interaction établissent des passerelles entre le monde réel avec ses objets tangibles et le monde virtuel avec ses représentations abstraites. Le présent ouvrage expose comment les chercheurs répondent aux défis posés par la coexistence de ces deux mondes. Comment simplifier les interactions entre les objets et les humains ? Comment les rendre plus intuitives et plus ergonomiques ? Comment mesurer leur acceptabilité dans la société ? Quelles formes nouvelles pour l'immersion dans le cyber-monde ? Pour quels objectifs et quelles utilités ? Ces nouvelles avancées ne manquent pas de poser des questions éthiques cruciales. La captation de données personnelles, la reconnaissance faciale, l'analyse des émotions, la commande mentale et les prédictions des comportements humains sont de nature à nous troubler et à faire craindre une emprise de la machine sur l'humain. La recherche produit des objets qui, il y a peu de temps encore, relevaient de la science-fiction. Elle doit aussi contribuer à les rendre éthiques dans leur comportement et leur utilisation pour le bénéfice de l'humanité.Sur commande en 2-4 joursCOMMANDER24,00 €
