アクセスランキング

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

検索結果

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

詳細検索

復刊現代数理論理学入門

  • 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-01935-5
  • 判型/ページ数:A5 / 208ページ
  • 発行年月:2010年06月
  • 本体価格:3,500円

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

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

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円

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

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

証明論入門―数学基礎論改題― 

  • ISBN:978-4-320-01406-0
  • 判型/ページ数:A5 / 204ページ
  • 発行年月:1988年02月
  • 本体価格:2,800円

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で,従来の論理関係の教科書に見られない内容を扱って初歩から解説。

証明論入門 書影
証明論入門