Nantilus
La logique, pas à pas
Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme. ©Electre 2017
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Manuel |
| Langue : | français |
| Titre complet : | La logique, pas à pas / Jacques Duparc |
| Publié : |
Lausanne :
Presses polytechniques et universitaires romandes
, C 2015 |
| Description matérielle : | 1 vol. (570 p.) |
| Sujets : |
| LEADER | 04905cam a2200457 4500 | ||
|---|---|---|---|
| 001 | PPN189678216 | ||
| 003 | http://www.sudoc.fr/189678216 | ||
| 005 | 20240320154400.0 | ||
| 010 | |a 978-2-88915-126-4 |b br. |d 59 EUR | ||
| 035 | |a (OCoLC)930015804 | ||
| 073 | 1 | |a 9782889151264 | |
| 100 | |a 20151120h20152015k y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a CH | ||
| 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 | 1 | |6 z01 |a nga |2 RDAfrCarrier | |
| 200 | 1 | |a La logique, pas à pas |f Jacques Duparc | |
| 214 | 0 | |a Lausanne |c Presses polytechniques et universitaires romandes | |
| 214 | 4 | |d C 2015 | |
| 215 | |a 1 vol. (570 p.) |c ill. en coul., couv. ill. en coul. |d 24 cm | ||
| 339 | |a Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme. ©Electre 2017 | ||
| 320 | |a Bibliogr. p. [553]-559. Bibliogr. dispersée. Notes bilbliogr. Index | ||
| 359 | 2 | |b I Calcul Propositionnel |c 1 Syntaxe |d Le langage |d Les formules |d Les sous-formules |d La linéarisation d une formule |c 2 Sémantique |d Distribution de valeurs de vérité |d Evaluation des formules du Calcul Propositionnel |d Comment utiliser le Calcul Propositionnel ? |d Formules logiquement équivalentes |d Théorie et conséquence logique |d Substitutions de sous-formules équivalentes |d Jeux d évaluation |d Table de vérité |d Tautologies et contradictions |d Formes normales |d Les connecteurs binaires |d Systèmes complets de connecteurs |c 3 Théorie de la démonstration |d Avant-goûts sur la notion de preuve |d Les systèmes axiomatiques |d La Déduction Naturelle |d Les modèles de Kripke du Calcul Propositionnel intuitionniste |d Le Calcul des Séquents |b II Logique Modale |c 4 Syntaxe |d Le langage |d Les formules |d Les sous-formules |d La linéarisation d une formule |d Les substitutions |c 5 Sémantique |d Avant-propos |d Systèmes de transition |d Valuation et évaluation |d Jeux d évaluation |d Modèles et classes, vérité et validité |d Conséquences sémantiques |d Modèles : théories et équivalence |d Bisimulation |c 6 Systèmes logiques |d Logiques de classes |d Axiomatique et systèmes de déduction |d Le système K |d Logique modale normale |d Quelques axiomes usuels |d Quelques systèmes formels et logiques usuelles |d Les théorèmes de complétude |c 7 Logiques aléthique, déontique, épistémiques, temporelles, etc. |d La logique aléthique |d La logique déontique |d Les logiques épistémiques |d Les logiques temporelles |d La logique de Gödel-Löb, la logique de la prouvabilité |c 8 Un soupçon de logique modale quantifiée |d Une syntaxe restreinte |d Sémantique |b III Logique du 1er ordre |c 9 Préambule |d Une première approche |d Au coeur de la logique du 1er ordre |c 10 Syntaxe |d Le langage |d Les termes du langage |d Les formules |d La linéarisation d une formule |d Les sous-formules |d Variables libres et variables liées |d Substitutions dans les formules |c 11 Sémantique |d Les modèles de la logique du 1er ordre |d Homomorphisme, isomorphisme et plongement |d Satisfaction des formules dans une L-structure |d Où l on revoit les isomorphismes |d Formules logiquement équivalentes |d Formules sous formes prénexes |d Conséquence sémantique et théories |d Le théorème de compacité et les entiers non standards |c 12 Traduction de la logique modale dans la logique du 1er ordre |c 13 Théorie de la démonstration |d Les systèmes axiomatiques |d La Déduction Naturelle |d Le Calcul des Séquents |d Le théorème de complétude de la logique du 1er ordre |d Les modèles de Kripke de la logique du 1er ordre |b IV Récursivité, 2d Ordre et Correspondance Preuves-Programmes |c 14 Différents formats d infinis |d Comparer la taille des ensembles |d Le théorème de Löwenheim-Skolem |c 15 Récursivité |d Décidabilité |d Les théorèmes d incomplétude de Gödel |c 16 Logique du 2d ordre et théorie des ensembles |d Syntaxe |d Sémantique |d Une petite idée de la théorie des ensembles |c 17 Correspondance preuves-programmes |d Le h-calcul |d Le h-calcul simplement typé |c 18 Une preuve du théorème de compacité par ultraproduit |d Ultraproduit |d Le théorème de Los | |
| 512 | | | |a La logique, pas à pas |e spécialement conçu pour les buses en maths et les manchots de la logique | |
| 606 | |3 PPN027554546 |a Calcul des propositions |2 rameau | ||
| 606 | |3 PPN027413942 |a Modalité (logique) |2 rameau | ||
| 606 | |3 PPN03145836X |a Théorie de la démonstration |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |3 PPN028867076 |x Ouvrages de vulgarisation |2 rameau | ||
| 700 | 1 | |3 PPN148732089 |a Duparc |b Jacques |f 1962-.... |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20151201 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20210525 |g AFNOR | |
| 979 | |a SCI | ||
| 979 | |a PHILO | ||
| 930 | |5 441092104:582459958 |b 441092104 |j u | ||
| 930 | |5 441092107:796988684 |b 441092107 |j g | ||
| 998 | |a 772204 | ||