KNOWLEDGE WORKER ナレッジワーカー



eBook
丸善のおすすめ度

数理論理学~合理的エージェントへの応用に向けて~(電子版/PDF)

加藤 暢, 高田 司郎, 新出 尚之  著

   
価格 \3,080(税込)         
発行年月 2014年10月
出版社/提供元
コロナ社
言語 日本語
媒体 EBOOK
ファイル形式 PDF
ページ数/巻数 10p,210p
ジャンル 和書/理工学/数学/数学一般・その他
ISBN 9784339224894
商品コード 1030598007
NDC分類 410.96
基本件名 記号論理学
新刊案内掲載月 2014年11月3週
商品URLhttps://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1030598007

著者紹介

加藤 暢(著者):近畿大学准教授。博士(工学)。
高田 司郎(著者):近畿大学准教授。博士(工学)。

内容

数理論理学の諸概念に初めて接する大学2, 3 年生を対象に,命題論理,述語論理,様相論理を,直感的にわかるさまざまな例題を通してできるだけ容易に解説。述語論理については,論理型言語Prologを解説する章を用意した。


【eBookご利用の注意点】この商品をご利用するには、ソフトウェア「CypherGuared PDF」が必要です。eBookご利用案内からダウンロードしてインストールを行い、サンプルファイルで稼動確認された上でご利用ください。●動作環境はこちらでご確認ください。 ●同一ライセンスIDでの利用端末数3台まで ●TEXT/画像コピー不可 ●印刷不可 ●その他ご利用条件については、ご利用規約をご確認ください。
※この商品のご購入は、個人の方が対象となります。図書館・図書室ではご購入いただけません。