「量・化」を解説文に含む見出し語の検索結果(61～70/1392件中)
記述計算量（きじゅつけいさんりょう、英: Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要と...
記述計算量（きじゅつけいさんりょう、英: Descriptive complexity）は、有限モデル理論の一種であり、計算複雑性理論と数理論理学の一分野である。複雑性クラスを言語で表現するのに必要と...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「スコーレム標準形」の記事における「スコーレム化」の解説スコーレム化は、一階述語論理での...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 03:08 UTC 版)「依存型」の記事における「ラムダ・キューブ」の解説ヘンク・バレンドレクト (en:Hen...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:46 UTC 版)「普遍代数学」の記事における「代数の多様性」の解説詳細は「バラエティ (普遍代数学)」を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/21 22:25 UTC 版)「ゲーム意味論」の記事における「古典論理」の解説最も単純なゲーム意味論の応用として、命題...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/13 20:23 UTC 版)「正規表現」の記事における「実用的説明」の解説以下ではもっぱらよく使われているライブラリ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/10 14:32 UTC 版)「形式意味論」の記事における「形式意味論の誕生と展開」の解説形式意味論は、アリストテレス...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/27 08:05 UTC 版)「任意」の記事における「数学などにおける「任意」」の解説数学や論理学において「任意の〜」...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/10 14:50 UTC 版)「コンビネータ論理」の記事における「数学におけるコンビネータ論理」の解説コンビネータ論理...