大学离散数学逻辑入门逻辑

点击联系发帖人 时间：2019-02-28 17:24

离散数学逻辑

《集合论与图论》第1讲第1讲命题邏辑基础 1. 命题、命题符号化 2. 合式公式、真值表、永真式 3. 逻辑等值式、推理定律 4. 形式化证明命题符号化简单命题： p,q,r,p1,q1,r1,… 联结词：合取联结词：? 析取联结词：? 否定联结词：? 蕴涵联结词：? 等价联结词：? 逻辑真值： 01 真值表(truth-table) 赋值(assignment)：给变元指定0、1值 n个变元，共有2n种不同的赋值真值表(续) 永嫃式(tautology) 永真式:在各种赋值下取值均为真(重言式) 永假式:在各种赋值下取值均为假(矛盾式) 可满足式：非永假式逻辑等值式(identities) 等值： A?B 读作：A等值于B 含義：A与B在各种赋值下取值均相等 A?B 当且仅当 A?B是永真式例如：每个等值式模式都给出了无穷多个同类型的具体的等值式等值式模式(举例) 蕴涵等值式模式 A?B??A?B 取A=p，B=q时得到 p?q??p?q 取A=p?q?r，B=p?q时得到 (p?q?r)?(p?q)??(p?q?r)?(p?q) 对偶原理一个逻辑等值式，如果只含有? ? ，? 0，1 那么同时把?与?互换把 0 与 1互换得到的还是等值式

}

【摘要】：计算机科学是一门新型学科正在蓬勃发展，并已成为科学技术现代化的一个重要标志近十多年来各类高等院校相继成立了计算机科技系，一些新的课程如數学结构、网络原理、编译原理等它们所研究的对象大多呈离散型的离散数学正是在这样的背景下逐步形成的，至今它已成为计算机科學一门重要的专业基础课离散数学所研究的对象及其方法均与普通数学有着较大差别，它研究的是离散量之间关系和内部结构不少学習者觉得它较为难学，对其章节内容大有“又离又散”之感对独立完成全部作业更有一定困难，特别对第一次接触到用程式化方式证明命题成立问题往往感到无从下手为了对学习者掌握这类题的解题方法有所帮助，本人谈一点浅显看法

支持CAJ、PDF文件格式，仅支持PDF格式

汤巧英;[J];中国人民公安大学学报(自然科学版);1998年03期

于春红;;[J];淮北煤炭师范学院学报(自然科学版);2009年03期

孙凤芝,刘建群,祁彦平;[J];高师理科学刊;2005年01期

杨丽英;;[J];湖喃人文科技学院学报;2018年01期

张艳群;汪楚娇;王虎;韩丽霞;;[J];数学学习与研究;2017年13期

中国重要会议论文全文数据库

冯平;马智刚;;[A];电工理论与新技术2004年学术研讨会论文集[C];2004年

黄贤珍;张春元;高峰修;;[A];中国电子教育学会高教分会2010年论文集[C];2010年

高峻;唐远新;陈德运;;[A];传承与创新——提升高等教育质量[C];2014年

李涛;刘峰;任世军;姜守旭;;[A];深化教学改革·提升高等教育质量（下册）[C];2015年

中国重要报纸全文数据库

中国硕士学位论文全文数据库

订购知网充值卡

同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱大众知识服务

}

例如π是无理数。另外，如果6能整出4就能整出2。符号化咋表示... 例如 π是无理数。另外，如果6能整出4就能整出2。符号化咋表示

你对这个回答的评价是

}

我爱游戏网