富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:49件
論理と集合 : 数学を理解するための基礎 / 辻一夫著
彦根 : サンライズ出版 , 2020.6
図書
論理・確率とマルコフ連鎖 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳
東京 : 丸善出版 , 2015.10. - (初歩からの数学 / Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen [著] ; 栁沼壽訳 ; 3)
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
数理論理学序説 / 前原昭二著
復刊. - 東京 : 共立出版 , 2010.9
数理基礎論講義 : 論理・集合・位相 / 金子晃著
東京 : サイエンス社 , 2010.6. - (ライブラリ数理・情報系の数学講義 ; 1)
論理と集合から始める数学の基礎 / 嘉田勝著
東京 : 日本評論社 , 2008.12
情報科学のための論理分析テクニック / 戸田誠之助著
東京 : 培風館 , 2007.6
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
論理学 / 平尾始著
東京 : ナツメ社 , 2005.12. - (図解雑学 : 絵と文章でわかりやすい!)
心の影 : 意識をめぐる未知の科学を探る / ロジャー・ペンローズ [著] ; 林一訳
1,2. - 東京 : みすず書房 , 2001.12-2002.4
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
情報論理学 / 日高達著
東京 : 昭晃堂 , 1997.10. - (情報系教科書シリーズ ; 第2巻)
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] : 高橋昌一郎訳
東京 : 丸善 , 1996.7
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
ソフトウェア科学のための論理学 / 萩谷昌己 [著]
東京 : 岩波書店 , 1994.1. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)