Logique pour l'informatique
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.
| Nombre de pages | 331 |
|---|---|
| Date de parution | 03/11/2020 |
| Poids | 653g |
| Largeur | 190mm |
| SKU: | 9782340042612 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | Yes (In Stock) |
| Is Salable (direct MSI check): | Yes (In Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1772119784121_121] => Array
(
[id] => 12707000
[name] => 12707000
[availability] => 1
[activation_attribute] => 1
)
)
|
| 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 € |
Pourquoi choisir Molière ?
Du même auteur
-
L'Individu effacé. Ou le paradoxe du libéralisme français
Résumé : On croit généralement que le libéralisme a consacré partout le triomphe de l'individu, le droit de se choisir et de choisir sa forme de société. Cela est vrai pour Mme de Staël et Benjamin Constant chez qui apparaît, contre le " despotisme " de Napoléon, une pensée de l'individu, sujet libre jugeant les institutions. Tel n'est pas le cas cependant en France du courant majoritaire fondé par Guizot, qui tend à effacer l'individu, au profit de l'Etat, des notables et de l'esprit de corps. Cet ouvrage donne la première synthèse, à la fois philosophique et historique, sur le libéralisme français, y compris le catholicisme libéral trop souvent négligé ; les idées de très nombreux auteurs et acteurs, les uns - comme Tocqueville ou Royer-Collard- demeurés célèbres, les autres - comme Cousin ou Sismondi - à redécouvrir, sont constamment confrontées aux enjeux politiques de l'époque. On y trouvera aussi préfigurées nombre de nos controverses actuelles : justice, presse, laïcité, liberté de l'enseignement, corruption, république monarchique, etc. Car la France de Napoléon est toujours là, et la liberté individuelle encore en recherche.ÉPUISÉVOIR PRODUIT40,40 € -
Eléments de mathématiques discrètes. Cours, exercices résolus, implémentations avec les langages Pyt
Résumé : 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).ÉPUISÉVOIR PRODUIT49,00 € -
-
La liberté et la loi. Les origines philosophiques du libéralisme
Les combats politiques des années 80 et 90 n'ont guère permis d'avancer, en France, sur le libéralisme. Une chose est sûre : il n'est pas une doctrine du laisser-faire, abandonnant aux plus forts un marché capable par on ne sait quel pouvoir mystérieux de réguler les rapports sociaux ! Devant ces caricatures et les échecs qu'on rencontrés historiquement en France le libéralisme, Lucien Jaume tente cette fois de revenir aux sources proprement philosophiques de celui-ci. Soustraire l'individu d'abord, la société ensuite au souverain, pour cela substituer la loi aux hommes, voilà ce que commande la raison. Montesquieu, Bayle, Locke, Kant, Hume et d'autres ont tenté, il y a deux ou trois siècles, de définir la relation de l'individu avec la liberté mais également avec la loi.ÉPUISÉVOIR PRODUIT30,29 €
Du même éditeur
-
Harry Potter à l'école de la philosophie. Etude philosophique
Harry Potter n’a pas fini de vous faire rêver... cette fois-ci en vous réconciliant avec la philosophie ! L’oeuvre de Rowling peut être vue comme une philosophie de la mort – de son refus total (Voldemort, les fantômes de Poudlard) à sa lente et progressive acceptation (Harry). Une lecture passionnante !EN STOCKCOMMANDER10,00 € -
Le vocabulaire des philosophes. Tome 1, De L'Antiquité à la Renaissance
Résumé : 15 auteurs et mouvements philosophiques décortiqués à travers leurs grandes notions : Epicure, les Stoïciens, Saint Thomas, Montaigne?ÉPUISÉVOIR PRODUIT12,00 € -
Vocabulaire. Plus de 100 jeux et quiz pour vous tester et découvrir le secret des mots
Vous souhaitez réviser, enrichir votre vocabulaire, découvrir le secret des mots ? Le présent ouvrage est fait pour vous. Conçu de façon progressive, il vous permettra d'affermir vos connaissances tout en vous amusant. Il offre : ? 1000 mots expliqués ? plus de 100 jeux et leurs corrigés ? des quiz de difficulté croissante ? et même... le coin des curieux A vous de jouer !ÉPUISÉVOIR PRODUIT9,50 € -
Vocabulaire illustré Français langue étrangère A1 Niveau débutant. 60 thèmes, 900 mots clés, 125 exe
Résumé : Vous êtes débutant, faux-débutant en français langue étrangère ? Vous souhaitez apprendre ou réviser le vocabulaire de base du français langue étrangère tout en vous amusant, à votre rythme, en fonction de vos besoins ou de vos envies ? Cet ouvrage est fait pour vous ! Composé de très courtes fiches thématiques illustrées, il vous permettra de découvrir ou de réviser le vocabulaire utile au quotidien en quelques minutes par jour grâce aux nombreux exercices et jeux. Au programme : 60 fiches thématiques (dont 7 dédiées exclusivement à la prononciation), 900 mots et expressions à connaître, 125 exercices et jeux corrigés, 109 fichiers audio à télécharger gratuitement sur le site des éditions Ellipses.ÉPUISÉVOIR PRODUIT8,50 €
