「記号論理学」を解説文に含む見出し語の検索結果(11～20/400件中)
読み方：たるすき［1902〜1983］米国の数学者・論理学者。ポーランド生まれ。のち米国に移住・帰化した。記号論理学における意味論の開拓者で、現代記号論理学の発展に多大な貢献をした。主著「形式言語にお...
読み方：たるすき［1902〜1983］米国の数学者・論理学者。ポーランド生まれ。のち米国に移住・帰化した。記号論理学における意味論の開拓者で、現代記号論理学の発展に多大な貢献をした。主著「形式言語にお...
読み方：たるすき［1902〜1983］米国の数学者・論理学者。ポーランド生まれ。のち米国に移住・帰化した。記号論理学における意味論の開拓者で、現代記号論理学の発展に多大な貢献をした。主著「形式言語にお...
logisticのカナ表記で、一般的には「ロジスティック」と書く。「記号論理学の」あるいは「物流の」といった意味で用いられる表現。（2011年8月19日更新）...
読み方：ぶーる［1815〜1864］英国の数学者。代数学を使って論理的推論を展開するブール代数を完成、記号論理学の基礎を築いた。また、不変式論を確立した。
読み方：ぶーる［1815〜1864］英国の数学者。代数学を使って論理的推論を展開するブール代数を完成、記号論理学の基礎を築いた。また、不変式論を確立した。
読み方：ぶーる［1815〜1864］英国の数学者。代数学を使って論理的推論を展開するブール代数を完成、記号論理学の基礎を築いた。また、不変式論を確立した。
読み方：ぶーる［1815〜1864］英国の数学者。代数学を使って論理的推論を展開するブール代数を完成、記号論理学の基礎を築いた。また、不変式論を確立した。
読み方：ぶーる［1815〜1864］英国の数学者。代数学を使って論理的推論を展開するブール代数を完成、記号論理学の基礎を築いた。また、不変式論を確立した。
読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。