Les démonstrations et les algorithmes - Introduction à la...

Main
Mathematics - Logic
Les démonstrations et les algorithmes -...

Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Name: Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité
ISBN: 9782730215695

Gilles Dowek

0 / 0

0 comments

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.

ক্যাটাগোরিগুলো:

Mathematics - Logic

সাল:

2010

প্রকাশক:

Ecole Polytechnique

ভাষা:

french

পৃষ্ঠা:

193

ISBN 10:

2730215697