安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑

版本说明:

影印版

出版发行项:

北京:世界图书出版有限公司北京分公司,2019.03

ISBN及定价:

978-7-5192-5572-5/CNY89.00

载体形态项:

x, 289页:图;24cm

并列正题名:

Mathematical logic

个人责任者:

埃宾豪斯 (Ebbinghaus, H.-D.) 著

个人责任者:

弗卢姆 (Flum, J.) 著

个人责任者:

托马斯 (Thomas, W.) 著

学科主题:

数理逻辑-英文

中图法分类号:

O141

相关题名附注:

中文题名取自版权页

责任者附注:

Ebbinghaus规范汉译姓: 埃宾豪斯 Flum规范汉译姓: 弗卢姆 Thomas规范汉译姓: 托马斯

书目附注:

有书目 (277-279) 和索引

原作版本附注:

据原书第2版影印

提要文摘附注:

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明, 这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明。本书从一阶逻辑以及它在数学基础中的作用的讲述开始, 深入阐述了Trachtenbrot的不可判定性理论, 基础等值理论的Fraisse特性, 一阶逻辑最大化的Lindstrom定理以及逻辑程序设计的基础这些经典的知识点。目次: 引论 ; 一阶语言句法 ; 一阶语言语义学 ; 完备理论 ; Lowenheim-Skolem理论和紧性定理 ; 一阶逻辑 ; 语义解释与范式 ; 一阶逻辑的扩展 ; 规范方法的局限性 ; 自由模型与逻辑程序设计 ; 基础等值理论的代数特性 ; Lindstrom定理。

豆瓣简介：