学んでみよう！記号論理
発売日：2014年8月
- ISBN
- 978-4-535-78760-5
- 著者情報
- 高崎 金久（タカサキ カネヒサ）
１９５６年、石川県生まれ。近畿大学理工学部教授。専門は代数解析学と数理物理学で、特に長年にわたって可積分系を追求しているが、最近は組合せ論的構造にも関心を持っている
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
数理論理学を学ぶ入口として、数学を記号化する意味や記号化された論理を通して、数学の命題及び証明を丁寧に紐解いた１冊。「数学的予備知識」を巻末に付す。
目次
論理の記号化
命題論理の考え方
意味論的諸概念
論理式の標準形
タブロー法
命題論理の演繹体系
命題論理の自然演繹
述語論理の考え方
述語論理の意味論
述語論理の演繹体系
完全性定理
付録 数学的予備知識
商品詳細
- 出版社名
- 日本評論社
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。