数理逻辑(數理邏輯)是什么意思
数理逻辑-现代汉语大词典
数理逻辑shù lǐ luó jí
【释义】：
也叫符号逻辑。运用数学方法，借助符号，系统地研究思维的形式结构及其规律的一门数学分支。主要包括逻辑演算、模型论、集合论、递归论、证明论等部分。广泛用于计算机科学、人工智能、控制论、自动化、心理学、量子力学等方面。
版权声明：本文内容由互联网用户投稿及网络搜集，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请联系QQ：37996619（同微信）举报，一经查实，本站将立刻删除。