数理論理学(数学基礎論) その13at MATH
数理論理学(数学基礎論) その13 - 暇つぶし2ch488:132人目の素数さん
18/11/07 21:20:16.09 oRO0cRNI.net
>>460
>だから証明図を木構造で捉える事が出来るんなら、グラフ理論の各種定理や議論を援用して証明図の構造や性質について分析ができるんじゃないの?
そんな大したことしてないって


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch