धन उगाहना 15 सितंबर, 2024 – 1 अक्टूबर, 2024 धन उगाहने के अभियान के बारे में

Concepts of Proof in Mathematics, Philosophy, and Computer...

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst, Peter Schuster (eds)
यह पुस्तक आपको कितनी अच्छी लगी?
फ़ाइल की गुणवत्ता क्या है?
पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें
डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?
This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields.
श्रेणियाँ:
साल:
2016
प्रकाशन:
De Gruyter
भाषा:
english
पृष्ठ:
374
ISBN 10:
1501510800
ISBN 13:
9781501510809
श्रृंखला:
Ontos Mathematical Logic, Volume 6
फ़ाइल:
PDF, 10.74 MB
IPFS:
CID , CID Blake2b
english, 2016
ऑनलाइन पढ़ें
में रूपांतरण जारी है
में रूपांतरण विफल रहा

सबसे उपयोगी शब्द