1) Logic in Computer Science
计算机科学中的逻辑学
2) logic in computer science
计算机科学中的逻辑
3) logic for matheamtics and computer science
数学与计算机科学逻辑
4) computational logic
计算逻辑学
5) logic of science
科学逻辑
1.
In this article,we put forward a new research programme on the logic of economics,which is called the programme of logic of science.
经济学逻辑的一种新研究纲领,即科学逻辑纲领,它既不同于传统的应用形式逻辑加语言逻辑纲领,也不同于博弈论纲领。
2.
A task of logic of science or methodology of science is to establish a demarcation criterion that is used to determine what is doubtful proposition and what is not.
建立一个划界标准———根据这个标准确定什么样的命题为“可疑的”命题、什么样的命题为不可疑的命题———构成科学方法论或科学逻辑研究的一个重要内容;我们从可疑的命题、不可疑的命题得到哪些其他的可疑的和不可疑的命题,这涉及到我们运用什么样的怀疑逻辑系统,同时涉及到对科学理论的结构的分析,这同样是科学逻辑的研究内容。
3.
Evaluating theory is a key problem of logic of science.
科学评价问题是科学逻辑的核心。
补充资料：计算机输入/输出控制系统(见计算机输入/输出系统)
计算机输入/输出控制系统(见计算机输入/输出系统)
computer input/output control system
iisuanii shuru/shuehu kongzhi xitong计算机输入/输出控制系统(com-puter inPut/ou中ut eontrol system)见计算机输入/输出系统。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条