「数理論理学」を解説文に含む見出し語の検索結果(11～20/868件中)
真実が0と1の間で価値の連続体を仮定することができる数理論理学の式...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「代数的論理学」の解説代数的論理学は形式論理の意味論の研究に...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「下位分野」の解説Handbook of Mathemati...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/07 23:48 UTC 版)「意味論 (論理学)」の記事における「数理論理学における意味論」の解説言語学における統語...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「計算機科学との関係」の解説計算機科学における計算可能性理論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「形式論理体系」の解説数理論理学の中心では形式論理体系を用い...
読み方：きごうろんりがく命題・概念・推論などを、その要素と関係に還元して記号で表記し、論理的展開を数学的演算の形で明らかにする論理学の一分野。哲学・数学などに応用される。数学的論理学。数理論理学。→論...
読み方：きごうろんりがく命題・概念・推論などを、その要素と関係に還元して記号で表記し、論理的展開を数学的演算の形で明らかにする論理学の一分野。哲学・数学などに応用される。数学的論理学。数理論理学。→論...
読み方：きごうろんりがく命題・概念・推論などを、その要素と関係に還元して記号で表記し、論理的展開を数学的演算の形で明らかにする論理学の一分野。哲学・数学などに応用される。数学的論理学。数理論理学。→論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/07 21:50 UTC 版)「デイナ・スコット」の記事における「オックスフォード大学 1972–1981」の解説19...