検索結果 182 件
紙図書
国立国会図書館全国の図書館
- 要約等数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が,両分野の...
- 典拠情報(件名/「を見よ」参照)Computational complexity Logic, Symbolic and mathematical 論理代数学 論理計算 数学的論理学 現代論理学 数理論理学
紙図書
国立国会図書館全国の図書館
- 目次・記事目次 1. 数理論理学(Z.A.Kuzicheva)/ 1 数理論理学の前史/ 1 ライプニツの記号論理学/ 3 述語の限定/ 1...
- 内容細目数理論理学・代数学・数論・確率論 三宅/克哉 監訳 三宅克哉 監訳 三...
- その他のタイトル数理論理学・代数学・数論・確率論 Mathematics of the...
紙図書
国立国会図書館全国の図書館
- 目次・記事はじめに 序章 数理論理学の基礎(菊池 誠) 0.1 命題論理 0.2 述語論理と不完...
- 要約等本書は数理論理学の基礎的な知識を持つ読者を対象として,様相論理の構文論と意味...
- 内容細目数理論理学の基礎 / 菊池誠著 様相論理入門 佐野勝彦著 証明可能性論...
紙図書
国立国会図書館全国の図書館
- 要約等大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどのような内容のものかを解説......入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後,以来,長年にわたり多数の読...
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 目次・記事第I部 一般的な予備知識 第1章 数理論理学の起源 集合論/集合に対するブール演算/ベン図/ブール等式/...
- 要約等論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
全国の図書館
- 並列タイトル等(連結)Raymond M. Smullyan lectures on mathematical logic 数理論理学講義 : スマリヤン
- 並列タイトル等Raymond M. Smullyan lectures on mathematical logic 数理論理学講義 : スマリヤン
紙図書
国立国会図書館全国の図書館
- 目次・記事...代数である 第7章 形式手法と数理論理学 7.1 形式手法とは 7.1.1 移行システム,オートマト...
- 要約等高等学校や大学の初学年で数理論理学を学習するが,多くの場合,命題......本書では,そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が,高度な専門...
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 内容細目...人工知能」の未来にまで架橋する数理論理学の決定版。 文献:p345~352
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報(件名/「を見よ」参照)論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...