|
ゲスト さん （ログイン） |
|
|
ゲスト さん （ログイン） |
|
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料！新刊予約・通販も。本（書籍）、雑誌、漫画（コミック）など在庫も充実
本好きのためのオンライン書店
Honya Club.comは日本出版販売株式会社が運営している
インターネット書店です。ご利用ガイドはこちら
 |
 |
価格：1,781円（本体1,619円＋税）
【2002年07月発売】
価格：461円（本体419円＋税）
【2008年10月発売】
価格：2,750円（本体2,500円＋税）
【2015年02月発売】
のマークが目印です。
HonyaClub会員規約個人情報の取扱いに関する規程
[BOOKデータベースより]
哲学、数学、情報科学、認知科学で必須のツールである「証明」。問題をたくさん解いて、丁寧な解答・解説で理解を深め、一冊でしっかり身につける。
第１章 論理学の問題
第２章 日本語文の記号化と形式言語
第３章 命題論理の意味論
第４章 命題論理の証明論
第５章 述語論理の形式言語
第６章 述語論理の意味論
第７章 述語論理の証明論
解答と解説