「Symbolic Logic」を解説文に含む見出し語の検索結果(31~40/342件中)
エドモンド・キャリス・バークレー(Edmund Callis Berkeley、1909年2月22日 - 1988年3月7日)は、アメリカ合衆国の計算機科学者であり、1947年にAssociation...
エドモンド・キャリス・バークレー(Edmund Callis Berkeley、1909年2月22日 - 1988年3月7日)は、アメリカ合衆国の計算機科学者であり、1947年にAssociation...
カントール代数と呼ばれることがある、無限集合 X から積 X×X への全単射をエンコードする代数については「en:Jónsson–Tarski algebra」をご覧ください。数学において、ゲオルク・...
カントール代数と呼ばれることがある、無限集合 X から積 X×X への全単射をエンコードする代数については「en:Jónsson–Tarski algebra」をご覧ください。数学において、ゲオルク・...
キャロル・カープ賞 (Carol Karp Prize) は、記号論理学会(英語: Association for Symbolic Logic)より授与される賞の一つ。5年に一度、数理論理学における...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
Jump to navigationJump to search演繹の推論規則命題計算モーダスポネンスモーダストレンスモーダスポネンストレンス連言導入簡単化選言導入選言除去選言三段論法仮言三段論法構成...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/04 08:48 UTC 版)「ルイス・キャロル」の記事における「その他の主な著書」の解説An Elementary ...