| Titre : | Eléments de logique |
| Auteurs : | Gérald Haury, Auteur ; Richard Lang, Auteur ; Olza Alfred, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Lausanne : SPES, 1973 |
| Collection : | Monographies de la commission romande de mathématiques |
| ISBN/ISSN/EAN : | 978-2-602-00824-0 |
| Format : | 135 p. / ill. / 21 cm |
| Note générale : | Index |
| Langues : | Français |
| Index. décimale : | 681.3 (Appareils et matériel de traitement de données. Informatique) |
| Tags : | Ordinateur Éléments logique Systèmes axiomatiques |
| 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 ... |
Exemplaires (2)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3 HAU | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
| 681.3 HAU | Papier | Bibliothèque Centrale | Informatique | Disponible | Consultation sur place |
