19世纪中叶，英国教育思想家______提出了较为系统的课程理论。
参考答案：斯宾塞
过P(-2,4)及Q(3,-1)两点,且在x轴上截得的弦长为6的圆的方程为____________.
设C0和C1分别为补码加减法中符号位与最高有效位的进位，那么用C0和C1来判断运算结果是否溢出的逻辑表达式是（）。
