Logique pour l'informatique
32,00 €
Sur commande en 6-10 jours
EAN :
9782340042612
Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabilité. Se tournant ensuite vers les rapports de la logique et de l'informatique, il présente les méthodes algorithmiques de démonstration automatique comme la résolution et l'unification ainsi que des applications plus directes des concepts logiques au domaine informatique (problème SAT, bases de données relationnelles, vérification de modèle, etc.) Sa lecture ne demande aucun prérequis en la matière et peut s'adresser à tout étudiant débutant en logique (licence ou master d'informatique, élève ingénieur). L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés.
Plus d'informations
| EAN | 9782340042612 |
|---|---|
| Titre | Logique pour l'informatique |
| Auteur | Jaume Mathieu ; Journault Matthieu ; Lesot Marie-j |
| Editeur | ELLIPSES |
| Largeur | 190 |
| Poids | 653 |
| Date de parution | 20201103 |
| Nombre de pages | 331,00 € |
| Disponibilité | Sur commande en 6-10 jours |
Pourquoi choisir Molière ?
Efficacité et rapidité Commandé avant 16h livré demain
Économique et pratique Livraison dès 3,90 €
Facile et sans frais Retrait gratuit en magasin
Du même auteur
-
Eléments de mathématiques discrètes. Cours, exercices résolus, implémentations avec les langages Pyt
Cet ouvrage, destiné aux étudiants en Licence et Master d'informatique ou de mathématiques ainsi qu'aux élèves ingénieurs, présente quelques éléments de mathématiques discrètes (ensembles, relations, fonctions, automates, logique). Chaque notion est illustrée sur de nombreux exemples, exercices corrigés et programmes informatiques écrits avec les langages Python et OCaml (plus de 150 exemples accompagnés de 144 exercices et 250 programmes sont fournis).Sur commande en 6-10 joursCOMMANDER49,00 € -
Qu'est-ce-que l'esprit européen ?
Biographie de l'auteur Directeur de recherche au CNRS, membre du Centre de recherches politiques de Sciences Po (le CEVIPOF), Lucien Jaume enseigne la philosophie politique à Sciences Po Paris. Spécialiste du libéralisme, il est l'auteur de nombreux ouvrages, dont L'Individu effacé ou le Paradoxe du libéralisme français (Fayard, 1997) et Tocqueville : les sources aristocratiques de la liberté (Fayard, 2008 ; prix Guizot de l'Académie française).Sur commande en 2-4 joursCOMMANDER8,20 € -
Les origines philosophiques du libéralisme
Triomphe du marché et de la société civile, règne de l'individualisme et du "droit à la différence", déclin de la loi abstraite et uniforme au profit de droits de plus en plus différenciés: telle est la vision associée aujourd'hui au libéralisme - principalement chez ses adversaires, parfois chez ses défenseurs. Pourtant, les origines philosophiques du libéralisme contredisent ce schéma: les "classiques" ont mis au centre de leur pensée la souveraineté de la Loi, indissociable de sa fécondité pour la liberté humaine. Que nous enseigne alors cette divergence d'interprétation? Est-ce l'expression d'une tension interne à la pensée libérale elle-même? Faudrait-il opposer la loi et les droits, en revenant pour cela au partage entre le courant rationaliste, fondateur du libéralisme politique, et le courant empiriste qui crée, avec David Hume, le libéralisme économique? Telles sont les questions qu'explore le présent ouvrage, en les rapportant à l'idéal commun des libéraux: "le gouvernement de la liberté".Sur commande en 2-4 joursCOMMANDER10,20 € -
Les Déclarations des droits de l'homme. (Du Débat de 1789-1793 au Préambule de 1946)
La Déclaration des droits de l'homme et du citoyen, proclamée en août 1789, passe à juste titre pour un des textes fondamentaux de la pensée politique moderne. Il est cependant peu connu que le célèbre texte ne fut pas isolé : dans la phase girondine, puis montagnarde de la Convention, deux autres Déclarations apparurent (mai et juin 1793), avec d'importantes différences. Les Constitutions de l'an III (1795) et de l'an VIII (1799) furent, à leur tour, précédées de Déclarations. Outre les textes fondamentaux, cette édition vise à faire connaître les plus significatifs des textes préparatoires, dont certains ont eu pour auteur un Condorcet, un Marat... À cet ensemble passionnant qui rassemble les questions les plus fondamentales de la philosophie politique - souveraineté, droits naturels, droits individuels-, on a ajouté la Déclaration de 1848 et la Déclaration universelle de 1946.Sur commande en 2-4 joursCOMMANDER7,00 €
Du même éditeur
-
Le manuel de cours du Tage Mage
« 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
Ré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
« 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
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
-
Architectures PKI et communications sécurisées
Manuel d'apprentissage des principes et algorithmes de sécurisation des sites Web par une architecture à clé publique. Avec des exercices corrigés.EpuiséVOIR PRODUIT39,25 € -
Informatique industrielle et réseaux en 20 fiches. BTS 1re et 2e années, 2e édition
Comment aller à l'essentiel, comprendre les méthodes et les démarches avant de les mettre en application ? Conçue pour faciliter aussi bien l'apprentissage que la révision, la collection "EXPRESS" vous propose une présentation simple et concise de l'Informatique industrielle et réseaux en 20 fiches pédagogiques. Chaque fiche comporte : les idées clés à connaître, la méthode à mettre en oeuvre, des applications sous forme d'exercices corrigés.EpuiséVOIR PRODUIT15,60 € -
Algorithmique et programmation en Java. Cours et exercices corrigés, 5e édition
Cet ouvrage est destiné aux étudiants en informatique (IUT, L2, L3 et Ml) et à ceux qui sont en écoles d'ingénieurs. La connaissance de l'algorithmique et de la programmation est l'une des bases du métier et des compétences d'un informaticien. L'objectif de ce livre est de vous faire comprendre et assimiler des méthodes et des outils qui vous permettront de concevoir des programmes valides et fiables. Les 16 premiers chapitres enseignent la programmation impérative en s'appuyant sur une méthodologie objet et le langage java. Les 11 derniers expliquent en détail les structures de données abstraites classiques (listes, graphes, arbres...) et les algorithmes fondamentaux (recherche, tri...). Les notions de cours dont illustrées par 211 exercices dont la plupart sont corrigés.Sur commande en 2-4 joursCOMMANDER41,65 € -
Travaux pratiques InDesign CC. Créez des documents esthétiques, mettez en page textes et images
Cet ouvrage est un manuel d'apprentissage pratique pour découvrir et maîtriser InDesign, de sa prise en main à la mise en page de documents complexes : découvrez l'interface, les menus et les outils indispensables à travers des supports prints et web ; apprenez les astuces vous permettant d'être efficace sur le logiciel ; créez des documents mêlant textes et images tels qu'un CV, un livre de cuisine ou encore un flyer avec coupon réponse ; appliquez tout ce que vous avez appris en réalisant vous-même des mises en page élaborées et créatives ; maîtrisez le format deux colonnes, l'habillage de texte, les gabarits, les sommaires ou encore la mise en page liquide. En bonus sur www.dunod.com, réservés aux lecteurs de l'ouvrage : les fichiers du livre pour refaire, pas à pas, tous les exercices.EpuiséVOIR PRODUIT22,25 €
