问题
单项选择题
逻辑型程序语言是一类以______为基础的语言,______是这类语言的代表。函数型程序语言是一类以______为基础的语言,______是典型的函数型程序语言。
A.λ演算
B.关系理论
C.形式逻辑
D.事实和规则
答案
参考答案:A
逻辑型程序语言是一类以______为基础的语言,______是这类语言的代表。函数型程序语言是一类以______为基础的语言,______是典型的函数型程序语言。
A.λ演算
B.关系理论
C.形式逻辑
D.事实和规则
参考答案:A
选词填空完成短文。 | |
My ___________ is Zhang Ming. I am a student at Willow School. My favourite ___________ is Monday. I often get up at 6: 30 in the morning. I have ___________ and bread for breakfast. Then I go to school at 7: 10. I do morning exercises at 7: 40. I eat lunch at 11: 45 at school. After school, I ___________ with my friends. In the evening, I eat ___________ at 7: 00. Then I do my homework. ___________ I watch TV. I go to bed at 9: 00. This is my day. What about yours? Zhang Ming |