京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード：(標準分類: 410.9)
該当件数:205件
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
図書
「P≠NP」問題 : 現代数学の超難問 / 野崎昭弘著
東京 : 講談社 , 2015.9. - (ブルーバックス ; B-1933)
数学のロジックと集合論 / 田中一之, 鈴木登志雄共著
東京 : 培風館 , 2003.12
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5. - (ブルーバックス ; B-2059)
レクチャー離散数学 : グラフの世界への招待 / 木本一史著
東京 : サイエンス社 , 2019.5. - (ライブラリ新数学基礎テキスト ; Q6)
13歳の娘に語るアルキメデスの無限小 / 金重明著
東京 : 岩波書店 , 2014.3
やさしい組合せ数学 / 西岡弘明著
東京 : コロナ社 , 1999.5
数学にときめくふしぎな無限 : インターネットから飛び出した数学課外授業 / e-教室編
東京 : 講談社 , 2005.2. - (ブルーバックス ; B-1468)
集合論とその論理 / ウィラード・ヴァン・オーマン・クワイン [著] ; 大出晁, 藤村龍雄訳
東京 : 岩波書店 , 1968.8
知的エージェントのための集合と論理 / 中島秀之著
東京 : 共立出版 , 2000.6. - (インターネット時代の数学シリーズ / 戸川隼人 [ほか] 編 ; 6)
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
離散数学「数え上げ理論」 : 「おみやげの配り方」から「Nクイーン問題」まで / 野崎昭弘著
東京 : 講談社 , 2008.11. - (ブルーバックス ; B-1619)
ゲームとパズルの計算量 / ロバート・A.ハーン, エリック・D.ドメイン著 ; 上原隆平訳
東京 : 近代科学社 , 2011.8
球面上の代数的組合せ理論 / 坂内英一, 坂内悦子著
東京 : シュプリンガー・フェアラーク東京 , 1999.9. - (シュプリンガー現代数学シリーズ / 伊藤雄二編)
ファジィ最適化の数理 / 古川長太著
東京 : 森北出版 , 1999.9
ファジィとソフトコンピューティングハンドブック / 日本ファジィ学会編集
東京 : 共立出版 , 2000.9
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
: 新装版. - 東京 : 講談社 , 2001.5. - (ブルーバックス ; B-1332)
離散数学入門 : 整数の誕生から「無限」まで / 芳沢光雄著
東京 : 講談社 , 2019.12. - (ブルーバックス ; B-2121)
集合・関係・関数 / S・セルビー, L・スウィート著 ; 矢野健太郎訳
東京 : 日本評論社 , 1966.11
