多项选择题
A.方便调试的解释型语言B.跨平台执行作业C.广泛的应用编程接口D.丰富完备的开源工具包
A.留出法B.交叉验证法C.自助法D.全局法
A.通常情况下逻辑推导的结果是不确定的B.利用逻辑进行推导的推导过程是复杂的C.原则上可解一个问题与实际上解决该问题是不同的D.获取非形式的知识并用逻辑表示法要求的形式术语来陈述之是不容易的