Logique Pour L'informatique - Isabelle Mounier
- Collection: Références Sciences
- Format: Grand format Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
Prix neuf 32,00 €
-89%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 plus3,50 €
Occasion · Très Bon État
- Livraison : 3,49 €
- Livré entre le 30 avril et le 4 mai
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
-
Prix neuf 32,00 €
-21%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 plus25,06 €
Occasion · Bon État
- Livraison : 3,49 €
- Livré entre le 29 avril et le 2 mai
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
-
32,00 €
Produit Neuf
Ou 8,00 € /mois
-
Livraison : 3,00 €
0,01 € dès 35,00 € chez ce vendeur - Livré entre le 2 et le 7 mai
Libraire professionnel. Livre neuf. Exp¿dition sous 3 ¿ 6 jours. Suivi par mail.
-
Livraison : 3,00 €
-
32,00 €
Produit Neuf
Ou 8,00 € /mois
-
Livraison : 3,00 €
0,01 € dès 35,00 € chez ce vendeur - Livré entre le 2 et le 7 mai
Libraire professionnel. Livre neuf. Expedition sous 2 a 4 semaines. Suivi par mail.
-
Livraison : 3,00 €
-
32,00 €
Produit Neuf
Ou 8,00 € /mois
- Livraison : 5,00 €
- Livré entre le 2 et le 5 mai
Exp¿di¿ en 7 jours ouvr¿s
- 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.
-
Les Bases Du Hacking
4 avis
Neuf dès 23,00 €
Occasion dès 2,70 €
-
A Vos Marques, Prêts ? Codez ! - En Scratch Et En Python - Réalise Tes Propres Jeux Vidéo Et Deviens Un Programmateur De Génie !
3 avis
Neuf dès 14,95 €
Occasion dès 3,49 €
-
H.P. Lovecraft Et Le Jeu Vidéo
Occasion dès 1,90 €
-
Le Grand Livre De Fortnite - Le Guide Ultime Et Non Officiel De Fortnite Battle Royale
3 avis
Occasion dès 3,00 €
-
Scratch Pour Les Kids
5 avis
Occasion dès 1,50 €
-
Le Guide Des Experts Animal Crossing New Horizons - 100 % Non Officiel
1 avis
Occasion dès 3,21 €
-
L'intelligence Artificielle N'existe Pas
25 avis
Neuf dès 17,95 €
Occasion dès 3,49 €
-
L'i.A. Expliquée Aux Humains
2 avis
Neuf dès 13,50 €
Occasion dès 2,90 €
-
Le Web Sémantique - Comment Lier Les Données Et Les Schémas Sur Le Web ?
Occasion dès 2,58 €
-
Comment Réduire L'impact De Nos Pratiques Numériques - Les Clefs Pour Agir
Neuf dès 11,10 €
Occasion dès 3,49 €
-
Mise En Page Et Impression - Notions Élémentaires
8 avis
Neuf dès 21,10 €
Occasion dès 2,10 €
-
Programmez Avec Le Langage C++ - Toute La Puissance Du Langage C++ Expliquée Aux Débutants
6 avis
Occasion dès 1,92 €
-
Informatique : Programmation Et Calcul Scientifique En Python Et Scilab - Classes Préparatoires Scientifiques 1re Et 2e Années
6 avis
Occasion dès 3,50 €
-
Minecraft - Le Guide Survie Officiel
8 avis
Occasion dès 3,71 €
-
Ia Et Fake News - Sommes-Nous Condamnés À La Désinformation ?
Neuf dès 12,00 €
Occasion dès 2,73 €
-
Helldivers 2 : 100 Trucs Pour Être Le Héros De La Super-Terre !
Neuf dès 8,90 €
Occasion dès 1,89 €
-
Ainsi Parlait Chatgpt - Dialogue Avec Un Esprit Artificiel
Neuf dès 21,00 €
Occasion dès 2,90 €
-
Les Non Fungible Tokens En 20 Questions - L?Émergence D'une Nouvelle Technologie
Neuf dès 15,00 €
Occasion dès 3,24 €
-
Tex Et Latex Pour L'apprenti Mathematicien (Par Un Neophyte)
Occasion dès 2,67 €
-
Et Si La Tech Pouvait Sauver Le Monde ? - Ia, Chatgpt, Metavers - Au Service Du Progrès Humain
Neuf dès 21,00 €
Occasion dès 3,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