情報の論理数学入門 ブール代数から述語論理まで

小倉久和, 高浜徹行【共著】

• 販売会社／発売会社: 近代科学社
• 発売年月日: 1991/04/20
• JAN: 9784764901803

商品レビュー

2021/11/25

かつて研究室時代に読んだ本。
「論理学」を深堀りでき、延長線上にはgoogleなどの言語解析にも繋がる分野。
最後の方のプログラミング言語Prologについては、「さすがに現代では使わないなぁ」と感じるが、それ以外は現在そしてこれからの技術にも結びつき、かつ基本的な事項。
特に述語論理は、「数学を極めていくと、国語になる」とも言える、興味深い分野。

2016/08/26

集合や写像、基本的な群・環・体の演算、ブール代数、論理回路、命題・述語論理学、ロビンソンの導出原理、論理プログラミングの紹介、と IT系に必要な離散数学の基本的な知識が網羅されている。説明もわかりやすく、必ず端的なケースの例示があるので好感が持てる。定義だけではなかなか分かりにくい写像や上界下界などについてもちゃんと図が示されている。刷数がかなりあるのもわかる。
中古でも入手しやすそうなので、とりあえず一冊選んで勉強してみたい向きにはおすすめ。ただし、ちゃんと時間をかけて読むこと。

2010/03/03

集合、代数、論理、辺りがちょうどよくまとまっている。どのくらいがちょうどいいのかは人によるので、万人にお勧めできるわけではない。ちょいちょい説明不足な部分があり、これ一冊では不十分。