计算机百科网>> 百科分类 >> 计算机科学 >> 形式化基础

"形式化基础" 分类下的词条该分类下有0个词条创建该分类下的词条

形式化基础

逻辑学
谓词逻辑
模态逻辑
时序逻辑
描述逻辑
数学
泛代数
递归论
模型论
概率论和数理统计
逻辑代数
离散数学
信息论