二分查找树插入和删除算法的综合推导

程序综合是根据程序规范,推导出满足此规范的程序,推导的过程就是证明的过程,从而保证了最终程序的正确性.程序规范是对程序所要完成的任务的数学描述,表明了程序的目的和应满足的性质. 我们这里借助类似于函数程序语言Miranda的一种函数语言,这种语言曾作为英国牛津     

微型计算机高考分数统计系统

今年,我们按照省招办的要求,采用微机对萍乡市、景德镇市的近五千名考生的数据进行统计处理试点,达到了预计的效果。一、任务与特点高考数据处理的特点是输入输出量大,时间紧,速度要求快,尤其数据要准确无误。按照要求,将单科每份试卷的每题分数送入计算机内,打印出各地区按考证号码顺序排列的成绩表,按总分排队的成绩表、文史类、外语类、理科类考生的分数段人数表等。