2019-12-01から1日間の記事一覧
やっと, できました. 数理論理学入門 数理論理学入門のテキストです. (12/1, 17:00 頃, ケアレスミスを修正しました.) (12/7. 保存拡大に関する, 追加の記述を多少付け足しました.) このテキストでは, 数学の基礎付けとしての等号述語論理を定式化し, 定義に…
やっと, できました. 数理論理学入門 数理論理学入門のテキストです. (12/1, 17:00 頃, ケアレスミスを修正しました.) (12/7. 保存拡大に関する, 追加の記述を多少付け足しました.) このテキストでは, 数学の基礎付けとしての等号述語論理を定式化し, 定義に…