「#直観主義論理」の記事一覧 | Mathlog

直観主義論理

大学数学基礎解説

豊穣ミノリ

2023年5月7日

ラムダ計算と Calculus of Constructions の定義解説

論理学,計算機科学,直観主義論理

6

0

540

0

文献あり

大学数学基礎解説

2022年1月14日

哲学的視点からの直観主義論理入門 [後編]

論理学,直観主義論理,証明論的意味論

7

0

1565

0

文献あり

大学数学基礎解説

2021年12月24日

哲学的視点からの直観主義論理入門 [前編]

論理学,直観主義論理,言語哲学

19

0

6445

0

文献あり

読み込み中