这篇命题论文范文属于计算机应用免费优秀学术论文范文,关于命题方面学士学位论文,与计算机数理演算系统的演示相关计算机发论文。适合命题及范式及逻辑方面的的大学硕士和本科毕业论文以及命题相关开题报告范文和职称论文写作参考文献资料下载。
摘 要：本论文针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题,以教学课堂实例为基础,以具体程序事例来比较,证明该系统的优越性,对计算机辅助教学起到了一定的作用.
关 键 词 ：系统；真值表；主合取范式
本文来源:http://www.sxsky.net/jisuanji/jsjyy/411889.html
中图分类号：G712 文献标识码：B 文章编号：1002-7661（2013）30-039-01
一、需求分析
1.可行性研究
可行性研究的目的是用最小的代价在尽可能短的时间内确定该软件项目是否能够开发,是否值得开发.可行性研究实质上是要进行一次简化、压缩了的需求分析和设计过程,要在较高层次上以较抽象的方式进行需求分析和设计过程.
本系统采用 vb 技术并且结合当前主流的开发技术进行开发,为了方便教学演示,提高教学的工作效率和简便性,为了适应新形势的发展,我开发了这一系统,只能说是初步的开发探索.希望它能够在现代的数理逻辑方面的教学中发挥快速,便捷的作用,希望可以减轻教师繁重的教学工作量.用户仅需具有基本的电脑操作能力即可.所以使用者不必担心在使用该系统时可能出现的困难,所有的教师都可以熟练的操作.
2.专业知识的需求
范式是对含n个命题变元公式的标准表示形式,就像一元二次方程是方程的一种标准形式.范式有析取范式和合取范式两种.由于析取范式和合取范式不唯一,所以使用起来很不方便.为此,我们引入主析取范式和主合取范式的概念.当命题变元的顺序确定以后,主析取范式和主合取范式是唯一的.析取范式和合取范式的基本成分是简单合取式和简单析取式,而主析取范式和主合取范式的基本成分是极小项和极大项.极小项和极大项是特殊的简单合取式和简单析取式.全部由极小项构成的析取范式,称为主析取范式.任何命题公式都存在着与之等值的主析取范式.利用主析取范式解决生活中实际应用的逻辑题非常容易.
下面的例题是对主析取范式和主合取范式的应用.
例1 A、B、C、D四个人有且只有两个人参加围棋比赛.关于谁参加比赛,下列四个判断都是正确的：
a.A和B只有一人参加比赛；b.C参加,D必参加；c.B或D至多参加一人；d D不参加,A也不会参加.请推断出哪两个人参加围棋比赛.
如何写命题一篇好的本科论文
播放:38448次 评论:5594人
解 设p：A参加了比赛. q：B参加了比赛.
r：C参加了比赛. s：D参加了比赛.
3.命题逻辑推理理论
人们在思维过程中,总是根据已有的知识,反映更为复杂的事物之间的联系,从而扩大认识领域,获得新的知识.如,人们根据气象分析,可以做出天气预报.这是一种由已知推断未知的思考活动,反映这种思维活动的思维形式就是推理.推理是由一个或几个已知命题推出新命题的思维形式.
每个推理都包含着两部分的命题：一部分是已知的命题,它是推理的根据,叫做推理的前提；另一部分是由此而推导出的命题,叫做推理的结论.
这里的推理与传统数学中的定理证明不同.在传统数学中,定理的证明实质上是由全是真命题的前提（已知条件）推出也是真命题的结论,目的是证明结论的正确（这样的结论可以称为合法结论）.数理逻辑中的推理着重研究的是推理的过程,这种过程称为演绎或形式证明.在过程中使用的推理规则必须是公认的并且要明确列出,而作为前提和结论的命题并不要求它们一定是真命题,这样的结论称为有效的结论.
结论是从前提出发应用推理规则推出的命题公式.证明是描述推理正确或错误的过程.要研究推理,首先应该明确什么样的推理是有效的或正确的.要想知道推理的正确与否,必须写出正确的推理公式,利用该演示系统求得结果为1,推理必正确,不为1,推理不正确.
| 有关论文范文主题研究: | 关于命题的论文范文素材 | 大学生适用: | 学校学生论文、本科毕业论文 |
|---|---|---|---|
| 相关参考文献下载数量: | 45 | 写作解决问题: | 如何怎么撰写 |
| 毕业论文开题报告: | 标准论文格式、论文摘要 | 职称论文适用: | 杂志投稿、职称评初级 |
| 所属大学生专业类别: | 如何怎么撰写 | 论文题目推荐度: | 免费选题 |
二、系统演示
1、命题逻辑有时称为命题演算,是一种用于命题操作的符号逻辑.特别的,命题逻辑针对逻辑变量进行运算,逻辑变量代表了命题.此外,命题逻辑有时也称为语句演算或句子演算.命题逻辑主要考察那些或者为真或者为假的陈述性句子.“一个正方形有四条边.”这样一个句子的真值为真,“一个正方形有五条边.”这样一个句子的真值为假.一个真值确定的句子称为一个语句或一个命题.一个语句也叫做一个封闭句子,因为它的真值对任何问题都不会不确定.通过在语句间使用逻辑联结词,就可以形成复合语句.
2、虽然命题逻辑是有用的,但它有局限性：命题逻辑只能处理完整的语句.也就是说,它不能检查语句的内部结构.为了分析更一般的情形,提出了谓词逻辑.最简单的形式是一阶谓词逻辑,它是逻辑程序设计语言.命题逻辑是谓词逻辑的一个子集.谓词逻辑关心句子的内部结构.特别的,谓词逻辑使用一种特殊的词,即量词.如“所有”、“有些”、“没有”.这些量词非常重要,因为它们明确地量化了其它词,使句子的语义更为确切
关于命题方面论文范文文献
由于一阶逻辑考虑语言的内部结构,包含命题逻辑,所以就从命题逻辑开始研究,以后逐步拓展到一阶逻辑的演示系统.
关于命题方面计算机发论文,关于计算机数理演算系统的演示相关硕士论文范文参考文献：
物理演示实验论文
名,2.课程安排,本学期课程内容:实验理论课+6个必做实验+演示物。大学物理实验讲义进,课题组成员在教学过程中充分发挥计算机在物理教学过程中的作用,编制了大量的程序,建立了一套大学物。
计算机操作系统
统的基本概念,掌握微型计算机操作系统的基本使用方法,了解并掌握文字编辑,电子表格,电子演示文稿,网络使用,多媒体等软件的基本知识和操作技能,了。服务器操作系统下载武汉,服务器操作系统下。
数理金融论文
:导师评语,导师签字,日期:开题答辩小组意见:(是否同意开题,题目应作。金融论文数据库湖南理系统中计算机应用(实践)2016年6月21日报名地点:厦门大学经济学院计统系a座314。
计算机软件系统包括
中包括计算机基础知识,windowsxp操作系统,应用因特网,文字处理软件的应用,制作电子表格,多媒体软件应用和制作演示文稿共七章内容,题型有单选题,多选题,判断题,打字题,wor。
数理统计论文
概率论与数理统计专业03054概率论与数理统计46464314院02603会计学34848413院03032财经管理信息系统及其应用2323241。数理经济与统计系简介四,主干学。
计算机应用系统
机系统结构"专题学习网站的系统框架图,信息发布,系统管理,单元测。计算机课程设置学校,计算机应用基础与数理统计(经管类),线性代数(经管类),管理学原理,国际贸易理论与实务,企业经。
计算机系统管理论文
计算机应用,管理系统中计算机应用《管理系统中计算机应用》,考试大纲,编,山东经济学院,2016年1月, 目录,第一部分理论考试大纲1,一,课程性质及课程设置的目的和要求1,。学。
数理经济学论文
数理经济学教学的研究与实践数理经济学教学的研究与实践数理经济学教学的研究与实践摘要：我国数理经济分析开展相对较晚，目前以学习和模仿国外为主。由于国内外的经济体制和环境存在差异，。
计算机系统结构
2016计算机系统结构,计算机系统结构摘要本文分析了我校"计算机系统结构"课程存在的一些问题,包括讲授学时不够,教。计算机系统结构第43次全国计算机等级考试报名流程及时间安排,安。
计算机系统结构基础
2016计算机系统结构,计算机系统结构以计算机系统的外部特性为主来计算机系统基本结构的一门学科是计算机及相关学科的专业技术基础课程.作为计算机学科的一个分支,计算机系统结构主要研。
13888888888
点击咨询 