2017年8月1日
计算理论入门 1.1 命题逻辑
摘要： 1.1 命题逻辑 原文：Foundations of Computation 译者：飞龙 协议：CC BY-NC-SA 4.0 自豪地采用谷歌翻译 一个命题是一个或真或假的陈述。 在命题逻辑中，我们将命题看做基础，看看我们能做什么。 既然这是数学，我们需要能够谈论命题，而不是说我们在说什么特定的命题 阅读全文
posted @ 2017-08-01 19:20 绝不原创的飞龙 阅读(65) 评论(0) 推荐(0) 编辑