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 24 et le 27 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 24 et le 28 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 26 et le 31 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.
-
L'histoire De Sonic
7 avis
Occasion dès 24,00 €
-
Je Crée Mon Site Avec Wordpress - Le Guide Complet, De L'hébergement À La Promotion
1 avis
Neuf dès 32,00 €
Occasion dès 18,26 €
-
World Of Warcraft - Chroniques - Tome 1
5 avis
Neuf dès 35,00 €
Occasion dès 20,53 €
-
Le Monde De The Witcher - L'encyclopédie Du Jeu Vidéo
Neuf dès 35,00 €
Occasion dès 30,45 €
-
Les Oubliés De La Playhistoire - Intégrale De La Saison 1 (2dvd)
2 avis
Occasion dès 16,00 €
-
Hacking Et Cybersécurité Pour Les Nuls
Neuf dès 25,95 €
Occasion dès 20,66 €
-
Concevoir Des Applications Avec Des Agents Ia - Créer Et Implémenter Des Systèmes Multiagents
Neuf dès 39,95 €
Occasion dès 37,95 €
-
3ds Max 6 - (1 Cd-Rom)
Occasion dès 29,50 €
-
Introduction Au Langage Ada
Occasion dès 36,96 €
-
Apprenez À Programmer En Python
Neuf dès 33,00 €
Occasion dès 31,00 €
-
Développer Un Site Web En Php, Mysql, Javascript - Jquery, Css3 Et Html5
1 avis
Neuf dès 49,50 €
Occasion dès 35,58 €
-
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 34,52 €
-
Kit De Ressources Techniques Windows 2000 Server 6 Volumes : Planification Et Déploiement - Administration Des Serveurs - Architecture Tcp/Ip - Internet Information Services 5/0....
Occasion dès 25,00 €
-
Comment Créer Votre Podcast ?
Neuf dès 18,00 €
Occasion dès 16,20 €
-
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 €
-
La Petite Boîte À Outils Des Ia Génératives Pour Créer Du Contenu - 35 Outils Clés En Main, 3 Plans D'action
1 avis
Neuf dès 16,90 €
Occasion dès 14,58 €
-
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 €
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