数学的一门分科。主要研究计算方法、数理逻辑和程序设计等方面的问题。20世纪中期以后，高速大容量电子计算机的飞速发展，大大丰富了计算数学的研究内容。　【计算数学】数学的一门分科。主要研究计算方法、数理逻辑和程序设计等方面的问题。20世纪中期以后，高速大容量电子计算机的飞速发展，大大丰富了计算数学的研究内容。

1.即逻辑。 2.原理法则。

①《韩非子·难一》说：楚国有人卖矛和盾，夸他的盾最坚固，什么样的矛都刺不进，又夸他的矛最锐利，什么样的盾都能刺穿。有人问他：“用你的矛来刺你的盾，那会怎么样呢?”那人无言可答。后用“矛盾”比喻言行相互抵触，互不相容：自相矛盾｜矛盾百出。 ②唯物辩证法指事物内部或事物之间又统一又斗争的双方的关系。矛盾无处不在，无时不在，推动事物的发展。矛盾千差万别，千变万化，必须具体分析，区别对待。客观事物的矛盾......更多

1.诗文的题目﹔议论的题目。 2.逻辑学上指真实性需要证明的命题。

1.著名的学者。 2.逻辑学的旧称。

1.逻辑学术语"演绎"的旧译名。

①“数据逻辑结构”的简称。指各数据元素间的逻辑关系。主要有字符串、数组、线性表、树、图等结构。 ②一个二元组。即d，s=(d,r)。其中d是数据元素的集合，r是d上关系的集合。 ③计算机科学中的一门学科。研究数据的逻辑结构和存储结构(或称物理结构)，及其在相应结构上的有关运算。

1.亦作"说智"。古代墨家的认识论术语。指由逻辑推理得来的知识。语出《墨子．经说上》﹕"知﹐传受之﹐闻也。方不障﹐说也。身观焉﹐亲也。" 2.谓说给人听﹐使其知道。

思维借以实现的形式。概念、判断、推理、证明是不同的思维形式。具有不同结构的判断形式、推理形式、证明形式也是不同的思维形式。在具体思维中，思维形式和思维内容总是结合在一起的，既不存在没有思维形式的思维内容，也不存在没有思维内容的思维形式。但是思维形式对于思维内容具有相对的独立性，因此逻辑学可以把思维形式抽出来作为自己的研究对象。

1. 根据已知的公理、定义、定理、定律等经过演算和逻辑推理而得出新的结论。