指从一些初始概念和公理出发,根据演绎法推演出一系列定理从而构成的系统。公理系统要满足某些一般要求,包括系统的一致性(无矛盾性)、完全性和范畴性,以及公理的独立性。公理系统一般可区分为古典公理系统和现代公理系统。如古希腊数学家欧几里得(Euclid)在《几何原理》一书中建立的几何公理系统是古典公理系统,德国数学家、逻辑学家希尔伯特于1899年在《几何基础》一书中推出的是现代公理系统。现代公理系统也称形式公理系统。参见“公理化方法”。
公理系统(语言)
公理系统(语言):
指从一些初始概念和公理出发,根据演绎法推演出一系列定理从而构成的系统。公理系统要满足某些一般要求,包括系统的一致性(无矛盾性)、完全性和范畴性,以及公理的独立性。公理系统一般可区分为古典公理系统和现代公理系统。如古希腊数学家欧几里得(Euclid)在《几何原理》一书中建立的几何公理系统是古典公理系统,德国数学家、逻辑学家希尔伯特于1899年在《几何基础》一书中推出的是现代公理系统。现代公理系统也称形式公理系统。参见“公理化方法”。
出版时间:1992-11 计算机图书馆系统引论 : 英国威尔士图书馆学院图书馆学和情报学教材。L.A.特德(Tedd)著。1977年Heyden&son出版社出版。中译本书目文献出版社于1981年出版,史鉴、阎立中等译。分为3部分。第1..
出版时间:1992-11 现代图书馆系统综论 : 现代图书馆系统理论与实践论著。黄世雄著。1985年台北市台湾学生书局出版。黄世雄(1937—),历任中国台湾省各大学图书馆系教授、淡江大学教育资料科学系主任、觉生纪念..
出版时间:1992-11 图书馆的系统分析 : 美国加利福尼亚州立大学图书馆的系统分析方法。由该校图书馆学部经广泛收集各种不同文献资料和实际例子综合编写。1978年在美国和英国第1次发行。本书把系统工作方法应用..
《小说写作系统工程论》:雷耀发着。广西民族出版社1990年2月版。22万字。运用系统工程等现代方法论,探讨小说写作内在的深层建构和外在的演化规律,对写作主体、客体系统作多层次、多角度的研究。认为作家的写作欲望、动..