画像クリックで拡大できます
- ※ この商品は送料無料で出品されています。
この商品も注目されています
![[A12061531]論理と分析―文系のための記号論理入門―](https://auc-pctr.c.yimg.jp/i/auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0504/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img346x500-1714135495mdhdev235381.jpg?pri=l&w=300&h=300&up=0&nf_src=sy&nf_path=images/auc/pc/top/image/1.0.3/na_170x170.png&nf_st=200)
論理と分析 文系のための記号論理入門 D03818 金子裕介／著
送料無料
匿名配送
-
- 即決
- 1,900円（税 0 円）
-
3人が登録
Yahoo!オークション初めての方はログインすると -
入札
閉じる -
商品情報
カテゴリ 製品情報 スペック・価格相場を見る 状態 目立った傷や汚れなし 個数 1 返品 返品不可 自動延長 なし 早期終了 あり 入札者評価制限 なし 入札者認証制限 なし 開始価格 1,900 円（税 0 円） 開始日時 2024.05.30（木）05:22 終了日時 2024.06.03（月）05:22 オークションID s1075164428 -
この商品はYahoo!フリマにも掲載されています。詳細
本人確認済
商品説明
支払い、配送
支払い方法
-
Yahoo!かんたん決済
- PayPay残高等
- PayPayクレジット
- クレジットカード
- PayPay銀行支払い
- 銀行振込（振込先：PayPay銀行）
- コンビニ支払い
![[A11853271]文系のための情報処理入門 [単行本] 正光，金子; 利則，辻](https://auc-pctr.c.yimg.jp/i/auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0412/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img336x475-1702926673mqp0jr109340.jpg?pri=l&w=300&h=300&up=0&nf_src=sy&nf_path=images/auc/pc/top/image/1.0.3/na_170x170.png&nf_st=200)
哲学的な背景や問題意識も盛り込みながら、文系に訴えるよう工夫された論述。
豊富な練習問題と、省略のない付録により、健全性定理と完全性定理に代表される
(命題論理にとどまらない述語論理の)メタ定理までの十分な理解を目指した、オールインワンの入門書!
目次
イントロダクション
第I部構文論と意味論
第一章論理学の二つの潮流
第二章構文論と意味論の齟齬
第II部命題論理の構文論
第一章対象言語とメタ言語
第二章命題論理の文法
第三章論理学の哲学
第四章命題論理の証明
第III部命題論理の意味論
第一章意味の問題
第二章真理関数と真理表
第三章意味論の役割
第四章重要な補足
第IV部述語論理の構文論
第一章述語論理の文法
第二章述語論理の証明
第三章応用と実践
第V部述語論理の意味論
第一章モデル論的意味論
第二章タルスキと論理式の問題
第三章充足の定義
第四章関係述語の問題
第五章妥当性と論理的帰結
第六章反証モデルと反証図
第VI部完全性定理と健全性定理
第一章話の入り口
第二章完全性定理
第三章レーヴェンハイム-スコーレムの定理
第四章コンパクト性定理と超準モデル
第五章健全性定理