情報科学のための数学 (翻訳) - inzkyk.xyz

本書について 本書『情報科学のための数学』は Eric Lehman, F. Thomson Leighton, Albert R. Meyer 著 Mathematics for Computer Science の翻訳です。原著は Creative Commons Attribution-ShareAlike 3.0 ライセンスで公開されています。 この翻訳は Creative Commons Attribution-ShareAlike 3.0 ライセンスの許諾に基づいて公開されます。 この翻訳は Creative Commons Attribution-ShareAlike 3.0 ライセンスで公開されます。 この翻訳を二次配布・二次利用する場合は、https://inzkyk.xyz/mcs/ に対するリンクを帰属表示として紹介文などに含めてください。 謝辞 原著 Mathema

[ustar]

全てなんとなくわかった気持ちになってるものばかりだけど大変怪しいから読むほうが良さそう

[yarumato]

“第 1 章 証明とは何か？　第 2 章 整列原理　第 3 章 論理式　第 4 章 数学的データ型”

[chaoschk]

目次しか見てないけど、とても良さそう。

[fraction]

どうでもいいが「2+2=4 の厳密な証明には 20,000 ものステップが必要になる」てのは公理系というより証明済みの定理を自然言語で使うことで避けられるって話では？