「Symbolic Logic」を解説文に含む見出し語の検索結果(1~10/342件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「学術団体」の解説再帰理論を扱う国際的学術団体として記号論理学...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/22 08:38 UTC 版)「ペトル・ヴォピェンカ」の記事における「参照文献」の解説Vopěnka, P. (200...
フォトニック集積回路(フォトニックしゅうせきかいろ、Photonic Integrated Circuit、PIC)は、多様なフォトニック機能を統合したデバイスであり、集積回路に近いものである。この2...
フォトニック集積回路(フォトニックしゅうせきかいろ、Photonic Integrated Circuit、PIC)は、多様なフォトニック機能を統合したデバイスであり、集積回路に近いものである。この2...
ナビゲーションに移動検索に移動 レオン・ヘンキンレオン・ヘンキン(Leon Henkin、1921年4月19日 – 2006年11月1日)はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレ...
ナビゲーションに移動検索に移動 レオン・ヘンキンレオン・ヘンキン(Leon Henkin、1921年4月19日 – 2006年11月1日)はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレ...
読み方:きごうろんりがく【英】:symbolic logic伝統的論理学においては言語表現による三段論法などを使って推論を行っていたが, さらなる厳密性や形式性を実現すべく, 数学的表現が開発され, ...
読み方:きごうろんりがく【英】:symbolic logic伝統的論理学においては言語表現による三段論法などを使って推論を行っていたが, さらなる厳密性や形式性を実現すべく, 数学的表現が開発され, ...
読み方:きごうろんりがく【英】:symbolic logic伝統的論理学においては言語表現による三段論法などを使って推論を行っていたが, さらなる厳密性や形式性を実現すべく, 数学的表現が開発され, ...
Graham Priest生誕1948年時代20世紀の哲学者、21世紀の哲学者地域西洋哲学学派分析哲学研究分野論理学、形而上学主な概念矛盾許容論理、真矛盾主義、マイノング主義テンプレートを表示グレアム...
< 前の結果 | 次の結果 >