構造的帰納法

ウィキペディア

構造的帰納法

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/27 05:53 UTC 版)

構造的帰納法（こうぞうてききのうほう、英: structural induction）とは、数学的帰納法を一般化した証明手法の一つ。数理論理学、計算機科学、グラフ理論などの数学分野で使用される。