Logic in Computer Science

用法例句

In this article,we put forward a new research programme on the logic of economics,which is called the programme of logic of science.

经济学逻辑的一种新研究纲领,即科学逻辑纲领,它既不同于传统的应用形式逻辑加语言逻辑纲领,也不同于博弈论纲领。

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.

建立一个划界标准———根据这个标准确定什么样的命题为“可疑的”命题、什么样的命题为不可疑的命题———构成科学方法论或科学逻辑研究的一个重要内容;我们从可疑的命题、不可疑的命题得到哪些其他的可疑的和不可疑的命题,这涉及到我们运用什么样的怀疑逻辑系统,同时涉及到对科学理论的结构的分析,这同样是科学逻辑的研究内容。

Evaluating theory is a key problem of logic of science.

科学评价问题是科学逻辑的核心。

Scientific Logic and Methodology

科学逻辑与科学方法论

On the advanced stage of the development of logic science --dialectical logic;

论逻辑科学发展的高级阶段——辩证逻辑

Fuzzy Thinking; The New Science of Fuzzy Logic

模糊思维：模逻辑新科学

Logic,Linguistics and Information Science: the Subject Nature of Natural Language Logic;

逻辑学、语言学与信息科学——论自然语言逻辑的学科性质

Jaynes, E. T. (2003). Probability theory: The logic of science. Cambridge University Press.

《机率论︰科学的逻辑》，剑桥大学出版社。

Discipline Orientation of Comparative Logic and Its Methodology;

论比较逻辑学的学科定位与研究方法

New Understanding of Artificial Intelligence on Inductive Logic--From the Standpoint of Philosophy of Science and Logic;

人工智能研究对归纳逻辑的新理解——从科学哲学与逻辑哲学观点看

An Analysis of the Scientific Frame of Comparative Logic Based on the Relationship between Logic and Culture;

比较逻辑学的学科框架初构——从逻辑与文化的关系角度看

The Logic Basis for Investigation Theory--Also the Logic Basis for and Value of the Subject;

论侦查学的逻辑起点——兼论学科逻辑起点及其价值

On the Reconstruction of Complete Philosophy Pattern of Scientific Knowledge--discussion on the relationship between discovery logic and inspection logic;

重建科学认识的“完整哲学图式”——发现逻辑与检验逻辑关系探究

Humble Opinion of Liberal Editors of College Journal Keeping Track of and Making Use of Logical Law of Thinking;

学报文科编辑掌握和运用逻辑思维规律刍议

Analysis on the Logical Structure of the Viewpoint of Science & Techn ology of Liu Shaoqi

刘少奇科学技术观的逻辑结构探析

The State Regulation: the Logic Starting Point of the Economic Law;

国家调节:经济法逻辑起点的科学界定

The Significance of Logical Starting Point to Subject Formation and Development;

逻辑起点之于学科形成与发展的意义

On the Three Models of Explaining Scientific Knowledge in Contemporary Philosophy of Science;

逻辑——理性是科学精神的核心内涵

Logical Cohesion Between Adjacent Paragraphs in Scientific Discourse;

科学篇章中相邻语义段间的逻辑衔接

Three Main Guidelines in the Scientific System of Deng Xiao-ping s Theory;

邓小平理论科学体系的三条逻辑主线

The Logical Starting Point of the Theoretical System of Logistics Subject

物流学科理论体系逻辑起点问题研究