下列关于离子选择性电极的分类方法，正确的是（）。

A、原电极和敏化电极

B、原电极和酶电极

C、晶体膜电极和非晶体膜电极

D、气敏电极和酶电极

逻辑型程序语言是一类以______为基础的语言，______是这类语言的代表。函数型程序语言是一类以______为基础的语言，______是典型的函数型程序语言。

A．λ演算

B．关系理论

C．形式逻辑

D．事实和规则