Logique pour l'informatique

Isabelle Mounier (Auteur)

voir tout

Descriptif détaillé

media/pim/TITELIVE/48_9782340042612_1_75.jpg

media/pim/TITELIVE/49_9782340042612_4_75.jpg

Etats :

Vendu et expédié par : LiLi, la Liberté des Livres

Occasion : Bon état

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

DISPONIBLE SOUS 6 JOURS

Livraison en magasin dès le 00/00/00

stock en magasin

Retrouvez le produit près de chez vous.

description

descriptif du fournisseur

Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre (syntaxe, sémantique et preuves formelles), avant de guider le lecteur vers quelques-uns de ses aspects plus avancés. Il présente ensuite les méthodes algorithmiques de démonstration automatique ainsi que des applications plus directes des concepts logiques au domaine informatique.

Sa lecture ne réclame aucun prérequis en la matière. L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés.

Logique pour l'informatique

Logique pour l'informatique

Isabelle Mounier

On vous recommande avec votre achat

Logique pour l'informatique

Logique pour l'informatique

32,22€

+

voir mon panier

Découvrez aussi

Livre science et culture scientifique Livre Sciences Humaines Livre

Livre Sciences Humaines

Livre Religions et Spiritualité • Livre Sociologie • Livre Philosophie • Livre Pédagogie • Livre Psychologie • Livre science et culture scientifique • Ecologie • Coups de cœur : Sciences humaines • Livres éthnologie • Livres Anthropologie ...

... Livre Psychanalyse • Esotérisme

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Dicobat visuel, dictionnaire illustré du bâtiment (5e édition) • Atlas Netter d'anatomie humaine • Éléments de physique nucléaire • Le corps n'oublie rien : Le cerveau, l'esprit, le corps dans la guérison du traumatisme ...

... Traité de construction horlogère • Anthropologie des violences faite aux femmes au XXIe siècle • La Terre entre nos mains • Biologie des croyances - comment affranchir la puissance de la conscience, de la matière et des miracles ...

... Anatomie à colorier Netter (3e édition) • Microbiologie de Prescott • Dicobat - dictionnaire général du bâtiment (10e édition) • Technologies des voitures électriques

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.