返回顶部
論理と分析 文系のための記号論理入門 D03818 金子裕介/著拍卖
  • {$data['title']拍卖
X
論理と分析 文系のための記号論理入門 D03818 金子裕介/著
{$data['title']拍卖
收藏该商品
論理と分析 文系のための記号論理入門 D03818 金子裕介/著
商品编号:s1075164428 【浏览原始网页】
当前价:RMB 95
加价单位:100日元
日  元:
出价:0 直 购 价:RMB 94.05
商品件数:1
商品成色:其他
日本邮费:卖家承担
可否退货:不可以
开始时间:2025-10-28 17:45:44
结束时间:2025-11-04 17:45:44
自动延长:有可能
提早结束:有可能
划词翻译上线,鼠标选择文字自动翻译,翻译内容仅供参考,如有疑问请咨询小觅翻译。
論理と分析 文系のための記号論理入門 金子裕介/著

◆【商品の状態】
使用状況 :中古品として良好な状態です。


注意事項 :
素人の保管方法になりますので、ご理解ある方のみご入札ください。

【発送方法】
ネコポスorゆうパケットおてがる版(追跡番号あり・補償なし)です。
防水のためクリアパックに入れて封筒にて発送します。


公理系をゲンツェンのNK一本に縛り、意味論をそのタルスキ的起源から詳細にたどる。
哲学的な背景や問題意識も盛り込みながら、文系に訴えるよう工夫された論述。
豊富な練習問題と、省略のない付録により、健全性定理と完全性定理に代表される
(命題論理にとどまらない述語論理の)メタ定理までの十分な理解を目指した、オールインワンの入門書!

目次

イントロダクション
第I部構文論と意味論
第一章論理学の二つの潮流
第二章構文論と意味論の齟齬

第II部命題論理の構文論
第一章対象言語とメタ言語
第二章命題論理の文法
第三章論理学の哲学
第四章命題論理の証明

第III部命題論理の意味論
第一章意味の問題
第二章真理関数と真理表
第三章意味論の役割
第四章重要な補足

第IV部述語論理の構文論
第一章述語論理の文法
第二章述語論理の証明
第三章応用と実践

第V部述語論理の意味論
第一章モデル論的意味論
第二章タルスキと論理式の問題
第三章充足の定義
第四章関係述語の問題
第五章妥当性と論理的帰結
第六章反証モデルと反証図

第VI部完全性定理と健全性定理
第一章話の入り口
第二章完全性定理
第三章レーヴェンハイム-スコーレムの定理
第四章コンパクト性定理と超準モデル
第五章健全性定理

正在加载数据,请稍后……

卖家信息
温馨提示:

40-5h!
3781 8
不是
大阪府
51买JP提醒
常见问题

出价竞拍

本   品   现   价:1900.00日元(RMB94.05元)
本次加价至少为:100日元
出 价 金 额: 日元
出 价 件 数:
折合人民币: 0元
 
温馨提示:本品商家好评为3781,差评为8,供参考使用,出价成功后不能弃标,弃标要扣除弃标费用。

预约出价

本   品   现   价:1900.00日元(RMB94.05元)
本次加价至少为:100日元
为避免被人恶意抬价,您出的价格会在结束前十五分钟由系统进行出价,也为您节省了宝贵的时间
出 价 金 额:  日元
出 价 件 数:
折合人民币: 0元
 
温馨提示:本品商家好评为3781,差评为8,供参考使用,出价成功后不能弃标,弃标要扣除弃标费用。

直接购买

本次直接购买价为:1900.00日元(RMB94.05元)
直购价: 日元
出价件数:
 
温馨提示:本品商家好评为3781,差评为8,供参考使用,出价成功后不能弃标,弃标要扣除弃标费用。

会员等级说明

查看详细>> 您需要升级保证金后方可出价竞拍
关闭
前去升级保证金