高校数学の質問スレ（医者・東大卒専用） Part438

高校数学の質問スレ（医者・東大卒専用） Part438 (898ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

747: 02/26(水)21:30 ID:YlXsAeCe(1) AAS
>>742
数学における証明とは、論理的な推論のルールに従って、公理から結論を導くことを指します。
プログラムによる計算は、単なる演算の実行であり、それが数学的に正しいことを保証するものではありません。