t_wの輪郭
RSS
証明
列挙
proof by enumeration
列挙による「証明」
2024/4/4 23:39:00
『情報数学 I 第十二回: 述語論理』
背理法
演繹的証明
列挙による「証明」
集合についての証明
反例による証明
帰納的証明
proof by induction
inductive proof
『情報数学 I 第十二回: 述語論理』
2024/4/4 23:36:00
https://www.sw.it.aoyama.ac.jp/2007/Math1/lecture12.html
あれ