コンピューター用語辞典

日外アソシエーツ株式会社

Skolem function

スコーレム関数

用例
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

Skolem function

スコーレム関数

日英・英日専門用語辞書

日中韓辭典研究所

Skolem function

スコーレム関数

Wiktionary英語版

出典：Wiktionary

Skolem function

出典:『Wiktionary』 (2014/02/03 05:39 UTC 版)

語源

Named after Thoralf Skolem (1887–1963), Norwegian mathematician.

名詞

Skolem function (複数形 Skolem functions)

  1. (logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

等位語

関連する語

Skolem functionのページの著作権