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

数理論理学

大学数学基礎解説

4月6日

否定論理積NANDですべての2変数論理関数を表してみた

数理論理学,ブール代数,集合

1

0

164

0

初心者マーク

初心者

文献あり

大学数学基礎解説

2025年5月4日

自然数の濃度は唯一つに定まる

数理論理学,集合,自然数

1

0

109

0

$しーた \( ¨̮ ( ¨̮ ( ¨̮ )/$

$しーた \( ¨̮ ( ¨̮ ( ¨̮ )/$

大学数学基礎解説

しーた \( ¨̮ ( ¨̮ ( ¨̮ )/

2024年9月27日

命題論理に入門したい！

数学基礎論,数理論理学,命題論理

1

0

199

0

大学数学基礎解説

2020年12月20日

独立命題とはなにか

数理論理学,独立命題

18

0

2524

1

大学数学基礎解説

2020年11月12日

Craigの絡繰とその相対化

数理論理学,Craigの絡繰,再帰理論

5

0

297

0

文献あり

大学数学基礎解説

2020年11月12日

無矛盾性順序に関する注意

数理論理学,第二不完全性定理,相対的無矛盾性

9

0

367

0

大学数学基礎解説

でーすくん

2020年11月8日

否定論理積(NAND)の完全性 (二元体上の写像)

代数学,数理論理学,ブール代数

4

0

537

0

読み込み中