この商品の詳細
- 出版社
- 遊星社
- 出版社シリーズ
- ISBN
- 9784434106057
- サイズ
- 単行本
- 発売年月日
- 2007年04月01日
この商品の紹介
数理論理学の入門書。数学の論証に用いる述語論理に対象を絞り、その基礎からプログラムの理論までを解説。ゲンツェンの自然演繹の体系や推件計算の知識を基に、述語論理とプログラムによる計算との関係を明らかにする。
述語論理・入門/単行本
1,590
円(税込)
この商品と同年代の数学・物理・化学のおすすめ もっと見る
週間売れ筋ランキング（数学・物理・化学） もっと見る
-
思考の整理学 165円
-
ざんねんないきもの事典 165円
-
続々 ざんねんないきもの事典 220円
-
4位学びを結果に変えるアウトプット大全 470円
-
5位置かれた場所で咲きなさい 165円
-
6位続 ざんねんないきもの事典 165円
-
7位君たちはどう生きるか 220円
-
8位収容所（ラーゲリ）から来た遺書 165円
-
9位眠れないほど面白い『古事記』 165円
-
10位暇と退屈の倫理学 710円
-
11位幸せになる勇気 1,150円
-
12位読むだけですっきりわかる日本史 110円
-
13位覚悟の磨き方 1,370円
-
14位最強の外国語習得法 710円
-
15位メモの魔力 275円
-
16位小さな習慣 550円
-
17位１４歳からの哲学 330円
-
18位なぜ働いていると本が読めなくなるのか 630円
-
19位バッタを倒しにアフリカへ 220円
-
20位日本人の知らない日本語(2)－爆笑！日本語「再発見」コミックエッセイ－ 110円
この商品を見た人におすすめ もっと見る
-
問いかける陽明学 1,590円
-
青山課長は優しくない 630円
-
きみはな－きみと話したい！フランス語 スマート版－ 1,370円
-
上海1944－1945 1,990円
-
東京都過去問＋予想問題集I類B／行政・一般方式＜2023年度採用版＞ 1,150円
-
無法、掟破りと言われた男の一代記－加茂水族館ものがたり－ 990円
-
テイルズオブジアビス公式シナリオブック 2,990円
-
「決定的瞬間」の思考法 2,860円
-
調波占星学入門 4,998円
-
死のロングウォーク バックマン・ブックス＜4＞ 2,990円
-
ちけ文＆ちけ単 治験に役立つ医学英文事例集 1,990円
-
破壊力学 630円
-
桃仙 2,200円
-
新海誠絵コンテ集＜6＞ 5,798円
-
美しい毛筆の書きかた 1,590円
-
ザ・ビートルズ解散の真実 1,590円
-
二度とない人生を生きるために 470円
-
村瀬のゼロからわかる地理B 地誌編 470円
-
モンスターハンターストーリーズ2～破滅の翼～公式ガイドブック 1,150円
-
春画 1,370円
