代数基本定理的第一个实质性证明是由()给出的。A.吉拉德B.高斯C.笛卡儿D.牛顿

第1题：

逻辑代数的基本定理有哪些？

A．吸收定理

B．摩根定理

C．多余项定理

D．反演定理

E．包含定理

F．互补定理

G．重叠定理

第2题：

1). 构造 mod 19 的简化剩余系及乘法表（例 2.3.10). 2). 给出定理 2.3.5 之证明. 3). 给出定理 2.3.6 之证明. 4). 设 a 是与 32760 互素的整数. 证明: a^{12} 同余于 1 mod 32760. 5). 计算如下整数 m 的欧拉函数: a) m = 19. b) m = 2017. c) m = 2019. d) m = 888*2018.

第3题：

1、下列说法正确的是（）

A．归结原理是一种基于归纳法的自动定理证明技术

B．应用归结原理不能判定命题逻辑公式不成立

C．吴方法是一种基于代数计算的自动定理证明方法

D．（无）

第4题：

【判断题】梅文鼎《勾股举隅》中给出了勾股定理的证明方法。（）

A．Y.是

B．N.否

第5题：

逻辑代数的基本定理有