close
1.

図書

図書
L.ヴィトゲンシュタイン [著] ; 藤本隆志, 坂井秀寿訳
出版情報: 東京 : 法政大学出版局, 1968.7  ii, 344p ; 20cm
シリーズ名: 叢書・ウニベルシタス ; 6
所蔵情報: loading…
目次情報:
ヴィトゲンシュタイン小伝 / 坂井秀寿著
論理哲学論考(一九二一年) / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
ヴィトゲンシュタイン小伝 / 坂井秀寿著
論理哲学論考(一九二一年) / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
2.

図書

図書
G.スペンサー=ブラウン著 ; 大澤真幸, 宮台真司訳
出版情報: 東京 : 朝日出版社, 1987.4  xxiv, 171p ; 22cm
所蔵情報: loading…
3.

図書

図書
ヒルベルト, アッケルマン共著 ; 伊藤誠訳
出版情報: 東京 ; 大阪 : 大阪教育図書, 1954.5  9, 207p ; 22cm
所蔵情報: loading…
4.

図書

図書
G.ポリア著 ; 柴垣和三雄訳
出版情報: 東京 : 丸善, 1959.1  22, 310p ; 22cm
シリーズ名: 数学における発見はいかになされるか / ポリア [著] ; 1
所蔵情報: loading…
5.

図書

図書
竹内外史著
出版情報: 東京 : 培風館, 1973.4  iv, 118p ; 22cm
シリーズ名: 数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 7
所蔵情報: loading…
6.

図書

図書
米谷達也, 数理哲人著
出版情報: 京都 : 現代数学社, 2018.1  219p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : ロジックの基礎
第2章 : ことばの中の論理
第3章 : 三段論法の特訓
第4章 : 法科大学院適性試験での実践例
第5章 : 数学における含意命題
第6章 : 整数問題に挑戦
第1章 : ロジックの基礎
第2章 : ことばの中の論理
第3章 : 三段論法の特訓
概要: 数学的思考を必要とする方々へ。物事を筋道立てて考えられるように頭脳を鍛え、賢明な思考を働かすことが出来れば、新しい世界が開けます。
7.

図書

図書
板井昌典著
出版情報: 東京 : 共立出版, 2017.8  xi, 200p ; 21cm
シリーズ名: 数学のかんどころ ; 31
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 命題論理
第2章 : 述語論理
第3章 : 計算可能性とチューリング機械
第4章 : 命題論理の充足可能性問題
第5章 : 述語論理の決定不能性
第6章 : ブール代数
第7章 : 形式手法と数理論理学
第1章 : 命題論理
第2章 : 述語論理
第3章 : 計算可能性とチューリング機械
8.

図書

図書
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2018.9  v, 312p ; 22cm
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻
所蔵情報: loading…
目次情報: 続きを見る
第1部 命題論理と一階述語論理の進んだ話題 : 命題論理の進んだ話題
一階述語論理の進んだ話題
第2部 再帰的関数論とメタ数学 : 再帰的関数論、決定不能性、不完全性
初等形式体系と再帰的枚挙可能性
再帰的関数論
二重化による一般化
メタ数学とのつながり
第3部 コンビネータ論理の構成要素 : コンビネータ論理事始め
さまざまなコンビネータ
賢者、預言者、それらの二重化
完全体系と部分体系
コンビネータ、再帰的関数論、決定不能性
第1部 命題論理と一階述語論理の進んだ話題 : 命題論理の進んだ話題
一階述語論理の進んだ話題
第2部 再帰的関数論とメタ数学 : 再帰的関数論、決定不能性、不完全性
概要: スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・M・スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のジョークも交えた独特の筆致で読者 を数理論理学の深い理解へと誘います。 続きを見る
9.

図書

図書
小島寛之著
出版情報: 東京 : 技術評論社, 2017.2  351p ; 19cm
シリーズ名: 知の扉シリーズ
所蔵情報: loading…
目次情報: 続きを見る
第1部 : 論理式に慣れよう
第2部 : 証明するとは何をすることか
第3部 : 自然数を舞台に公理系を学ぶ
第4部 : ゲーデルの定理の予告編で終わる
第1部 : 論理式に慣れよう
第2部 : 証明するとは何をすることか
第3部 : 自然数を舞台に公理系を学ぶ
概要: 論理式が難しく思えるのは単に慣れていないからだった!たった6個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
10.

図書

図書
J.N.クロスリー [ほか] 著 ; 田中尚夫訳
出版情報: 東京 : 共立出版, 1977.11  vi, 185p ; 19cm
シリーズ名: 共立全書 ; 553
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼