Nantilus
Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Manuel |
| Langue : | français |
| Titre complet : | Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,... |
| Publié : |
Paris :
Ellipses
, C 2012 |
| Description matérielle : | 1 vol. (209 p.) |
| Collection : | Technosup Informatique les filières technologiques des enseignements supérieurs [dir. par Claude Chèze] Technosup (Paris) |
| Sujets : |
| LEADER | 03157cam a2200601 4500 | ||
|---|---|---|---|
| 001 | PPN159134692 | ||
| 003 | http://www.sudoc.fr/159134692 | ||
| 005 | 20231027055400.0 | ||
| 010 | |a 978-2-7298-7229-8 |b br. |d 24,40 EUR | ||
| 035 | |a (OCoLC)800604472 | ||
| 073 | 1 | |a 9782729872298 | |
| 100 | |a 20120312h20122012k y0frey0103 ba | ||
| 101 | 0 | |a fre |e fre |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a ja 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Logique et démonstration automatique |e introduction à la logique propositionnelle et à la logique du premier ordre |f Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,... | |
| 214 | 0 | |a Paris |c Ellipses | |
| 214 | 4 | |d C 2012 | |
| 215 | |a 1 vol. (209 p.) |c ill., tabl., couv. ill. |d 26 cm | ||
| 225 | 0 | |a Technosup |e les filières technologiques des enseignements supérieurs | |
| 339 | |a La logique classique des circuits combinatoires à deux valeurs de vérité est abordée et des exercices corrigés gradués permettent de renforcer la rigueur de raisonnement. | ||
| 304 | |a Avant-titre : "Informatique théorique" | ||
| 308 | |a Niveau A (IUT, BTS, 1er cycle) | ||
| 320 | |a Bibliogr. p. [205]. Index | ||
| 330 | |a Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués | ||
| 410 | | | |0 069363099 |t Technosup |i Informatique |o les filières technologiques des enseignements supérieurs |f [dir. par Claude Chèze] |c Paris |n Ellipses |d [2001?]- |s Technosup | |
| 410 | | | |0 040505324 |t Technosup (Paris) |x 1275-3955 | |
| 517 | | | |a Informatique théorique |e logique et démonstration automatique |e introduction à la logique propositionnelle et à la logique du premier ordre | |
| 606 | |3 PPN028111877 |a Logique du premier ordre |3 PPN03020934X |x Manuels d'enseignement supérieur |2 rameau | ||
| 606 | |3 PPN027554546 |a Calcul des propositions |3 PPN03020934X |x Manuels d'enseignement supérieur |2 rameau | ||
| 606 | |3 PPN027837785 |a Boole, Algèbre de |3 PPN03020934X |x Manuels d'enseignement supérieur |2 rameau | ||
| 606 | |3 PPN027819213 |a Théorèmes |x Démonstration automatique |3 PPN03020934X |x Manuels d'enseignement supérieur |2 rameau | ||
| 606 | |3 PPN027282171 |a Algorithmes |3 PPN03020934X |x Manuels d'enseignement supérieur |2 rameau | ||
| 676 | |a 005.131 |v 22 |z fre | ||
| 676 | |a 511.3 |v 21 | ||
| 686 | |a F.4 |2 acm | ||
| 700 | 1 | |3 PPN117725161 |a Devismes |b Stéphane |f 1979-.... |4 070 | |
| 701 | 1 | |3 PPN109895355 |a Lafourcade |b Pascal |f 1977-.... |c Informaticien |4 070 | |
| 701 | 1 | |3 PPN159135532 |a Lévy |b Michel |f 19..-.... |c maître de conférences |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20121224 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20200107 |g AFNOR | |
| 979 | |a SCI | ||
| 979 | |a IUTNC | ||
| 930 | |5 441092104:508722438 |b 441092104 |j u | ||
| 930 | |5 441092220:524967466 |b 441092220 |j s | ||
| 991 | |5 441092220:524967466 |a Exemplaire modifié automatiquement. le 23-01-2023 16:06 | ||
| 998 | |a 671604 | ||