OPAC

目録検索結果一覧

絞込項目

NII検索	検索条件	和洋区分	図　書	雑　誌
	件名=論理学	全資料	62件	0件

図書一覧

該当件数：62件 ページ： 1 2

ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除	書影	書誌事項
1		不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説. -- 12刷. -- 岩波書店, 2015. -- (岩波文庫).
2		不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著. -- 講談社, 2013. -- (ブルーバックス).
3		ろんりと集合 / 中内伸光著. -- 日本評論社, 2009.
4		数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著. -- 共立出版, 2002.
5		論理と集合から始める数学の基礎 / 嘉田勝著. -- 日本評論社, 2008.
6		例題で学ぶ集合と論理 / 鈴木登志雄著. -- 森北出版, 2016.
7		はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著. -- 森北出版, 2018.
8		論理的思考最高の教科書 : 論証を知り、誤謬に敏感になるための練習 / 福澤一吉著. -- SBクリエイティブ, 2017. -- (サイエンス・アイ新書).
9		論理・集合・数学語 / 石川剛郎著. -- 共立出版, 2015. -- (共立講座数学探検).
10		コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著. -- 青土社, 2015.
11		大人になるためのリベラルアーツ : 思考演習12題 / 石井洋二郎, 藤垣裕子著. -- 東京大学出版会, 2016.
12		論理と集合のはなし : 正しい思考の法則 / 大村平著. -- 改訂版. -- 日科技連出版社, 2014.
13		数学×思考=ざっくりと : いかにして問題をとくか / 竹内薫著. -- 丸善出版, 2014.
14		記号論理学 / 藤川吉美著 ; : 新装新版. -- 大竹出版, 1995.
15		アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界 / 田代博司著. -- 北樹出版, 1995.
16		中国人の論理学 : 諸子百家から毛沢東まで / 加地伸行著. -- 中央公論社, 1977. -- (中公新書).
17		パラドックス : 論理分析への招待 / 中村秀吉著. -- 中央公論社, 1972. -- (中公新書).
18		図解「わたしと仕事、どっちが大事?」はなぜ間違いか / 谷原誠著. -- あさ出版, 2007.
19		論理 / 廣瀬健著. -- 日本評論社, 1994. -- (現代応用数学の基礎).
20		論理学 / 平尾始著. -- ナツメ社, 2005. -- (図解雑学 : 絵と文章でわかりやすい!).
21		工学系の論理数学入門 / 田中和明著. -- カットシステム, 2005.
22		論理の哲学 / 飯田隆編. -- 講談社, 2005. -- (講談社選書メチエ).
23		論理 / 沢田允茂, 大森荘蔵, 市井三郎編 ; 10巻. -- 岩波書店, 1968. -- (岩波講座哲学).
24		思考・論理・分析 : 「正しく考え、正しく分かること」の理論と実践 / 波頭亮著. -- 産業能率大学出版部, 2004.
25		数学のロジックと集合論 / 田中一之, 鈴木登志雄共著. -- 培風館, 2003.
26		論理と代数の基礎 : 初めて学ぶ人のために / 硲文夫著. -- 培風館, 2003.
27		数学と論理 / 難波完爾著. -- 朝倉書店, 2003. -- (講座数学の考え方 / 飯高茂 [ほか] 編集).
28		数学基礎セミナー / 日本大学文理学部数学科編. -- 日本評論社, 2003.
29		パラドックスの不思議 : 論理と集合 / 有澤誠著. -- 朝倉書店, 2002. -- (情報数学の世界 / 有沢誠著).
30		応用論理 / 桔梗宏孝著. -- 共立出版, 1996. -- (情報数学講座).
31		情報科学における論理 / 小野寛晰著. -- 日本評論社, 1994. -- (情報数学セミナー).
32		日常言語の推論 / 坂原茂著. -- 東京大学出版会, 1985. -- (認知科学選書 / 戸田正直 [ほか] 編集).
33		論理学 / ゴットフリート・ヴィルヘルム・ライプニッツ著 ; 澤口昭聿訳. -- 工作舎, 1988. -- (ライプニッツ著作集 / ゴットフリート・ヴィルヘルム・ライプニッツ著).
34		数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳. -- シュプリンガー・フェアラーク東京, 1993. -- (シュプリンガー数学クラシックス).
35		新しい論理序説 / 本橋信義著. -- 朝倉書店, 1997. -- (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編).
36		哲学・論理用語辞典 / 思想の科学研究会編. -- 新版. -- 三一書房, 1995.
37		情報科学のための論理数学 / 細井勉著. -- 日本評論社, 1992. -- (日評数学選書).
38		情報時代の論理 : 新しい論理学への誘い / 本橋信義著. -- 日本評論社, 1992.
39		うそつき : 真理と循環をめぐる論考 / ジョン・バーワイズ, ジョン・エチェメンディ著 ; 金子洋之訳. -- 産業図書, 1992.
40		記号理論の基礎 / Ch. W. モリス著 ; 内田種臣, 小林昭世訳. -- 勁草書房, 1988. -- (双書プロブレーマタ).
41		論理的に読む技術 : 文章の中身を理解する"読解力"強化の必須スキル! / 福澤一吉著. -- ソフトバンククリエイティブ, 2012. -- (サイエンス・アイ新書).
42		哲学の奇妙な書棚 : パズル,パラドックス,なぞなぞ,へんてこ話 / Roy Sorensen著 ; 川辺治之訳. -- 共立出版, 2018.
43		数理論理学 / 林晋著. -- コロナ社, 1989. -- (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編).
44		情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著. -- 近代科学社, 1991.
45		情報論理学 / 日高達著. -- 昭晃堂, 1997. -- (情報系教科書シリーズ).
46		論理と集合 : 数学を理解するための基礎 / 辻一夫著. -- サンライズ出版, 2020.
47		ソフトウェア科学のための論理学 / 萩谷昌己 [著]. -- 岩波書店, 1994. -- (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編).
48		例解・論理学入門 / 弓削隆一, 佐々木昭則著. -- ミネルヴァ書房, 2009.
49		証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著. -- 技術評論社, 2017. -- (知の扉シリーズ).
50		入門!論理学 / 野矢茂樹著. -- 中央公論新社, 2006. -- (中公新書 ; 1862).
ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除	書影	書誌事項