计算机科普
所有栏目
首页
教育资讯
知道问答
公考资讯
司法考试
建筑知识
工作范文
大学排名
报考专业
学习方法
句子美文
秒知回答
作业解答
精选答案
知途问学
等式逻辑
作者：爱百科
2023-09-15 10:43:37
等式逻辑（equatio
nal logic）是2018年公布的计算机科学技术名词。
等式逻辑定义
以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。
等式逻辑出处
《计算机科学技术名词 》第三版。
其他人也在看
临江仙·金锁重门荒苑静
2023-10-09 08:03:07
玉楼春·池塘水绿春微暖
2023-10-09 06:36:43
坐戒垂堂
2023-10-09 05:54:58
欲益反弊
2023-10-09 04:31:07
忧国奉公
2023-10-09 04:25:04
最新文章
艺考才艺展示的注意事项
2024-08-28 12:33:20
每年大学生毕业人数有多少
2024-08-28 12:33:16
清华北大各省名额分配
2024-08-28 12:33:14
教育部：补齐学前教育普惠性资源短板
2024-08-28 12:33:13
双减政策会影响高中补课吗
2024-08-28 12:33:13
中考录取分数线是多少
2025-04-29 10:01:46
高中录取分数多少分
2025-04-29 10:01:46
高中录取分数线是多少
2025-04-29 10:01:45
考研的录取率是多少
2025-04-29 10:00:54
河北单招多少分录取
2025-04-29 10:00:52
古陶瓷专业怎么样
2025-05-05 22:24:23
专业打孔的怎么样
2025-05-05 22:24:21
重音专业口琴怎么样
2025-05-05 22:24:14
职中烘焙专业怎么样
2025-05-05 22:24:13
通信专业地位怎么样
2025-05-05 22:24:07
赛车培训有哪些费用
2025-04-29 00:26:02
铜川动画培训有哪些
2025-04-29 00:26:01
湖里哪些培训机构停课
2025-04-29 00:26:01
龙潭培训机构有哪些
2025-04-29 00:26:01
中山英语培训哪里好
2025-04-29 00:26:01
热点导航
教育资讯
知道问答
公考资讯
司法考试
建筑知识
工作范文
大学排名
报考专业
学习方法
句子美文
秒知回答
作业解答
精选答案
知途问学
