「#一階述語論理」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

prolog - カット、カット!

7か月前

14

数学（2022/5/6）:キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備（一階述語論理、直観主義論理、（厳格な）構成主義的数学）

2年前

2

日記（2022/2/6）長い記事を終えたので久々に肩の力を抜いて近況を書く_2（この回は日記というか読書）

2年前

2

日記（2021/8/1）:読書要約をやっていたら今日が終わってしまった。マジかよ（注:論理と集合と数の専門的な話）

3年前

2

『高校数学のロードマップ』B_1（参考編_集合編）1（集合）1（論理学の一部）

4年前

5