Maths is not only a knowledge system but also a rational thinking and argument system. It is a systematism theory knowledge summation by height abstract and strict logic ratiocination.
数学既是一个知识体系，又是一个理性的思辩体系，它是经过高度抽象和严格的逻辑推理形成的系统化理论知识总和。
This paper discusses the logic in special context of law which including legal reasoning system, legal argument system, the logic of legal reasons, legal subjective logic and legal experts system.
本文主要论述了法律特殊语境下的法律推理系统、法律论证系统、法律理由逻辑、法律主观间性逻辑和法律专家系统等。
The same argument can be used for many other public services, such as fire protection, national defense, and the court system.
同样的道理也适用于许多其他公共服务，如消防、国防和法院系统。
Mr Obama's argument was that “no system of government can or should be imposed upon one nation by any other”.
奥巴马的观点是，“没有那种治国体制可以由一个国家强加给另外一个国家”。
The argument in defense of this system offered by Big Pharma is simple, and sounds reasonable at first: we need to charge large sums for "our" drugs so we can develop more life-saving medicines.
由各大医药公司提供的捍卫目前这种医药制度的论点很简单，而且乍听上去也挺合理：我们要为“我们的”药品定高额价格，这样我们才可以开发更多的救命药。
That is the argument of a political class grown fat on a broken system.
这只是那些在破裂的体系中养肥的政客的观点。
You remember the whole argument: I have to see the red light in the context of the semiotic system to which it belongs.
你们应该还记得整个论述过程：，必须把红灯放在它所属，的符号系统中来理解。
Description: The system detected an invalid pointer address when it tried to use a pointer argument of a call.
说明：尝试使用调用的一个指针参数时-系统检测到无效指针地址。
The only acceptable argument used to lie in the contradiction brought up between the philosopher enclosed within his system and the artist placed before his work.
唯一可以接受的理由就是一个被密封在自身系统之内的哲学家和一个被置身于其作品面前的艺术家之间所产生的矛盾。
SBRK moves the current system break by the number of bytes in its argument, and then returns the new system break.
sbrk根据参数中给出的字节数移动当前系统中断点，然后返回新的系统中断点。
The name-check function returns "True" if its argument input PATHNAME is valid for a particular operating system or file system.
如果其参数输入PATHNAME对于特定的操作系统或文件系统有效，名称检查函数将返回“True”。
If no argument is provided to -j, then all source files are queued up in the system for simultaneous compilation.
如果没有给- j提供任何参数，则所有源文件都会在系统中排队，等待同时编译。
Currently, file system freezing is achieved through an ioctl with an argument of FIFREEZE or FITHAW.
目前，文件系统冻结是通过具有参数FIFREEZE或FITHAW的ioctl来实现的。
A shows the argument strings passed in each exec system call.
a显示每个exec系统调用中传递的参数字符串。
As you can see, the syscall function includes as its first argument the index of the system call table to use.
正如您所见，syscall函数使用了系统调用表中使用的索引作为第一个参数。
To further automate the install, you can use the -g argument of the lpar_netboot command to pass additional parameters to the install program of the newly booted system.
要进一步自动化安装，可以使用 lpar_netboot命令的 -g参数，将其他参数传递到刚引导的系统的安装程序。
When the system is shut down, the same set of scripts is invoked with the stop argument.
在关闭系统时，则使用stop参数调用相同的脚本集。
The revelation appears to provide more evidence to the argument that Android isn't really a mobile phone's operating system because in the future there won't be devices thought of as phones.
该消息的披露让人们更加相信Android不是手机操作系统，因为未来将不再有“手机”这种设备。
The output from this is huge, even on a lightly loaded system, so you typically either supply the name of a directory as a command-line argument or use a pipe to filter its output.
即使在负载很轻的系统上，这个命令的输出也非常长，因此通常通过命令行参数指定一个目录名，或者使用管道筛选它的输出。
It writes your string argument to stderr (standard error), followed by a colon and a space, then the system error message followed by a newline.
它先将您的字符串参数写至标准错误(提供它用于定制消息)，接下来写入一个冒号和一个空格，然后是系统错误消息，后面是新的一行。
This takes a single argument defining the reference to a file system structure (file_system_type), which defines the name of the file system, a set of attributes, and two superblock functions.
这个函数的参数定义一个文件系统结构(file_system_type)的引用，这个结构定义文件系统的名称、一组属性和两个超级块函数。
In this system, the argument goes, firms will keep an eye on each other, rather than ceding power to the Stockholders.
在这个系统中，论点有云，公司将密切留意对方，而非割让权力交给股东。
It should be noted that it will be a rather complicated subject to demonstrate exhaustibly the argument that all methods in Capital constitute a big system.
这里需要说明的是，全面具体地论证《资本论》的方法是一个系统，这是一个比较复杂的研究课题。
RTagentd: fatal system initialization error: [5.3.8.43] server: bind error (10048), Invalid argument (shown in Figure 26).
RTagentd：严重系统初始化错误：[5.3.8.43]服务器：绑定错误(10048)，无效论断(如图26所示)。
The information you pass on the -g argument is a string that contains the information needed by the installer to find the SUSE AutoYaST XML file and the SUSE operating system install RPMs.
在-g参数上传递的信息是一个字符串，它包含安装程序查找SUSEAutoYaSTXML文件和 SUSE操作系统安装RPM所需的信息。
Argument is existed in academe about energy saving of the combined heating, cooling and electricity (CHCP) system.
热电冷三联供系统节能性问题在国内学术界仍存在争论。
There are different system of trial by default in the past, but now, only two pattern in the west country: verdict by one party and argument by one party.
在不同的历史时期，形成过不同的制度规定，现在西方国家具有代表性的缺席审判模式有两种，即缺席判决主义和一方辩论主义。
This raises problems for the intentional realist argument: How is the semantic property of the propositional attitudes causally relevant to the behaviours of the cognitive system?
这就给符号计算主义的意向实在论论证带来了问题：命题态度的语义性质如何能够对认知系统的行为具有因果相关性?。
This raises problems for the intentional realist argument: How is the semantic property of the propositional attitudes causally relevant to the behaviours of the cognitive system?
这就给符号计算主义的意向实在论论证带来了问题：命题态度的语义性质如何能够对认知系统的行为具有因果相关性?。
应用推荐