GEOTRUST SSL CERTIFICATE
| 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 |
| Catégories : | |
| Mots-clés: | 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 (10)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| SC018900 | MA04978 | Livre | Magasin des Ouvrages | Mathématique | Exclu du prêt |
| SC018901 | MA04979 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018902 | MA04980 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018903 | MA04981 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018904 | MA04982 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018905 | MA04983 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018906 | MA04984 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018907 | MA04985 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018908 | MA04986 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
| SC018909 | MA04987 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
