日本語
英語
イタリア語
フランス語
ドイツ語
中国語
韓国語
ロシア語
|
|
【電子書籍なら、スマホ・パソコンの無料アプリで今すぐ読める!】
<p>文字数:20,747</p> <p>最新の記号論理の入門書です。 </p> <p>記号論理入門【命題論理】前編<br /> 記号論理入門【命題論理】後編<br /> 記号論理入門【述語論理】前編</p> <p>の続きとして、述語論理の公理、ゲンツェンの自然演繹の古典体系(いわゆるNK)最後の4つの公理、∀-Elim(全称例化)、∃-Intro(存在汎化)、∀-Intro(全称汎化)、∃-Elim(存在例化)について学びます。 学習に必要な論理式の概念や関係述語についても説明されています。 </p> <p>【2024/4/3】若干の誤字脱字を修正しました。 <br /> 【2024/7/26第2版】 蓄積していた内容上のミスや、誤字を修正し第2版として出版します。 </p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。
※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。
商品を詳しく見る
¥ 710-(税込)
#ショップ名 :
楽天Kobo電子書籍ストア
#送料 :
送料込
#クレジットカード :
利用可
#海外配送 :
海外配送不可
#あす楽 :
翌日配送不可
#ギフト :
ギフト包装不可能
商品を詳しく見る
「その他」の関連商品を見る
「その他」の人気商品を見る
「楽天Kobo電子書籍ストア」の他の商品を見る
| | |