|
|
|
|
| LEADER |
04192cmm a2200733 i 4500 |
| 001 |
ebook-25552918X |
| 005 |
20230404115041.0 |
| 007 |
cr|uuu---uuuuu |
| 008 |
210521s2020||||fr ||||g|||m ||||||fre d |
| 020 |
|
|
|a 9782340044920
|
| 035 |
|
|
|a (OCoLC)1253674453
|
| 035 |
|
|
|a FRCYB88912700
|
| 035 |
|
|
|a FRCYB07488912700
|
| 035 |
|
|
|a FRCYB08288912700
|
| 035 |
|
|
|a FRCYB14088912700
|
| 035 |
|
|
|a FRCYB17088912700
|
| 035 |
|
|
|a FRCYB19188912700
|
| 035 |
|
|
|a FRCYB20188912700
|
| 035 |
|
|
|a FRCYB24288912700
|
| 035 |
|
|
|a FRCYB26088912700
|
| 035 |
|
|
|a FRCYB26888912700
|
| 035 |
|
|
|a FRCYB27488912700
|
| 035 |
|
|
|a FRCYB29588912700
|
| 035 |
|
|
|a FRCYB55488912700
|
| 035 |
|
|
|a FRCYB55988912700
|
| 035 |
|
|
|a FRCYB56788912700
|
| 035 |
|
|
|a FRCYB57188912700
|
| 035 |
|
|
|a FRCYB63288912700
|
| 035 |
|
|
|a FRCYB84688912700
|
| 035 |
|
|
|a FRCYB87088912700
|
| 035 |
|
|
|a FRCYB87588912700
|
| 035 |
|
|
|a FRCYB87888912700
|
| 040 |
|
|
|a ABES
|b fre
|e AFNOR
|
| 041 |
0 |
|
|a fre
|f fre
|2 639-2
|
| 082 |
0 |
|
|a 510.1
|2 23
|
| 100 |
1 |
|
|0 (IdRef)177111712
|1 http://www.idref.fr/177111712/id
|a Jaume, Mathieu.
|4 aut.
|e Auteur
|
| 245 |
1 |
0 |
|a Logique pour l'informatique
|c Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.] ; [préface, Christophe Raffalli].
|
| 264 |
|
1 |
|a Paris :
|b Ellipses,
|c 2020.
|
| 336 |
|
|
|b txt
|2 rdacontent
|
| 337 |
|
|
|b c
|2 rdamedia
|
| 337 |
|
|
|b b
|2 isbdmedia
|
| 338 |
|
|
|b ceb
|2 RDAfrCarrier
|
| 500 |
|
|
|a Couverture (https://static.cyberlibris.com/books_upload/136pix/9782340044920.jpg).
|
| 500 |
|
|
|a Titre provenant de la page de titre du document numérique.
|
| 500 |
|
|
|a La pagination de l'édition imprimée correspondante est de 344 p.
|
| 506 |
|
|
|a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition
|
| 516 |
|
|
|a Fichier PDF (4 400 ko)
|
| 520 |
|
|
|a Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabilité.Se tournant ensuite vers les rapports de la logique et de l'informatique, il présente les méthodes algorithmiques de démonstration automatique comme la résolution et l'unification ainsi que des applications plus directes des concepts logiques au domaine informatique (problème SAT, bases de données relationnelles, vérification de modèle, etc.)Sa lecture ne demande aucun prérequis en la matière et peut s'adresser à tout étudiant débutant en logique (licence ou master d'informatique, élève ingénieur). L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés.
|
| 538 |
|
|
|a Configuration requise : navigateur internet.
|
| 563 |
|
|
|a L'accès à cette ressource est réservé aux usagers des établissements qui en ont fait l'acquisition
|
| 650 |
|
7 |
|0 (IdRef)027301273
|1 http://www.idref.fr/027301273/id
|a Prédicat (logique).
|2 ram
|
| 650 |
|
7 |
|0 (IdRef)035073144
|1 http://www.idref.fr/035073144/id
|a Logique informatique.
|2 ram
|
| 655 |
|
7 |
|0 (IdRef)027790517
|1 http://www.idref.fr/027790517/id
|a Problèmes et exercices.
|2 ram
|
| 655 |
|
7 |
|0 (IdRef)03020934X
|1 http://www.idref.fr/03020934X/id
|a Manuels d'enseignement supérieur.
|2 ram
|
| 700 |
1 |
|
|0 (IdRef)061629618
|1 http://www.idref.fr/061629618/id
|a Manoury, Pascal.
|4 aut.
|e Auteur
|
| 700 |
1 |
|
|0 (IdRef)085526282
|1 http://www.idref.fr/085526282/id
|a Lesot, Marie-Jeanne
|d (1978-....;
|c enseignante-chercheuse en informatique).
|4 aut.
|e Auteur
|
| 700 |
1 |
|
|0 (IdRef)10996599X
|1 http://www.idref.fr/10996599X/id
|a Mounier, Isabelle.
|4 aut.
|e Auteur
|
| 700 |
1 |
|
|0 (IdRef)249277700
|1 http://www.idref.fr/249277700/id
|a Journault, Matthieu
|d (1991-....).
|4 aut.
|e Auteur
|
| 700 |
1 |
|
|0 (IdRef)066971616
|1 http://www.idref.fr/066971616/id
|a Raffalli, Christophe.
|4 aui.
|e Préface
|
| 856 |
|
|
|q HTML
|u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88912700
|w Données éditeur
|z Accès à l'E-book
|
| 886 |
2 |
|
|2 unimarc
|a 181
|a i#
|b xxxe##
|
| 993 |
|
|
|a E-Book
|
| 994 |
|
|
|a BNUM
|
| 995 |
|
|
|a 25552918X
|