杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

初等模型论/姚宁远著

出版发行项:

上海:复旦大学出版社,2018

ISBN及定价:

978-7-309-14019-4/CNY36.00

载体形态项:

238页;24cm

丛编项:

逻辑与形而上学教科书系列

个人责任者:

姚宁远 著

学科主题:

模型论-高等学校-教材

中图法分类号:

O141.4

责任者附注:

姚宁远, 2015年获得中山大学博士学位, 并于同年进入复旦大学哲学学院担任讲师, 2017年在法国高等科学研究所做博士后研究。

书目附注:

有书目 (第231-232页) 和索引

提要文摘附注:

本书从一阶逻辑的语法和语义开始, 介绍了紧致性定理、Lwenheim-Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。本书面向数学系和哲学系的本科生和研究生。相对于其他的模型论教材, 本书包含大量的数学实例, 使得具有数学背景的学生更易于理解原理背后的动机。

豆瓣简介：