熱詞榜

數理邏輯

廣告
廣告
醫學百科提醒您不要相信網上藥品郵購信息!

1 拼音

shù lǐ luó jí

2 英文參考

Mathematical logic

3 注解

數理邏輯亦稱“符號邏輯”。是用數學方法研究關于推理、證明等邏輯問題特別是數學中的邏輯問題的一門學科。主要特點是運用特定的符號把概念、命題等表示為公式,用公式的演算代替邏輯的推理。狹義的數理邏輯指邏輯演算,包括命題演算和謂詞演算。廣義的數理邏輯已包括公理集合論、證明論、遞歸函數論、模型論等內容。最早提出數理邏輯思想的是德國的萊布尼茲,后經布爾、弗雷格、哥德爾等人的發展,于20世紀30年代形成為一門獨立的學科。數理邏輯的成果已廣泛應用于人工智能、開關線路、自動控制及計算機等領域。在中醫現代研究中數理邏輯的應用日益深入,特別在中醫智能電子計算機系統的研制中,數理邏輯是不可缺少的工具和方法

相關文獻

開放分類:計算機數學
詞條數理邏輯ababab创建
參與評價: ()

相關條目:

參與討論
  • 評論總管
    2020/12/1 10:51:54 | #0
    歡迎您對數理邏輯進行討論。您發表的觀點可以包括咨詢、探討、質疑、材料補充等學術性的內容。
    我們不歡迎的內容包括政治話題、廣告、垃圾鏈接等。請您參與討論時遵守中國相關法律法規。
抱歉,功能升級中,暫停討論
特別提示:本文內容為開放式編輯模式,僅供初步參考,難免存在疏漏、錯誤等情況,請您核實后再引用。對于用藥、診療等醫學專業內容,建議您直接咨詢醫生,以免錯誤用藥或延誤病情,本站內容不構成對您的任何建議、指導。

本頁最后修訂于 2011年9月1日 星期四 9:25:12 (GMT+08:00)
關于醫學百科 | 隱私政策 | 免責聲明
京ICP備13001845號
互联网药品信息服务资格证书:(京)-非经营性-2018-0290号

京公網安備 11011302001366號