20 search resultsShowing 1~20 results

Stocked

【Coq】1+1=2の証明

coqとは いろいろ証明したりできます。 今回は1+1=2を証明しました。 参考文献はCoq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化 これに解説が...

4
2
Comment0

同値関係とトートロジーの違い

あまり詳しくないので命題論理に限って真理値表を使って簡潔にまとめます。 トートロジーとは 論理式で、それを構成する命題(atomic units)の任意の組み合わせに対して、1となる論理式のこと...

1
1
Comment0

20 search resultsShowing 1~20 results

Qiita is a knowledge sharing service for engineers.

  1. You can follow users and tags
  2. You can stock useful information
  3. You can make edit suggestions for articles
Functions that can be used after logging in