検索結果 104 件
紙図書
国立国会図書館全国の図書館
- 要約等数理論理学の基本結果をわかりやすく正確に説明しながら，その意義や気持ち...
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 要約等数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が，両分野の...
- 典拠情報（件名/「を見よ」参照）Computational complexity 論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 要約等大学初年級の数学的思考を経験した人を対象に，現代数理論理学がどのような内容のものかを解説......入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後，以来，長年にわたり多数の読...
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 目次・記事...代数である 第7章 形式手法と数理論理学 7.1 形式手法とは 7.1.1 移行システム，オートマト...
- 要約等高等学校や大学の初学年で数理論理学を学習するが，多くの場合，命題......本書では，そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が，高度な専門...
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 目次・記事第I部 一般的な予備知識 第1章 数理論理学の起源 集合論／集合に対するブール演算／ベン図／ブール等式／...
- 要約等論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 要約等数理論理学の最も基本的な内容を詳述
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 目次・記事序章 数理論理学とは 第1章 論理式：記号を使って主張を表す 第2章 証明法...
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事...：古典主義と直観主義 第7章 数理論理学と論理法則学 参考文献 あとがき 索 引
- 要約等「数理論理学は難解で、よくわからない」といわれる現状を打ち破る。読めば誰...
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 目次・記事目次 1. 数理論理学(Z.A.Kuzicheva)/ 1 数理論理学の前史/ 1 ライプニツの記号論理学/ 3 述語の限定/ 1...
- 内容細目数理論理学・代数学・数論・確率論 三宅／克哉 監訳 三宅克哉 監訳 三...
- その他のタイトル数理論理学・代数学・数論・確率論 Mathematics of the...
紙デジタル図書
国立国会図書館全国の図書館
- 内容細目参考文献：ｐ１７２〜１７３ 数理論理学 林晋 著
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...