11/23
時点_ポイント最大11倍
計算理論と数理論理学 /田中一之
販売価格
4,620
円 （税込）
送料無料
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 42
+キャンペーンポイント（期間・用途限定） 最大10倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
≪商品情報≫
著者名：田中一之
出版社名：共立出版
発行年月：2022年06月
判型：Ａ５
ISBN：9784320114722
≪内容情報≫
本書は「計算理論」と「数理論理学」を同時に学ぶための、学部上級から大学院初年級レベルの教科書あるいは独習書である。背景の説明も充実しているので、幅広くリファレンスとしても活用できる。
両分野を同時に学ぶといっても、単に両分野の共通項を括り出したり類似性を強調したりするのではなく、それぞれの違いは違いとして認めながら、両分野の稜線に立って壮大な景色を展望している。
時間的な広がりにおいても、1960年代のクリプキの許容可能順序数の理論から、最近のパリティゲームの無記憶決定性の証明まで、あまり一般向けの解説がないような話題も掘り起こして著者独自目線で数理論理学と計算理論の広がりを描いている。
著者名：田中一之
出版社名：共立出版
発行年月：2022年06月
判型：Ａ５
ISBN：9784320114722
≪内容情報≫
本書は「計算理論」と「数理論理学」を同時に学ぶための、学部上級から大学院初年級レベルの教科書あるいは独習書である。背景の説明も充実しているので、幅広くリファレンスとしても活用できる。
両分野を同時に学ぶといっても、単に両分野の共通項を括り出したり類似性を強調したりするのではなく、それぞれの違いは違いとして認めながら、両分野の稜線に立って壮大な景色を展望している。
時間的な広がりにおいても、1960年代のクリプキの許容可能順序数の理論から、最近のパリティゲームの無記憶決定性の証明まで、あまり一般向けの解説がないような話題も掘り起こして著者独自目線で数理論理学と計算理論の広がりを描いている。
