| Titre : | Cours de logique mathématiques |
| Auteurs : | Collectif, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | 2 Ed. |
| Editeur : | Alger: O.p.u, 1983 |
| Format : | 143 p. / 21.5 cm. |
| Langues: | Français |
| Mots-clés: | Mathématique ; cours ; Logique ; Mathématiques |
| Résumé : |
Ces notes sont tirées d'un cours de logique enseigné dans le cadre de la matrise de mathématiques a l'université claude-Bernard. Nous ne pouvions, dans le temps imparti pour ce cours, donner une vue d'ensemble de la logique mathématiques né quelque théme, importante et susceptible d'etre rapidement développés en profondeur, a partir de deux méthodes complémentaires: 1. La méthode des tableau sémantiques, de beth, qui part de l'idée de vérité. 2. La méthode de déduation naturelle, de gentzen, qui part plutot de l'idée instuitive de preuve. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire |
