数理逻辑在计算机科学上的应用研究

• 作者: 陈醇
• 来源期刊: 中外企业家
• 学科: 教育
• 关键词: 数理逻辑 逻辑推理 软件编程
• 年，卷（期）: 2014,（17）
• 所属期刊栏目: 【职业教育】 Occupation Education
• 页码范围: 176-176,178
• 页数: 2页
• 分类号: G623.58
• 字数: 1865字
• 语种: 中文

摘要

数理逻辑对计算机科学的发展起着重要的作用，它是计算机科学工作者必须具备的基本理论基础。笔者主要介绍数理逻辑对计算机科学的重要性、发展状况、工具作用以及学习方法，以期为计算机科学的学习提供帮助。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈醇		5	3	1.0	1.0