Coq Tips

テクノロジーカテゴリーの変更を依頼記事元:

homepage2.nifty.com

7 usersがブックマークコメント

コメント

1

記事へのコメント1件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

Coq Tips

以下、Parameters A B C P Q R : Prop. を仮定。目次前件 (仮定) が……の場合仮定が False の場合・仮... 以下、Parameters A B C P Q R : Prop. を仮定。目次前件 (仮定) が……の場合仮定が False の場合・仮定に矛盾がある場合仮定が否定の場合 (~A の形) 仮定が含意の場合 (A -> B の形) 仮定が連言の場合 (A /\ B の形) 仮定が選言の場合 (A \/ B の形) 仮定が全称量化子 (forall) の場合仮定が存在量化子 (exists) の場合後件 (ゴール) が……の場合ゴールが True の場合ゴールが False・否定の場合ゴールが含意の場合 (A -> B の形) ゴールが連言の場合 (A /\ B の形) ゴールが選言の場合 (A \/ B の形) ゴールが全称量化子 (forall) の場合ゴールが存在量化子 (exists) の場合ゴールが恒真命題 (トートロジー)

Coq

ブックマークしたユーザー

clouds-across-the-moon2010/09/25
lpm112010/02/19
eagletmt2010/01/01
kabisuke2009/12/30
mzp2009/09/25

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx