yr 〜
yr

Search results 104

数理論理学

数理論理学
Paper図書
戸次大介 著東京大学出版会2012.3<MA41-J74>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学 (現代基礎数学 ; 15)

数理論理学 (現代基礎数学 ; 15)
Paper図書
鹿島亮 著朝倉書店2009.10<MA41-J25>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.数理論理学の基本結果をわかりやすく正確に説明しながら，その意義や気持ち...
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

計算理論と数理論理学

計算理論と数理論理学
Paper図書
田中一之 著共立出版2022.6<MA41-M44>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が，両分野の...
  • Authority（Subject Heading/altLabel）Computational complexity 論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学 (コンピュータサイエンス教科書シリーズ ; 18)

数理論理学 (コンピュータサイエンス教科書シリーズ ; 18)
Paper図書
古川康一, 向井国昭 共著コロナ社2008.6<MA41-J10>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

現代数理論理学入門 復刊

現代数理論理学入門 復刊
Paper図書
J.N.クロスリー 他著, 田中尚夫 訳共立出版2017.4<MA41-L67>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.大学初年級の数学的思考を経験した人を対象に，現代数理論理学がどのような内容のものかを解説......入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後，以来，長年にわたり多数の読...
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

情報理論のための数理論理学 (数学のかんどころ ; 31)

情報理論のための数理論理学 (数学のかんどころ ; 31)
Paper図書
板井昌典 著共立出版2017.8<MA41-L69>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...代数である 第7章　形式手法と数理論理学 7.1　形式手法とは 7.1.1　移行システム，オートマト...
  • Summary, etc.高等学校や大学の初学年で数理論理学を学習するが，多くの場合，命題......本書では，そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が，高度な専門...
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

スマリヤン数理論理学講義 下巻

スマリヤン数理論理学講義 下巻
Paper図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2018.9<MA41-L89>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

スマリヤン数理論理学講義 上巻

スマリヤン数理論理学講義 上巻
Paper図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2017.9<MA41-L70>
National Diet LibraryOther Libraries in Japan
  • Toc / Article第I部 一般的な予備知識 第1章 数理論理学の起源 集合論／集合に対するブール演算／ベン図／ブール等式／...
  • Summary, etc.論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学 復刊

数理論理学 復刊
Paper図書
松本和夫 著共立出版2001.8<MA41-G72>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.数理論理学の最も基本的な内容を詳述
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
Paper図書
山田俊行 著森北出版2018.7<MA41-L87>
National Diet LibraryOther Libraries in Japan
  • Toc / Article序章　数理論理学とは 第1章　論理式：記号を使って主張を表す 第2章　証明法...
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学の基礎・基本 (理工系数学の基礎・基本 ; 13)

数理論理学の基礎・基本 (理工系数学の基礎・基本 ; 13)
Paper図書
坪井明人 著牧野書店2012.3<MA41-J64>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学序説 復刊

数理論理学序説 復刊
Paper図書
前原昭二 著共立出版2010.9<MA41-J45>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

今度こそわかる論理 : 数理論理学はなぜわかりにくいのか (今度こそわかるシリーズ)

今度こそわかる論理 : 数理論理学はなぜわかりにくいのか (今度こそわかるシリーズ)
PaperDigital図書
本橋信義 著講談社2014.9<MA41-L31>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...：古典主義と直観主義 第7章 数理論理学と論理法則学 参考文献 あとがき 索 引
  • Summary, etc.「数理論理学は難解で、よくわからない」といわれる現状を打ち破る。読めば誰...
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学 : 合理的エージェントへの応用に向けて

数理論理学 : 合理的エージェントへの応用に向けて
Paper図書
加藤暢, 高田司郎, 新出尚之 共著コロナ社2014.10<MA41-L32>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

スマリヤン数理論理学 : 述語論理と完全性定理

スマリヤン数理論理学 : 述語論理と完全性定理
Paper図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 村上祐子 訳丸善出版2014.11<MA41-L37>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

現代数理論理学序説

現代数理論理学序説
Paper図書
古森雄一, 小野寛晰 著日本評論社2010.6<MA41-J40>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学 : 使い方と考え方:超準解析の入口まで

数理論理学 : 使い方と考え方:超準解析の入口まで
Paper図書
江田勝哉 著内田老鶴圃2010.5<MA41-J47>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

19世紀の数学 1

19世紀の数学 1
Paper図書
A.N.Kolmogorov, A.P.Yushkevich [編], 三宅克哉, 小林昭七, 藤田宏, 落合卓四郎 監訳朝倉書店2008.3<MA25-J11>
National Diet LibraryOther Libraries in Japan
  • Toc / Article目次 1. 数理論理学(Z.A.Kuzicheva)/ 1 数理論理学の前史/ 1 ライプニツの記号論理学/ 3 述語の限定/ 1...
  • Contents数理論理学・代数学・数論・確率論 三宅／克哉 監訳 三宅克哉 監訳 三...
  • Additional Title数理論理学・代数学・数論・確率論 Mathematics of the...

数理論理学 (コンピュータ数学シリーズ ; 3)

数理論理学 (コンピュータ数学シリーズ ; 3)
PaperDigital図書
林晋 著コロナ社1989.12<MA41-E32>
National Diet LibraryOther Libraries in Japan
  • Contents参考文献：ｐ１７２〜１７３ 数理論理学 林晋 著
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...

数理論理学入門

数理論理学入門
Paper図書
角田譲 著朝倉書店1996.6<MA41-G16>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...