Educational Innovation: Collaborative Proposal: Integrating Logic into the Computer Science Curriculum

机构：William Marsh Rice university提案编号：EIA 0086264PI: Moshe Y. VardiTitle：协作研究：在计算机科学课程中集成逻辑CISE教育创新（EI）提案要求资金开发一系列模块，将逻辑和基于逻辑的软件工具无缝集成到现有的广泛教授的计算机科学（CS）课程中。很少有本科计算机科学课程能让学生在逻辑方面做好充分的准备。典型的学生在离散的实际作业中会看到几周的真值表和命题逻辑。这些模块将允许计算机系轻松地修改他们的课程来纠正这种情况。通过提供包含课堂讲稿、演示文稿、习题集和工具的模块，研究人员希望在大学教育的各个层次，特别是在资源稀缺的计算机系，促进应用逻辑的课程处理。这个项目有可能对计算机科学的教学方式产生重大影响。

Institution: William Marsh Rice UniversityProposal Number: EIA 0086264PI: Moshe Y. VardiTitle: Collaborative Research: Integrating Logic in the Computer Science CurriculumThis CISE Educational Innovation (EI) proposal requests funds to develop a series of modules that seamlessly integrate logic and logic-based software tools into existing, widely taught computer science (CS) courses. Few undergraduate computer science curricula prepare students adequately in logic. The typical student sees a few weeks of truth tables and propositional logic in discrete practical work. These modules would allow CS departments to easily modify their curricula to rectify this situation. By supplying modules, complete with lecture notes, presentations, problem sets, and tools, the investigators hope to facilitate curricular treatment of applied logic at all levels of college education, particularly in CS departments with scarce resources. This project has the potential to have a major impact on the way that CS is taught.