1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 习题/试题

2025年逻辑学专业题库—— 逻辑学与计算机科学的联系.docx

2025年逻辑学专业题库—— 逻辑学与计算机科学的联系.docx

    1. 1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
    2. 2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
    3. 3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
    查看更多

    2025年逻辑学专业题库——逻辑学与计算机科学的联系

    考试时间：______分钟总分：______分姓名：______

    一、单项选择题（本部分共20小题，每小题2分，共40分。在每小题列出的四个选项中，只有一项是最符合题目要求的。请将正确选项的字母填在答题卡相应位置上。）

    1.以下哪个选项不是逻辑学与计算机科学联系密切的理论基础？

    A.数理逻辑

    B.算法理论

    C.模糊逻辑

    D.认知心理学

    2.在计算机科学中，形式化验证主要依赖于哪种逻辑工具？

    A.朴素逻辑

    B.谓词逻辑

    C.电路图

    您可能关注的文档

    最近下载

    文档评论（0）

    3 + 关注
    实名认证
    内容提供者

    .

    咨询Ta 进入空间

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >