CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:28件
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
図書
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
東京 : 日本評論社 , 2021.7
「集合と位相」をなぜ学ぶのか : 数学の基礎として根づくまでの歴史 / 藤田博司著
東京 : 技術評論社 , 2018.3
ファジィ理論入門 : 社会科学の数理 / 中島信之, 竹田英二, 石井博昭共著
東京 : 裳華房 , 1994.9
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 1994.3
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
集合への30講 / 志賀浩二著
東京 : 朝倉書店 , 1988.5. - (数学30講シリーズ ; 3)
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
東京 : 丸善 , 1987.12
現代組合せ論 / Peter Frankl, 秋山仁著
東京 : 共立出版 , 1987.5
集合・位相・距離 / 梅垣壽春, 大矢雅則, 垣原祐一郎著
東京 : 共立出版 , 1987.4
オートマトンと計算可能性 / 有川節夫, 宮野悟著
東京 : 培風館 , 1986.9. - (情報処理シリーズ ; 9)
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
東京 : 共立出版 , 1985.6
基本的算法 / 野下浩平, 高岡忠雄, 町田元 [著]
東京 : 岩波書店 , 1983.4. - (岩波講座情報科学 ; 10)
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
離散数学 / 高橋磐郎, 藤重悟 [著]
東京 : 岩波書店 , 1981.11. - (岩波講座情報科学 ; 17)
パラドックスの世界 : 星間・逆説の旅 / 田村三郎著
東京 : 講談社 , 1981.7. - (ブルーバックス ; B-467)