Logique Pour L'informatique - Isabelle Mounier
- Collection: Références Sciences
- Format: Grand format Voir le descriptif
Prix neuf 32,00 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus28,45 €
Occasion · Bon État
- Livraison : 3,49 €
- Livré entre le 20 et le 24 août
Le livre peut montrer des signes d'usure dus a une utilisation constante, etre marque, porter des marques d'identification ou presenter plusieurs dommages esthetiques mineurs. vendeur professionnel- envoi soigne en 24/48h
Nos autres offres
-
32,00 €
Occasion · Très Bon État
Ou 8,00 € /mois
- Livraison : 3,49 €
- Livré entre le 20 et le 24 août
très bon état. Optez pour nos livres d'occasion en très bon état, et soutenez l'insertion sociale et l'écologie en leur offrant une seconde vie. 336425-1 - Logique pour l'informatique, Jaume, Mathieu, ELLIPSES, 2020
Voir le détail de l'annonce -
32,00 €
Produit Neuf
Ou 8,00 € /mois
- Livraison : 5,00 €
- Livré entre le 24 et le 28 août
Exp¿di¿ en 7 jours ouvr¿s
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Logique Pour L'informatique de Isabelle Mounier Format Grand format - Livre Informatique
0 avis sur Logique Pour L'informatique de Isabelle Mounier Format Grand format - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
3ds Max 6 - (1 Cd-Rom)
Occasion dès 14,91 €
-
Introduction Au Langage Ada
Occasion dès 36,96 €
-
Apprenez À Programmer En Python
Neuf dès 33,00 €
Occasion dès 31,00 €
-
Le Traitement Du Signal Sous Matlab - Pratique Et Applications
Occasion dès 30,99 €
-
Php 8 - Développez Un Site Web Dynamique Et Interactif
1 avis
Occasion dès 18,00 €
-
Développer Un Site Web En Php, Mysql, Javascript - Jquery, Css3 Et Html5
1 avis
Neuf dès 49,50 €
Occasion dès 34,97 €
-
Instrumentation - Formulaire Et Guide Pratique
Occasion dès 20,00 €
-
Kubernetes - Maîtrisez L'orchestrateur Des Infrastructures Du Futur
Occasion dès 29,45 €
-
React - Développez Le Front End De Vos Applications Web Et Mobiles Avec Javascript (Nouvelle Édition)
1 avis
Occasion dès 26,99 €
-
Aux Origines De Castlevania: Symphony Of The Night - Edition Standard
1 avis
Occasion dès 14,99 €
-
Exercices D'algorithmique - Oraux D'ens
2 avis
Occasion dès 22,00 €
-
Fibre Optique Et Réseaux Très Haut Débit - Réalités Et Perspectives
Neuf dès 39,00 €
-
Sql Par L'exemple - La Pratique Professionnelle Des Bases De Données
1 avis
Neuf dès 26,00 €
-
Systèmes, Architectures, Intégration - Pratique De L'intégration Des Systèmes Et Des Logiciels Avec Sysml
Neuf dès 41,00 €
-
Le Monde De The Witcher - L'encyclopédie Du Jeu Vidéo
8 avis
Occasion dès 28,46 €
-
Apprendre À Programmer Avec Python 3
9 avis
Neuf dès 32,40 €
Occasion dès 20,46 €
-
Prenez Le Virage De L'ia - Le Guide Pour Doper Votre Productivité Et Libérer Votre Potentiel Professionnel
Neuf dès 22,90 €
Occasion dès 18,89 €
-
Blender Pour Les Nuls
3 avis
Occasion dès 14,80 €
-
Electronique - Systèmes Bouclés Linéaires, De Communication Et De Filtrage, 2ème Édition
Occasion dès 35,97 €
-
Architecture Logicielle Propre - Guide Pratique Pour La Conception De Logiciels
3 avis
Neuf dès 38,00 €
Occasion dès 35,00 €
Produits similaires
Présentation Logique Pour L'informatique de Isabelle Mounier Format Grand format
- Livre Informatique
Résumé :
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.
Biographie:
Les auteurs de cet ouvrage sont enseignants-chercheurs en informatique au LIP6 à Sorbonne Université.
©
Détails de conformité du produit
Personne responsable dans l'UE