「形式主義_(数学)」を解説文に含む見出し語の検索結果(81~90/460件中)
数理論理学における構成規則(こうせいきそく、英: Formation rule)もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
虚構主義(きょこうしゅぎ、英: Fictionalism)とは哲学における見方の一つで、世界の記述として表れる陳述は、そのようなものとして解釈されるべきではなく、代わりに「ふりをする」事例とし...
虚構主義(きょこうしゅぎ、英: Fictionalism)とは哲学における見方の一つで、世界の記述として表れる陳述は、そのようなものとして解釈されるべきではなく、代わりに「ふりをする」事例とし...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/13 03:58 UTC 版)「カルキスのイアンブリコス」の記事における「宇宙論」の解説彼の体系の頂点に、イアンブリコ...
Saunders Mac Laneソーンダース・マックレーンソーンダース・マックレーン(1972)生誕 (1909-08-04) 1909年8月4日 アメリカ合衆国 コネチカット州ノーウィッチ死没20...
Saunders Mac Laneソーンダース・マックレーンソーンダース・マックレーン(1972)生誕 (1909-08-04) 1909年8月4日 アメリカ合衆国 コネチカット州ノーウィッチ死没20...
Saunders Mac Laneソーンダース・マックレーンソーンダース・マックレーン(1972)生誕 (1909-08-04) 1909年8月4日 アメリカ合衆国 コネチカット州ノーウィッチ死没20...
Saunders Mac Laneソーンダース・マックレーンソーンダース・マックレーン(1972)生誕 (1909-08-04) 1909年8月4日 アメリカ合衆国 コネチカット州ノーウィッチ死没20...