Educational Innovation: "Collaborative Research:" Integrating Logic in the Computer Science Curriculum

机构：威廉·马什·赖斯大学提案编号：EIA 0086264PI：Mohe Y.Vardile标题：协作研究：在计算机科学课程中集成逻辑这项CISE教育创新(EI)提案要求资金开发一系列模块，将逻辑和基于逻辑的软件工具无缝地集成到现有的、广泛教授的计算机科学(CS)课程中。很少有本科计算机科学课程能让学生在逻辑方面做好充分准备。典型的学生在离散的实际工作中会看到几个星期的真值表和命题逻辑。这些单元将使社会保障部门能够很容易地修改其课程，以纠正这种情况。通过提供模块，包括课堂讲稿、演示文稿、问题集和工具，调查人员希望在大学教育的各个层次促进应用逻辑的课程处理，特别是在资源稀缺的CS系。这个项目有可能对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.