富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:29件
総合的研究論理学で学ぶ数学 : 思考ツールとしてのロジック / 長岡亮介著
[東京] : 旺文社 , [2017.5]
図書
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
数理論理学序説 / 前原昭二著
復刊. - 東京 : 共立出版 , 2010.9
情報科学のための論理分析テクニック / 戸田誠之助著
東京 : 培風館 , 2007.6
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
DNAコンピューティング : 新しい計算パラダイム / G. パウン, G. ローゼンバーグ, A. サローマ著 : 横森貴, 榊原康文, 小林聡訳
東京 : シュプリンガー・フェアラーク東京 , 1999.12
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
情報論理学 / 日高達著
東京 : 昭晃堂 , 1997.10. - (情報系教科書シリーズ ; 第2巻)
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] : 高橋昌一郎訳
東京 : 丸善 , 1996.7
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
ファジィモデリング / 中森義輝著
東京 : オーム社 , 1994.2
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ / 赤間世紀著
東京 : 啓学出版 , 1992.12
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)