模型论导引莫绍揆著吕义忠 南京大学出版社南京

模型论导引莫绍揆著吕义忠 南京大学出版社南京 [模型论导引莫绍揆著吕义忠]模型论导引 莫绍吕义忠编著 1990南京编者的话 众所周知,模型论是数理逻辑的一个重要分支,也是最 年轻、发展最迅速、应用最广泛的新兴学科之一,它的发展 对数学、计算机科学、哲学、信息科学、自动控制等多种 学科都产生了极深远的影响和推动作用,回顾近20年来的 历史,我们可以看出这个学术领域是非常活跃的,众多的数 学家,计算机科学家都为它的理论研究和应用推广做了大量 的研究工作,使它逐步形成一门内容十分丰富、应用极其广 泛的新兴的独立学科.编者因教学工作的需要从1984年起分别化了三个学期的 时间讲授模型论这门课程,随着教学工作的开展编者对初稿 进行了多次修改和补充使它成为目前这样一本可供数学和计 算机科学等专业的高年级本科生和低年第1章基本概念 S1一阶语言 在现代数学和计算机科学中,普遍存在着两种不同类型 的研究对象:一种是用形式符号(例如,一阶语言的符号)描 述的句子和句子集合(例如,群的形式公理V(x。e=x).另一种是较具体的数学结构(例如,群本身)模 型论便是研究这两者之间关系的学科.显然,模型论离不开形式语言、句子、结构等概念,我 们从讨论形式语言开始,形式语言的种类是很多的,本书只 讨论一种形式语言,即,一阶语言,由于一阶语言具有很强 的表达能力,故在现代科学中得到了广泛的应用.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。