山梨大学の蔵書を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:90件
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
東京 : 森北出版 , 2018.7
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
「論理」を分析する / 八木沢敬著
東京 : 岩波書店 , 2018.1. - (岩波現代全書 ; 111)
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
数理議論学 / 若木利子, 新田克己共著
東京 : 東京電機大学出版局 , 2017.3
集合・論理と位相 / 新井敏康著 ; 基幹講座数学編集委員会編
東京 : 東京図書 , 2016.11. - (基幹講座数学)
例題で学ぶ集合と論理 / 鈴木登志雄著
東京 : 森北出版 , 2016.1
論理・集合・数学語 / 石川剛郎著
東京 : 共立出版 , 2015.12. - (共立講座 数学探検 ; 3)
論理・確率とマルコフ連鎖 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳
東京 : 丸善出版 , 2015.10. - (初歩からの数学 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳 ; 3)
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
東京 : コロナ社 , 2014.10
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
東京 : 講談社 , 2014.9. - (今度こそわかるシリーズ)
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
記号論理学 / 加藤浩, 土屋俊著
東京 : 放送大学教育振興会 , 2014.3. - (放送大学教材 ; 1570064-1-1411)
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
論理・集合と位相空間入門 / 栗山憲著
東京 : 共立出版 , 2012.4
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳
東京 : 培風館 , 2007.1
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
不完全性定理 / ゲーデル著 ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
数学のロジックと集合論 / 田中一之, 鈴木登志雄共著
東京 : 培風館 , 2003.12
フレーゲ入門 : 生涯と哲学の形成 / 野本和幸著
東京 : 勁草書房 , 2003.9. - (双書エニグマ ; 2)
論理と代数の基礎 : 初めて学ぶ人のために / 硲文夫著
東京 : 培風館 , 2003.6
意味論序説 / ルドルフ・カルナップ著 ; 遠藤弘訳
復刊版. - 東京 : 紀伊國屋書店 , 2003.6
数学と論理 / 難波完爾著
東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23)
書簡集 : 付「日記」 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2002.5. - (フレーゲ著作集 / G.フレーゲ著 ; 6)
数学と新しい論理 : 数学的帰納法をめぐって / 本橋信義著
東京 : 遊星社. - 東京 : 星雲社(発売) , 2002.3
心の影 : 意識をめぐる未知の科学を探る / ロジャー・ペンローズ [著] ; 林一訳
1,2. - 東京 : みすず書房 , 2001.12-2002.4
算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編
東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)
数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編
東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
知的エージェントのための集合と論理 / 中島秀之著
東京 : 共立出版 , 2000.6. - (インターネット時代の数学シリーズ / 戸川隼人 [ほか] 編 ; 6)
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編
東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
知識処理論 / 萩野達也著
東京 : 産業図書 , 1995.6. - (知識・情報・メディア/シリーズ)
記号論理入門 / 金子洋之著
東京 : 産業図書 , 1994.10. - (哲学教科書シリーズ)
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4