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

机构：威廉马什赖斯大学建议编号：EIA 0086264 PI：摩西Y。Vardi标题：合作研究：在计算机科学课程集成逻辑这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.