「量・化」を解説文に含む見出し語の検索結果(91~100/1392件中)
Jump to navigationJump to searchこの記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2018年2月)...
Jump to navigationJump to searchこの記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(2018年2月)...
フェニルアセチレンIUPAC名エチニルベンゼン識別情報CAS登録番号536-74-3SMILESC#Cc1ccccc1特性化学式C8H6モル質量102.133 g/mol密度0.93 g/cm3融点–...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「チューリング計算可能性の一般化」の解説Sacks (1990...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 10:10 UTC 版)「初等関数算術」の記事における「フリードマンの壮大な予想」の解説ハービー・フリードマンの...
ゲーム意味論(ゲームいみろん、Game Semantics)とは、ゲーム理論的概念(プレイヤーの勝利戦略の存在など)に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...