| Titre : |
Eléments de logique |
| Type de document : |
texte imprimé |
| Auteurs : |
Gérald Haury, Auteur ; Richard Lang, Auteur ; Olza Alfred, Auteur |
| Editeur : |
Lausanne : SPES |
| Année de publication : |
1973 |
| Collection : |
Monographies de la commission romande de mathématiques |
| Importance : |
135 p. |
| Présentation : |
ill. |
| Format : |
21 cm |
| ISBN/ISSN/EAN : |
978-2-602-00824-0 |
| Note générale : |
Index |
| Langues : |
Français (fre) |
| Mots-clés : |
Ordinateur
Éléments logique
Systèmes axiomatiques |
| Index. décimale : |
681.3 Appareils et matériel de traitement de données. Informatique |
| Note de contenu : |
Sommaire:
1. Propositions énonciative
2. Propositions évaluables
3. Règle du tiers exclu et règle de non-contradiction
4. Composition des propositions. Première partie
5. Composition des propositions. Deuxième partie
6. Propositions négatives
7. Remarques récapitulatives sur les propositions composées
8. Emploi des parenthèses
9. Tautologies et contradictions
... |
Eléments de logique [texte imprimé] / Gérald Haury, Auteur ; Richard Lang, Auteur ; Olza Alfred, Auteur . - Lausanne : SPES, 1973 . - 135 p. : ill. ; 21 cm. - ( Monographies de la commission romande de mathématiques) . ISBN : 978-2-602-00824-0 Index Langues : Français ( fre)
| Mots-clés : |
Ordinateur
Éléments logique
Systèmes axiomatiques |
| Index. décimale : |
681.3 Appareils et matériel de traitement de données. Informatique |
| Note de contenu : |
Sommaire:
1. Propositions énonciative
2. Propositions évaluables
3. Règle du tiers exclu et règle de non-contradiction
4. Composition des propositions. Première partie
5. Composition des propositions. Deuxième partie
6. Propositions négatives
7. Remarques récapitulatives sur les propositions composées
8. Emploi des parenthèses
9. Tautologies et contradictions
... |
|  |
Eléments de logique (1973)
