Erstes Kapitel Der Aussagenkalkül.- § 1. Einführung der logischen Grundverknüpfungen.- § 2. Die Aussagenverknüpfungen als Wahrheitsfunktionen.- § 3. Einführung von Variablen; allgemeingültige Aussagenformen.- § 4. Äquivalenzen; Entbehrlichkeit von Grundverknüpfungen.- § 5. Die konjunktive und die disjunktive Normalform für Ausdrücke.- § 6. Das Prinzip der Dualität.- § 7. Mannigfaltigkeit der Aussageformen, die mit gegebenen Aussage variablen gebildet werden können.- § 8. Erfüllbarkeit einer Aussageform; Folgerungen aus gegebenen Axiomen.- § 9. Axiomatik des Aussagenkalküls.- *§ 10. Der intuitionistische Aussagenkalkül.- *§ 11. Der Begriff einer strengen Implikation.- Übungen zum ersten Kapitel.- Zweites Kapitel Der Klassenkalkül.- § 1. Klassenverknüpfungen und die Beziehungen zwischen Klassen.- § 2. Die allgemeingültigen Ausdrücke des Klassenkalküls.- § 3. Systematische Ableitung der traditionellen Aristotelischen Schlüsse.- Übungen zum zweiten Kapitel.- Drittes Kapitel Der engere Prädikatenkalkül.- § 1. Unzulänglichkeit des bisherigen Kalküls.- § 2. Methodische Grundgedanken des Prädikatenkalküls.- § 3. Ausdrücke und ihre Allgemeingültigkeit.- § 4. Ein Axiomensystem für die allgemeingültigen Ausdrücke.- § 5. Sätze über das Axiomensystem.- § 6. Die Ersetzungsregel; Bildung des Gegenteils eines Ausdrucks; das Dualitätsprinzip.- § 7. Die pränexe Normalform; die Skolemsche Normalform.- § 8. Die Widerspruchsfreiheit, Unabhängigkeit und Vollständigkeit des Axiomensystems.- § 9. Der Prädikatenkalkül mit Identität.- § 10. Axiomatik wissenschaftlicher Theorien; mehrsortiger Prädikatenkalkül; Axiomensysteme der ersten und der zweiten Stufe.- § 11. Das Entscheidungsproblem.- § 12. Der Begriff „derjenige, welcher“; Einführung von Funktionen.- Übungen zum dritten Kapitel.- Viertes Kapitel Der erweiterte Prädikatenkalkül.- § 1. Erweiterung des Prädikatenkalküls durch Hinzunahme der Quantoren für Prädikaten variable.- § 2. Einführung von Prädikatenprädikaten; logische Behandlung des Anzahlbegriffs.- § 3. Darstellung der Grundbegriffe der Mengenlehre im erweiterten Kalkül.- § 4. Die logischen Paradoxien.- § 5. Der Stufenkalkül.- § 6. Anwendung des Stufenkalküls.- Namen- und Sachverzeichnis.
Trade Policy 买家须知
- 关于产品:
- ● 正版保障:本网站隶属于中国国际图书贸易集团公司,确保所有图书都是100%正版。
- ● 环保纸张:进口图书大多使用的都是环保轻型张,颜色偏黄,重量比较轻。
- ● 毛边版:即书翻页的地方,故意做成了参差不齐的样子,一般为精装版,更具收藏价值。
关于退换货:
- 由于预订产品的特殊性,采购订单正式发订后,买方不得无故取消全部或部分产品的订购。
- 由于进口图书的特殊性,发生以下情况的,请直接拒收货物,由快递返回:
- ● 外包装破损/发错货/少发货/图书外观破损/图书配件不全(例如:光盘等)
并请在工作日通过电话400-008-1110联系我们。
- 签收后,如发生以下情况,请在签收后的5个工作日内联系客服办理退换货:
- ● 缺页/错页/错印/脱线
关于发货时间:
- 一般情况下:
- ●【现货】 下单后48小时内由北京(库房)发出快递。
- ●【预订】【预售】下单后国外发货,到货时间预计5-8周左右,店铺默认中通快递,如需顺丰快递邮费到付。
- ● 需要开具发票的客户,发货时间可能在上述基础上再延后1-2个工作日(紧急发票需求,请联系010-68433105/3213);
- ● 如遇其他特殊原因,对发货时间有影响的,我们会第一时间在网站公告,敬请留意。
关于到货时间:
- 由于进口图书入境入库后,都是委托第三方快递发货,所以我们只能保证在规定时间内发出,但无法为您保证确切的到货时间。
- ● 主要城市一般2-4天
- ● 偏远地区一般4-7天
关于接听咨询电话的时间:
- 010-68433105/3213正常接听咨询电话的时间为:周一至周五上午8:30~下午5:00,周六、日及法定节假日休息,将无法接听来电,敬请谅解。
- 其它时间您也可以通过邮件联系我们:customer@readgo.cn,工作日会优先处理。
关于快递:
- ● 已付款订单:主要由中通、宅急送负责派送,订单进度查询请拨打010-68433105/3213。
本书暂无推荐
本书暂无推荐