大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 模型论及其在计算机科学中的应用
名称 模型论及其在计算机科学中的应用
索引号 O141.4/20127
分类号 O141.4
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 罗里波、北京师范大学数学科学学院、
出版社 北京 : 北京师范大学出版社, 2012
ISBN 978-7-303-13602-5
页数 300页 ; 23cm
价格 CNY30.00
标签 数理逻辑、
简介
注解 有书目 (第295-297页) 和索引 本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，它的主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。
书籍简介

《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》共分为二十章，主要内容包括：模型论的发生与发展；关于集合论的准备知识；模型论的形式语言；模型的基本性质；紧致性定理与LST定理；初等予模型与模型完全的理论等。《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》给供相关人员参考阅读。