| Titre : |
Introduction à la logique |
| Type de document : |
texte imprimé |
| Auteurs : |
André Delessert, Auteur |
| Editeur : |
Lausanne : Presses polytechniques et universitaires |
| Année de publication : |
1988 |
| Importance : |
200 p |
| Présentation : |
couv:ill. |
| Format : |
16.2 x 1.4 x 23.9 cm |
| ISBN/ISSN/EAN : |
978-2-88074-153-2 |
| Langues : |
Français (fre) |
| Tags : |
origine de la logique langage methode henkin |
| Résumé : |
ntroduction a la logique
André Delessert
Destiné à un large public, ce livre, .qui né aécessite pas de connaissances àvancéeg én mathématiques, est axé principalément sur la logique du premier ordres L'intentiorr générale, est de proposer des faits de logique MGn
banats, tels que le ro rat er Eee 2 se
ta logique de premier orde ef sés-
CR ASS 7 * ++ UN +
André Delessert est né à Lausanne oùrit a ébteniu sa hcence ès sciences puis son doctorat. Nommé professeur extraordinaire puis ordinaire à ta Faculté des sciences de l'Université de Lausanne, dont il a été le recteur, André Delessert a fait partie, en quahté de secrétaire ou de président, de diverses commissions nationales et internationales traitant de mathématiques et a publié de nombreux ouvrages dont, entre autres, Géométrie plane. Introduction à la géométrie de l'espace, Introduction à la trigonométrie ainsi que de nombreux articles concernant les mathématiques et leur enseignement |
Introduction à la logique [texte imprimé] / André Delessert, Auteur . - Lausanne : Presses polytechniques et universitaires, 1988 . - 200 p : couv:ill. ; 16.2 x 1.4 x 23.9 cm. ISBN : 978-2-88074-153-2 Langues : Français ( fre)
| Tags : |
origine de la logique langage methode henkin |
| Résumé : |
ntroduction a la logique
André Delessert
Destiné à un large public, ce livre, .qui né aécessite pas de connaissances àvancéeg én mathématiques, est axé principalément sur la logique du premier ordres L'intentiorr générale, est de proposer des faits de logique MGn
banats, tels que le ro rat er Eee 2 se
ta logique de premier orde ef sés-
CR ASS 7 * ++ UN +
André Delessert est né à Lausanne oùrit a ébteniu sa hcence ès sciences puis son doctorat. Nommé professeur extraordinaire puis ordinaire à ta Faculté des sciences de l'Université de Lausanne, dont il a été le recteur, André Delessert a fait partie, en quahté de secrétaire ou de président, de diverses commissions nationales et internationales traitant de mathématiques et a publié de nombreux ouvrages dont, entre autres, Géométrie plane. Introduction à la géométrie de l'espace, Introduction à la trigonométrie ainsi que de nombreux articles concernant les mathématiques et leur enseignement |
|  |
Accueil
Faire une suggestion Affiner la recherche
