「指数関数的増大」を解説文に含む見出し語の検索結果(1～10/15件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:08 UTC 版)「節標準形」の記事における「変換手順」の解説古典的な一階述語論理の論理式を節標準形に変換...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/11 13:49 UTC 版)「指数関数」の記事における「歴史と概観」の解説ある量の変化（増大または減少）率がその量の...
節標準形（英: Clausal normal form、CNF）とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
節標準形（英: Clausal normal form、CNF）とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
数学において、トンプソン群(英: Thompson groups)あるいはトンプソンの群(英: Thomson's groups)、バガボンド群(英: vagabond groups)、カメレオン群(...
数学において、トンプソン群(英: Thompson groups)あるいはトンプソンの群(英: Thomson's groups)、バガボンド群(英: vagabond groups)、カメレオン群(...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
< 前の結果 | 次の結果 >