摘要: 离散数学课程重点 命题逻辑 本次课的主要内容 :命题及其表示法;联结词;命题公式与翻译。 本次课的重、难点 :理解命题的概念和表示方法;弄懂命题联结词否定、合取、析取、条件(视频中称蕴含)和双条件(视频中称等价)的定义,及其与自然语言中相关联结词的联系和区别。掌握命题符号化的方法:(1)找出原子命题 阅读全文
posted @ 2020-04-19 21:59 Weber·Bon 阅读(772) 评论(0) 推荐(0) 编辑
摘要: 博客园美化 博客皮肤 :darkgreentrip 不要勾选禁用模板默认CSS 看板娘需要导入配置文件, "这是链接" 页面定制CSS代码 博客侧边栏公告 页首HTML代码 页脚HTML代码 ==博客示例== : "WeberBon" 阅读全文
posted @ 2020-04-19 10:00 Weber·Bon 阅读(436) 评论(3) 推荐(2) 编辑