Logique pour l'informatique

Logique pour l'informatique

Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs applications en informatique, aboutissant aux méthodes algorithmiques de démonstration automatique. ©Electre 2021

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Jaume Mathieu (Auteur), Journault Matthieu (Auteur), Lesot Marie-Jeanne (Auteur), Manoury Pascal (Auteur), Mounier Isabelle (Auteur)
Autres auteurs : Raffalli Christophe (Préfacier)
Format : Livre
Langue : français
Titre complet : Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.]; [préface, Christophe Raffalli]
Publié : Paris : Ellipses , DL 2020
Description matérielle : 1 vol. (vi-331 p.)
Collection : Références sciences
Sujets :
Logique informatique
Prédicat (logique)
Manuels d'enseignement supérieur
Problèmes et exercices
Documents associés : Autre format: Logique pour l'informatique

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Année Prêt Statut
Rez-de-chaussée, salle 2 005.131 JAU 2020 Empruntable Emprunté
Date de retour 01/07/2024

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Année Prêt Statut
Bibliothèque 681.3 JAU A01 Empruntable Disponible

Bib. IUT de Nantes - Carquefou

Informations d'exemplaires de Bib. IUT de Nantes - Carquefou
‌ Cote Année Prêt Statut
Site Carquefou 005.1 JAU Prêt sans prolongation Disponible