热词榜

数理逻辑

广告
广告
医学百科提醒您不要相信网上药品邮购信息!
特别提示:本文内容仅供初步参考,难免存在疏漏、错误等情况,请您核实后再引用。对于用药、诊疗等医学专业内容,建议您直接咨询医生,以免错误用药或延误病情,本站内容不构成对您的任何建议、指导。本站不出售任何药品、器械,也不为任何药品、器械类厂家提供宣传服务。药品类信息为研究性资料,仅供专业人士参考,请不要依据本站信息自行用药。

1 拼音

shù lǐ luó jí

2 英文参考

Mathematical logic

3 注解

数理逻辑亦称“符号逻辑”。是用数学方法研究关于推理、证明等逻辑问题特别是数学中的逻辑问题的一门学科。主要特点是运用特定的符号把概念、命题等表示为公式,用公式的演算代替逻辑的推理。狭义的数理逻辑指逻辑演算,包括命题演算和谓词演算。广义的数理逻辑已包括公理集合论、证明论、递归函数论、模型论等内容。最早提出数理逻辑思想的是德国的莱布尼兹,后经布尔、弗雷格、哥德尔等人的发展,于20世纪30年代形成为一门独立的学科。数理逻辑的成果已广泛应用于人工智能、开关线路、自动控制及计算机等领域。在中医现代研究中数理逻辑的应用日益深入,特别在中医智能电子计算机系统的研制中,数理逻辑是不可缺少的工具和方法

相关文献

开放分类:计算机数学
词条数理逻辑banlang创建,由sun进行审核
参与评价: ()

相关条目:

参与讨论
  • 评论总管
    2019/7/16 19:23:46 | #0
    欢迎您对数理逻辑进行讨论。您发表的观点可以包括咨询、探讨、质疑、材料补充等学术性的内容。
    我们不欢迎的内容包括政治话题、广告、垃圾链接等。请您参与讨论时遵守中国相关法律法规。
抱歉,功能升级中,暂停讨论
特别提示:本文内容仅供初步参考,难免存在疏漏、错误等情况,请您核实后再引用。对于用药、诊疗等医学专业内容,建议您直接咨询医生,以免错误用药或延误病情,本站内容不构成对您的任何建议、指导。

本页最后修订于 2011年9月1日 星期四 9:25:12 (GMT+08:00)
关于医学百科 | 隐私政策 | 免责声明
京ICP备13001845号
互联网药品信息服务资格证书:(京)-非经营性-2018-0290号

京公网安备 11011302001366号


链接及网站事务请与Email:联系 编辑QQ群:8511895 (不接受疾病咨询)