暂无相关内容,正在全力查找中
罗里波
人物简介:
模型论及其在计算机科学中的应用书籍相关信息
内容简介:
《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》共分为二十章,主要内容包括:模型论的发生与发展;关于集合论的准备知识;模型论的形式语言;模型的基本性质;紧致性定理与LST定理;初等予模型与模型完全的理论等。《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》给供相关人员参考阅读。
全格式电子版 - 免费下载