コンピュータ支援による証明 - 基礎と応用
Fouad Sabry
Translator Kei Imano
Publisher: 10億人の知識があります [Japanese]
Summary
コンピュータ支援による証明とは 数学的証明は、部分的であっても何らかの方法でコンピュータによって生成された場合、コンピュータ支援されているとみなされます。 どのようなメリットがあるか (i) 以下のトピックに関する洞察と検証: 第 1 章: コンピューター支援 証明 第 2 章: 数学的証明 第 3 章: 定理 第 4 章: メタマス 第 5 章: モデルの検査 第 6 章: コンピュータ代数 第 7 章: 形式的検証 第 8 章: 検証された数値 第 9 章: 論理理論者 第 10 章: セブンティーン オア バスト (ii) コンピュータ支援証明に関する一般のよくある質問に答える。 (iii) 多くの分野でコンピュータ支援証明が使用されている実際の例 (iv) コンピュータ支援証明技術を 360 度完全に理解するために、各業界の 266 の新興技術を簡潔に説明する 17 の付録。 誰 この本の対象者は 専門家、学部生および大学院生、愛好家、愛好家、およびあらゆる種類のコンピューター支援証明についての基本的な知識や情報を超えたいと考えている人です。