|
みてみん |
| 登録 タグ |
*数理論理学
→編集を行うにはログインしてください |
|
投稿日時 2019-10-10 13:42:41 投稿者 
ポストキュビスム このユーザのマイページへ お気に入りユーザ登録 |
投稿者コメント | |
|
最小論理・直観主義論理・古典論理を縦軸に、 ヒルベルト流証明論・自然演繹・ゲンツェン流シークエント計算を横軸にしました。 主な具体例です。 |
||
|
最大化 | アクセス解析 | ユーザ情報  |
▽この画像のトラックバックURL▽(トラックバックについて) |
|