×
暂无评论
中图网萌新选书指北
4.22世界地球日：共同的家园
还好有死亡存在——追忆“弑神者”略萨
坐下聊聊心里话：访谈与书信选
活出我人生：女性主义作品精选
小人物的命运残章：现实主义小说精选
不止魔幻：拉美文学世界
图文详情
  • ISBN：9787030324085
  • 装帧：一般胶版纸
  • 册数：暂无
  • 重量：暂无
  • 开本：16开
  • 页数：164
  • 出版时间：2011-10-01
  • 条形码：9787030324085 ; 978-7-03-032408-5

本书特色

　　数理逻辑是数学的一个分支。模型论是数理逻辑的四大论之一，也是数理逻辑研究中目前*活跃的一论。模型论通常又分为代数模型论和抽象模型论。本书为介绍前者的一本专著。关于后者，作者已有一本书由科学出版社在2004年出版。本书**章讲述模型论的基础知识，接下来2——9章分别介绍代数模型论各领域的近20-30年来的*新研究成果及研究方法。大多数内容是由近年来发表在国外和将要发表的研究论文及有关专著压缩而成。*后一章介绍可计算模型论。作者希望本书能够引导具有数理逻辑初步知识的读者进到国际的研究前沿，并从事这方面的研究工作。

内容简介

　　本书是代数模型论的一本人门书。**章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法，其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。*后一章介绍可计算模型论。本书起点较低，具备数学系二、三年级知识的读者即可阅读，并具自完备性，以方便阅读。本书终点较高，可引导具有数理逻辑基础知识的读者进入国际上的研究前沿。各章末均附有习题，以助读者深入理解本书内容。 　　本书可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考，也可作为相关专业研究生的教科书。

目录

《现代数学基础丛书》序
前言
**章 模型论的预备知识
§1.1 数学结构及其理论
§1.2 素模型和初等子模型
§1.3 模型的同构和morley范畴性定理
§1.4 理论的完全性和模型完全性
§1.5 量词可消去
§1.6 量词可消去的判定法
§1.7 型，完备公式和孤立型
§1.8 稳定性理论简介
习题一

第二章 代数闭域
§2.1 代数闭域的完全性和可判定性
展开全部
本类五星书
更多>>
浏览历史
本类畅销

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。

确定
客服
收藏
购物车
缺货
快速
导航