填空题
“数理逻辑,又称符号逻辑,它是从形式逻辑分化出来的一门学科。数理逻辑()。用(),是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:()。
【参考答案】
集中地、大量地、系统地使用符号来研究和表述逻辑;数学方法研究逻辑;集合论、模型论、递归论和证明论
点击查看答案
相关考题
-
填空题
()是国家的根本法,它通常规定一个国家的阶级性质、社会制度、国家制度、国家机构、公民的基本权利和义务等。在不同时代和不同类型国家里,它的形式和内容都有所不同,但它都是()。(),体现着资产阶级的意志,维护资本主义的剥削制度,但又竭力掩盖其阶级本质,有着很大的虚伪性。(),是无产阶级意志的体现,是进行社会主义革命和社会主义建设的强大武器。 -
填空题
“经”,是我国古籍的通称;凡(),皆可称作“经”。现在所指的“十三经”,是历经各代到宋代时候才逐步形成的。它指的是《()》、《》、《》、《》、《》、《》、《》、《》、《》、《》、《》、《》、《》。 -
填空题
所谓领导,就是()。领导乃是人类社会活动中一种重要的、不可缺少的职能。领导活动时随着人类社会的诞生而诞生的。随着人类社会的发展,领导活动也不断由低级向高级发展。根据领导的性质,他可以分为()、()、()、()等。
