正确的理论只能靠实践来检验、来证明，这是因为( )

A．认识不能证明自身是否正确

B．客观事物不能证明认识是否正确

C．实践是有意识、有目的的活动

D．实践是主观见之于客观的活动

把用高级程序设计语言编写的源程序转换为可执行程序，要经过( )。

A．编译和连接

B．汇编和解释

C．解释和编译

D．编辑和连接