ウェブ 画像 動画 ショッピング 地図 辞書 Twitter E STARTトップへ
「論理学者( 2000年)」の関連サイト

論理学をつくる | 戸田山 和久 |本 | 通販 | Amazon

論理学をつくる (日本語) 単行本(ソフトカバー) – 2000/10/10 ...

https://www.amazon.co.jp/%E8%AB%96%E7%90%86%E5%AD%A6%E3%82%9  - 500k

論理学の基礎と演習 | ジョン バーワイズ, ジョン エチメンディ, Jon ...

... お届けも可能。また論理学の基礎と演習もアマゾン配送商品なら通常配送無料。 ... エチメンディ,ジョン スタンフォード大学副学長。2000年より現職。1990~1993年 スタンフォード大学言語情報センターの所長を務め、現在は同センターの上席研究員 でもある。

https://www.amazon.co.jp/%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%A  - 347k


ウィラード・ヴァン・オーマン・クワイン - Wikipedia

ウィラード・ファン・オーマン・クワイン(Willard van Orman Quine, 1908年6月25日 - 2000年12月25日)は、アメリカ合衆国の哲学者、論理学者であり、20世紀の哲学者の なかで最も影響力のある人物の一人である。分析哲学の伝統の正当な継承者であるが 、 ...

https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%A9%E3  - 149k

ゴットロープ・フレーゲ - Wikipedia

フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ(Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日)は、ドイツの哲学者、論理学者、 ... 革命的な『概念 記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに 続いていた伝統論理学を一掃して論理学の新時代を切り開いた。今日の数学で定着し て ...

https://ja.wikipedia.org/wiki/%E3%82%B4%E3%83%83%E3%83%88%E3  - 130k

記号論理学から計算科学へ。フレーゲ、ラッセル、チューリング【哲学と ...

2019年6月11日 ... フレーゲは、それまで2000年にわたって継承されてきたアリストテレスの論理学を記号 論理学に変えたことになります。文章を恣意的に持ちだして真か偽かを問うものから、「 量子化(クオンタイズ)」そして「変項(および関数 ...

https://valed.press/_ct/17279148  - 99k

岡田 光弘 (Okada Mitsuhiro) - マイポータル - researchmap

2019年12月30日 ... 論理的思考の解明に向けて――論理推論の学際的統合研究 論理学という学問は 紀元前4世紀にアリストテレスにより定式化されて以来現在まで研究が蓄積されてきた、 最も古い学問分野の一つ ... 三色旗 慶應義塾大学通信教育部 2000年 ...

https://researchmap.jp/read0164184  - 73k

機械的な推論のことばっかり考えて何がうれしいのか - 論理学FAQのブログ

2019年9月15日 ... 回答:論理学者としては、まずは、「適切な設定さえあれば自動的に解を導出できる」こと それ自体に驚いていただきたいと思います。論理学というものが生まれて2000年以上、 満足いく自動化はできなかったわけですから。そして、そのような ...

https://takuro-logic.hatenablog.com/entry/2019/09/15/224422  - 73k

慶應義塾大学出版会|人文書|論理学の基礎と演習 序言(CD-rom

ジョン・バーワイズは1980 年代の状況意味論によって良く知られた論理学者であり, 1990 年代にはその発展ともいえるチャンネル理論を提唱した。ジョン・エチメンディは 論理学の哲学の研究者として著名であり,2000 年からはスタンフォード大学の副学長 も ...

https://www.keio-up.co.jp/kup/webonly/humanity/lpl/browse1.h  - 30k

研究者詳細 - 岡田 光弘 - 慶應義塾 - Keio University

論理的思考の解明に向けて――論理推論の学際的統合研究 論理学という学問は 紀元前4世紀にアリストテレスにより定式化されて ... また、論理学の文脈の中で1936年 に現代のコンピュータ理論が誕生しました。 ... 三色旗 慶應義塾大学通信教育部 2000 .

https://k-ris.keio.ac.jp/html/100000108_ja.html  - 2020/04/02 - 30k

論理学をつくる « 名古屋大学出版会

刊行年月日, 2000年 ... 出来あいの論理学を天下り式に解説するのでなく、論理学の 目的をはっきりさせた上で、それを作り上げていくプロセスを読者と共有することによって 、 ... 第2章 論理学の人工言語をつくる 2.1 自然言語から人工言語へ 2.2 人工言語L.

https://www.unp.or.jp/ISBN/ISBN4-8158-0390-0.html  - 39k

検索結果   1~10 件目/約  365,000  件