网站首页 汉语字词 英语词汇 考试资料 写作素材 旧版资料
也叫符号逻辑。运用数学方法，借助符号，系统地研究思维的形式结构及其规律的一门数学分支。主要包括逻辑演算、模型论、集合论、递归论、证明论等部分。广泛用于计算机科学、人工智能、控制论、自动化、心理学、量子力学等方面。
在线学习网汉语字典收录160640条汉字词条，基本涵盖了全部常用汉字及词语的释义及用法，是语文学习的有利工具。