情報科学における論理 (情報数学セミナー)

著者 : 小野寛晰

• 日本評論社 (1994年1月1日発売)

作品紹介・あらすじ

最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。

感想・レビュー・書評

[鈴華書記さんの感想 · 2022年11月22日]

命題論理・述語論理についてある程度理解している人向けで，特に第3章以降の内容については専門書に挑戦するための本と言える。

[kaizenさんの感想 · 2012年1月14日]

論理の勉強の参考書として読もうとしました。
　ヒルベルトの体系
　ゲンツェンの自然演繹の体系, sequent計算の体系
という古典的な事項についても、まだ体得していません。

何がわかったら、わかったといってもいいかが、わかっていません。