当館が所蔵している資料を検索します。
日本の学術論文を検索します。
他大学が所蔵する図書や雑誌を検索します。
日本の博士論文を検索します。
国立国会図書館(National Diet Library)が所蔵している資料を検索します。
学術機関リポジトリデータベース(Institutional Repositories DataBase)に登録されている論文を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:27件
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
東京 : 日本評論社 , 2021.7
図書
まるさんかく論理学 : 数学的センスをみがく / 野崎昭弘著
東京 : 中央公論新社 , 2021.6. - (中公文庫 ; [の-18-1])
確率的方法とシミュレーション / 伏見正則著
東京 : 岩波書店 , 1994.3. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 10)
計算代数と計算幾何 / 佐々木建昭 [ほか] 著
東京 : 岩波書店 , 1993.9. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 9)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
離散最適化法とアルゴリズム / 茨木俊秀著
東京 : 岩波書店 , 1993.4. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 8)
ファジィ--「あいまい」の科学 / 向殿政男, 本多中二著
東京 : 岩波書店 , 1990.11. - (New science age ; 40)
無限の彼方へ : 無限の文化史 / エリ・マオール著 ; 三村護, 入江晴栄訳
京都 : 現代数学社 , 1989.11
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
真理・証明・計算 : 論理と機械 / 内井惣七著
京都 : ミネルヴァ書房 , 1989.4
ゲーデルの世界 : 完全性定理と不完全性定理 / 広瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
コンピュ-タによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
東京 : 日本コンピュ-タ協会 , 1983.9. - (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27)
基本的算法 / 野下浩平, 高岡忠雄, 町田元[著]
東京 : 岩波書店 , 1983.4. - (岩波講座情報科学 ; 10)
論理と意味 / 長尾真,淵一博[著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
論理数学 / 田村三郎著
京都 : 現代数学社 , 1982.9
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
離散数学 / 高橋磐郎, 藤重悟[著]
東京 : 岩波書店 , 1981.11. - (岩波講座情報科学 ; 17)
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
逆説論理学 / 野崎昭弘著
東京 : 中央公論社 , 1980.11. - (中公新書 ; 593)