形式化的公理系统具有()三个基本原则。
第1题:
简述形式化的公理系统的三个基本原则。
第2题:
A.简化公理,信息含量最少
B.模块化公理,最大限度地减少各功能要求间的“耦合”
C.简化公理,避免设计参数间的交互作用
D.模块化公理,实现各子系统并行设计
第3题:
A.一致性
B.相容性
C.独立性
D.完备性
第4题:
古希腊欧几里得的《几何原本》是人们所建立的第一个公理体系,由于它具有特定的研究对象,其公理以人们的直观经验为基础反映为认为公理是自明的,所以称为()的公理体系。
A具体
B特殊化
C抽象
D形式化
第5题:
A、抽象性
B、公理性
C、严谨性
D、系统性
E、应用广泛性
第6题:
A、大众化
B、形式化
C、算法化
D、公理化
第7题:
A、形式化
B、局部组织
C、生活经验
D、公理体系
E、直觉
第8题:
形式化的公理系统具有()三个基本原则。
A.形式性
B.公理性
C.完备性
D.无矛盾性
E.公理的独立性
第9题:
下列关于Armstrong公理系统的叙述中,错误的是______。
A.Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中
B.Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来
C.通常把自反律、传递律和增广律统称为Armstrong公理系统
D.Armstrong公理系统中的传递律就是传递函数依赖
第10题:
公理化方法的发展大致经历了这样三个阶段(),用它们建构起来的理论体系典范分别对应的是《几何原本》、《几何基础》和ZFC公理系统。