数理論理学 合理的エージェントへの応用に向けて /加藤暢 高田司郎 新出尚之
販売価格
3,080
円 （税込）
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 28
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
dカードでお支払ならポイント3倍
- 商品情報
- レビュー
≪商品情報≫
著者名：加藤暢、高田司郎、新出尚之
出版社名：コロナ社
発行年月：2014年10月
判型：Ａ５
ISBN：9784339024890
≪内容情報≫
数理論理学の諸概念に初めて接する大学２、３年生を対象に、命題論理、述語論理、様相論理を、様々な例題を通してできるだけ容易に解説。述語論理については、論理型言語Ｐｒｏｌｏｇを解説する章を用意した。
著者名：加藤暢、高田司郎、新出尚之
出版社名：コロナ社
発行年月：2014年10月
判型：Ａ５
ISBN：9784339024890
≪内容情報≫
数理論理学の諸概念に初めて接する大学２、３年生を対象に、命題論理、述語論理、様相論理を、様々な例題を通してできるだけ容易に解説。述語論理については、論理型言語Ｐｒｏｌｏｇを解説する章を用意した。