Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
সংরক্ষণ করুন:
প্রধান লেখক: | David, René, 1948- |
---|---|
অন্যান্য লেখক: | Nour, Karim., Raffalli, Christophe, Maître de conférences. |
বিন্যাস: | Livre |
ভাষা: | Français |
প্রকাশিত: |
Paris :
Dunod,
2001.
|
মালা: | Sciences sup. Mathématiques
|
বিষয়গুলি: | |
Autres localisations: | Voir dans le Sudoc |
সংক্ষিপ্ত: | Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet. |
অনুরূপ উপাদানগুলি
-
Automated theorem Proving : a logical basis
অনুযায়ী: Loweland, Donald.
প্রকাশিত: 1978 -
Cours de logique mathématique.
অনুযায়ী: Fraïssé, Roland, 1920-
প্রকাশিত: 1967 -
Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
অনুযায়ী: Larousserie, David.
প্রকাশিত: 2003 -
Du rêve à la réalité des preuves
অনুযায়ী: Delahaye, Jean-Paul, 1952-...., mathématicien.
প্রকাশিত: 2011 -
Les Ordinateurs mathématiciens !.
অনুযায়ী: Delahaye, Jean-Paul, 1952-...., mathématicien.
প্রকাশিত: 2002