「#論理学」の記事一覧 | Mathlog

論理学

大学数学基礎解説

豊穣ミノリ

2023年5月7日

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

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

6

0

429

0

文献あり

大学数学基礎解説

2022年5月20日

自然言語における継続とCPS文法

論理学,計算機科学,継続

2

0

235

0

文献あり

大学数学基礎解説

2022年4月30日

関連性論理に触れてみよう: First Degree Entailment

論理学,非古典論理,関連性論理

1

0

1104

0

文献あり

大学数学基礎解説

2022年3月29日

様相論理の有限モデル性について

論理学,様相論理

1

0

809

0

文献あり

現代数学解説

2022年2月24日

直観主義的論理においても排中律は反証不可能である

3

0

1840

0

大学数学基礎解説

2022年2月23日

命題論理における真偽判定問題の計算可能性について

論理学,計算機科学,計算論

1

0

1321

0

文献あり

大学数学基礎解説

2022年1月14日

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

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

6

0

1279

0

文献あり

大学数学基礎解説

2021年12月24日

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

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

16

0

5389

0

文献あり

読み込み中