エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Robert Goldblatt, Logics of Time and Computation
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Robert Goldblatt, Logics of Time and Computation
2024年4月2日 Robert Goldblatt, Logics of Time and Computation, 2nd Ed. Center for the study of la... 2024年4月2日 Robert Goldblatt, Logics of Time and Computation, 2nd Ed. Center for the study of language and information (CSLI), 1992年 評者:高木 翼 Tokyo Academic Review of Books, vol.62 (2024); https://doi.org/10.52509/tarb0062 はじめに 本書は数理論理学の理論計算機科学への応用についてコンパクトでありながらも最先端の高度な話題まで網羅している、この分野の標準的な教科書である。まず初めに、本書が対象としている分野の概説から始めたい。 数理論理学とは数学で行われる推論自体を新たな数学の分野とみなし探究する分野である。よくある説明としては、数学という学問全体をどんな人によっても、どんな時