京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: 410.9)
該当件数:210件
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
図書
「P≠NP」問題 : 現代数学の超難問 / 野崎昭弘著
東京 : 講談社 , 2015.9. - (ブルーバックス ; B-1933)
数学のロジックと集合論 / 田中一之, 鈴木登志雄共著
東京 : 培風館 , 2003.12
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
「無限」に魅入られた天才数学者たち / アミール・D・アクゼル著 ; 青木薫訳
東京 : 早川書房 , 2015.8. - (ハヤカワ文庫 ; NF442 . 「数理を愉しむ」シリーズ)
ポール・エルデス : 離散数学の魅力 : 伝説の講義 / Vašek Chvátal著 ; 小舘崇子 [ほか] 訳
東京 : 近代科学社 , 2023.8
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5. - (ブルーバックス ; B-2059)
レクチャー離散数学 : グラフの世界への招待 / 木本一史著
東京 : サイエンス社 , 2019.5. - (ライブラリ新数学基礎テキスト ; Q6)
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
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