名词解释什么是数学与逻辑模型; 数学与逻辑模型名词解释定义是什么?
填空题软件开发时，设计阶段所得的文档是：系统总体设计文件和各个（）的设计任务书。
填空题在ToolBook 中，各个应用程序都是以（）的形式组织的。
判断题对于软件开发工具来说，总控部分和人机界面是它的实用性和灵活恬的主要保证。
判断题代码生成比文档生成难，因为前者要在机器上运行，后者则不需要。
