アクセスランキング

01位
Rプログラミング本格入門―達人データサイエンティストへの道― 
02位
統計的自然言語処理の基礎
03位
カメムシの母が子に伝える共生細菌―必須相利共生の多様性と進化― 
04位
速習 強化学習―基礎理論とアルゴリズム― 
05位
グラフ理論とフレームワークの幾何
  • ニュースメール
  • アフターサービス
  • 教科書献本のご案内
  • facebook
  • 構造計画研究所

検索結果

検索条件 【分類:数学 > 論理】 に該当した商品は【21件】です。

詳細検索

情報理論のための数理論理学

  • ISBN:978-4-320-11072-4
  • 判型/ページ数:A5 / 214ページ
  • 発行年月:2017年08月
  • 本体価格:1,900円

 高等学校や大学の初学年で数理論理学を学習するが,多くの場合,命題論理・述語論理の初等的な学習までに留められてしまい,この分野にどういった応用例があるかを学べる機会は限られている。 ただ,命題論理・・・・

情報理論のための数理論理学 書影
情報理論のための数理論理学

復刊現代数理論理学入門

  • ISBN:978-4-320-11318-3
  • 判型/ページ数:A5 / 200ページ
  • 発行年月:2017年04月
  • 本体価格:4,200円

大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどのような内容のものかを解説した入門書。『共立全書533.現代数理論理学入門』として1977年初版発行後,以来,長年にわたり多数の読者にご愛・・・

復刊現代数理論理学入門 書影
復刊現代数理論理学入門

数学における証明と真理―様相論理と数学基礎論― 

  • ISBN:978-4-320-11148-6
  • 判型/ページ数:A5 / 304ページ
  • 発行年月:2016年03月
  • 本体価格:4,200円

 本書は数理論理学の基礎的な知識を持つ読者を対象として,様相論理の構文論と意味論,ならびに,数学基礎論の専門家以外にも名前はよく知られているゲーデルの不完全性定理,コーエンの強制法,タルスキの真理論と・・・

数学における証明と真理 書影
数学における証明と真理

不完全性定理

  • ISBN:978-4-320-11096-0
  • 判型/ページ数:A5 / 366ページ
  • 発行年月:2014年10月
  • 本体価格:4,500円

 不完全性定理をとりまく数学基礎論の世界  本書は,専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ,第一および第二不完全性定理,Rosser の定理,Hilbert のプログラム,G&#・・・

不完全性定理 書影
不完全性定理

復刊数理論理学序説

  • ISBN:978-4-320-01943-0
  • 判型/ページ数:A5 / 232ページ
  • 発行年月:2010年09月
  • 本体価格:3,900円

論理計算の形式的な実際面とともに,記号論理学の基本的な考え方や基礎概念をわかりやすく説明。『共立全書 160.数理論理学序説』として1966年初版発行後,以来,長年にわたり多数の読者にご愛読いただいて・・・

復刊数理論理学序説 書影
復刊数理論理学序説

復刊証明論入門

  • ISBN:978-4-320-01935-5
  • 判型/ページ数:A5 / 208ページ
  • 発行年月:2010年06月
  • 本体価格:3,500円

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で,従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門(数学基礎論 改題)』として1988年に改題発行後,以来・・・

復刊証明論入門 書影
復刊証明論入門

数学の基礎体力をつけるためのろんりの練習帳

  • ISBN:978-4-320-01700-9
  • 判型/ページ数:A5 / 240ページ
  • 発行年月:2002年02月
  • 本体価格:2,300円

(「まえがき」より抜粋)  最近、論理的に筋道をたてて説明できる大学生が少なくなってきています。近年の一般的風潮といえばそれまでですが、理系の学生に関しては、「論理的に考えてそれを説明できる能力」は・・・

数学の基礎体力をつけるためのろんりの練習帳 書影
数学の基礎体力をつけるためのろんりの練習帳

復刊数理論理学

  • ISBN:978-4-320-01682-8
  • 判型/ページ数:A5 / 206ページ
  • 発行年月:2001年08月
  • 本体価格:3,700円

 論理学は言うまでもなく、真な命題から別の真な命題を導く推論法則を一般的に研究する学問であり、数理論理学は数学的な方法を用いて研究される論理学と考えることができる。数理論理学は数学における証明の構造を・・・

復刊数理論理学 書影
復刊数理論理学

Q&A数学基礎論入門

  • ISBN:978-4-320-01495-4
  • 判型/ページ数:A5 / 190ページ
  • 発行年月:1995年09月
  • 本体価格:2,900円

文科系の学生でも容易に理解できるようQ&A形式でテーマを展開・解説した数学基礎論の入門書。固いイメージの数学書を親しみやすいように工夫。

Q&A数学基礎論入門 書影
Q&A数学基礎論入門

帰納的関数

  • ISBN:978-4-320-01120-5
  • 判型/ページ数:A5 / 224ページ
  • 発行年月:1989年02月
  • 本体価格:3,600円

理工系の数学専攻の学生,計算機・情報処理の院生を対象にした帰納的関数の理論への本格的入門書。

帰納的関数 書影
帰納的関数