安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

模型论及其在计算机科学中的应用/北京师范大学数学科学学院主编 罗里波编著

出版发行项:

北京:北京师范大学出版社,2012.1

ISBN及定价:

978-7-303-13602-5/CNY30.00

载体形态项:

300页;23cm

丛编项:

新世纪高等学校教材.数学与应用数学基础课系列教材

个人次要责任者:

罗里波 编著

团体责任者:

北京师范大学 数学科学学院 主编

学科主题:

模型论-应用-计算机科学-高等学校-教材

中图法分类号:

TP301

书目附注:

有书目 (第295-297页)

提要文摘附注:

本书共分为二十章, 主要内容包括: 模型论的发生与发展 ; 关于集合论的准备知识 ; 模型论的形式语言 ; 模型的基本性质 ; 紧致性定理与LST定理 ; 初等予模型与模型完全的理论等。

豆瓣简介：