()UG、Pro/E、Master cam等软件都是CAD/CAM应用软件。
( )UG、Pro/E、Master cam等软件都是CAD/CAM应用软件。
( )UG、Pro/E、Master cam等软件都是CAD/CAM应用软件。
第4题
A.Photoshop、Pro/ENGINEER、SolidWorks
B.Photoshop、CorelRAWI、llustrator
C.UG、CorelRAW、Illustrator
D.AutoCAD、CorelRAW、CATIA
第5题
A.中国、美国、美国、美国、法国、以色列
B.中国、美国、美国、美国、以色列、法国
C.美国、中国、美国、美国、法国、以色列
D.美国、法国、以色列、美国、中国、美国
第8题
A.从当前master切一个新分支开发
B.merge or rebase第一次迭代的开发分支
C.提测
D.从当前master上写代码
E.等着第一个迭代完成再合并代码
第9题
改正下列证明中的错误:
前提:
结论:¬M(y))
证明过程:
(1)P
(2)(1)US
(3)¬P(附加前提)
(4)(¬P(z)) (3)T,E
(5)¬P(a) (4)US
(6)¬P(a)∨¬R(b,a) (5)T,I
(7)(¬P(z)∨¬R(b,z)) (6)UG
(8)¬(7)T,E
(9)¬(2)(8)T,I
(10)(¬S(b,y)∨¬M(y)) (9)T,E
(11)(S(b,y)→¬M(y)) (10)T,E
(12)(S(x,y)→¬M(y)) (11)UG
(13)¬¬M(y)) CP
第10题
改正下题证明中的错误.
前提:
结论:
证明过程:
(1)P
(2)US(1)
(3)¬()P(z) P(附加前提)
(4)()]P(z) T(3)E
(5)¬P(a) US(4)
(6)¬P(a)∨]R(b,a) T(5),
(7)()(¬P(z)∨]R(b,z)) UG(6)
(8)¬()(P(z)∧R(b,z)) T(7)E
(9)¬()(S(b,y)∧M(y)) T(2)(8)I
(10)()(¬S(b,y)∨¬M(y)) T(9)E
(11)()(S(b,y)→¬M(y)) T(10)E
(12)UG(11)
(13)CP