ブクログ >
鹿島亮

鹿島亮のおすすめランキング

この著者の新刊を通知する

プロフィール

東京工業大学准教授博（理）

「2022年『コンピュータサイエンスにおける様相論理』で使われていた紹介文から引用しています。」

鹿島亮のおすすめランキングのアイテム一覧

鹿島亮のおすすめ作品のランキングです。ブクログユーザが本棚登録している件数が多い順で並んでいます。
『数理論理学 (現代基礎数学 15)』や『コンピュータサイエンスにおける様相論理』や『C言語による計算の理論 (Computer Science Library 4)』など鹿島亮の全4作品から、ブクログユーザおすすめの作品がチェックできます。
※同姓同名が含まれる場合があります。

数理論理学 (現代基礎数学 15)

数理論理学 (現代基礎数学 15)

90人

4.33

鹿島亮本 2009年10月25日

Amazon.co.jp

感想・レビュー

一階述語論理を含めた記号論理学が深く書かれている。これ一冊で、大学程度の論理学は学ぶことができる。もっと読む

レビューを読む

コンピュータサイエンスにおける様相論理

コンピュータサイエンスにおける様相論理

40人

鹿島亮本 2022年1月20日

Amazon.co.jp

感想・レビュー

請求記号　007/Ka 76 もっと読む

レビューを読む

C言語による計算の理論 (Computer Science Library 4)

C言語による計算の理論 (Computer Science Library 4)

35人

3.00

鹿島亮本 2008年10月1日

Amazon.co.jp

感想・レビュー

最初の定義とか良いと思った。もっと読む

レビューを読む

数学基礎論講義―不完全性定理とその発展

数学基礎論講義―不完全性定理とその発展

32人

3.50

田中一之本 1997年3月1日

Amazon.co.jp

感想・レビュー

大学のセミナーで、1年かけて読み通した本。不完全性定理、モデル論、組み合わせ論など。もっと読む

レビューを読む

全4アイテム中 1 - 4件を表示

×