发布时间：
应用型本科：指以应用型为办学定位，而形成的一批占全国本科高校总数近30%，与传统本科院校不同的本科院校。应用型本科教育对于满足中国经济社会发展，对高层次应用型人才需要以及推进中国高等教育大众化进程起到了积极的促进作用。应用型本科院校的发展初期，需要有良好的政策和外部环境支持，需要建立理论层面的支撑体系。 应用型技术本科与普通本科相比,有更多的实验,实训,实习.相对来说,办法成本较高,学费也较贵. 广西桂林电子科技大学科学计算机科学与技术（应用型本科）主要课程：结构化程序设计、计算方法、离散数学、操作系统、编译原理、TCP/IP协议原理及编程、网络交换及路由技术、ORACLE数据库管理、分布式开发技术、Windows程序设计、单片机原理、嵌入式系统、软件项目管理等。 具体信息建议你上 广西桂林电子科技大学科学 的校园网看看！
用A表示阅读《每月新闻杂志》的人用B表示阅读《时代》的人用C表示阅读《财富》的人（1）ABC = （A∪B∪C） - (A + B + C - AB - BC - CA)= (60 - 8) - (25 + 26 + 26 - 9 - 11 - 8)= 3（2）A -B -C = A - AB - AC + ABC= 25 - 9 - 11 + 3= 8B -C-A = B - BC - BA + ABC= 26 - 8 -11 + 3= 10C -A-B = C - CA - CB + ABC= 26 -8 - 9 + 3= 12
01
人物简介
比尔·盖茨，全名威廉·亨利·盖茨三世，简称比尔或盖茨。1955年10月28日出生于美国华盛顿州西雅图。13岁开始计算机编程设计，18岁考入哈佛大学，1975年与好友保罗·艾伦一起创办了微软公司，比尔盖茨担任微软公司董事长、CEO和首席软件设计师。1986年，比尔·盖茨进入Fortune亿万富豪榜，约3亿1千5百万美元。1995年比尔·盖茨成为世界首富，约200亿美元。比尔·盖茨1995-2007年连续13年成为《福布斯》全球富翁榜首富 ，连续20年成为《福布斯》美国富翁榜首富。
02
人物经历
比尔·盖茨有关于计算机的天赋和洞察力是微软公司和软件业界成功的关键。
他的计算机才能崭露头角是在13岁时，独立编出了第一个电脑程序。
1970年代，还在哈佛大学读书的盖茨与伙伴保罗·艾伦一起为Altair 8800电脑设计Altair BASIC解译器。比尔·盖茨在上学期间，还主修了操作系统，数据库，编译器，计算机图形学，并且这四门都拿了A。盖兹在大二时写了一篇论文，里面用到了他设计出来的一个算法。此文四年后挂了他老师的名字发表到了该领域的顶级期刊《离散数学》上。
下附比尔盖茨大学期间《离散数学》论文
从20岁创办微软起，比尔·盖茨积极地参与微软公司的关键管理和战略性决策，并在新产品的技术开发中发挥着重要的作用。
1980年8月28日，盖茨以5万美元价格购买了一款名QDOS的操作系统软件，对其稍加改进后，将该产品更名为DOS（操作系统软件），然后将其授权给IBM使用。IBM-PC机的替及使MS-DOS取得了巨大的成功，因此80年代，它成了PC机的标准操作系统。
Windows95/98/ME/NT/2000/Me/XP/Server2003/Vista这些微软的拳头产品成功地占有了从PC机到商用工作站甚至服务器的广阔市场，为微软公司带来了丰厚的利润。公司在Internet软件方面也是后来居上，抢占了大量的市场份额。
1984年，微软公司的销售额超过1亿美元。1997年6月为止的会计年度，微软营业额为113亿美金。1999年6月，微软市场价值达到亿美元，名列全球1000大企业榜首，超过了通用电气公司(亿美元)。
微软最核心的竞争力就是可以迅速进入其他领域并且对原有市场主导力量形成威胁的 能力。在IT软件行业流传着这样一句告诫：“永远不要去做微软想做的事情”，可见，微软的巨大潜力已经渗透到了软件界的方方面面,简直是无孔不入，而是所向披靡。
03
人物评价
比尔·盖茨对全人类的影响既深且远，并不仅限于IT行业。而所有的动力都来自于他个人的信仰:「想象未来每个人的桌面上都有一台电脑」。
作为世界第一大 PC 系统的创始人远在1970年代大型主机电脑当道时，他就敢做这种梦，是因为相信自己看到了别人没看到的事情。
04
经典语录
“我深信任何可以增进人与人之间沟通的方法都具有长远的价值，人们借此相互学习，并且共同努力达到彼此认同的自由。”
“幸运之神会光顾世界上的每一个人,但如果她发现这个人并没有准备好要迎接她时,她就会从大门里走进来,然后从窗子里飞出去。”
“只要有坚强的持久心，一个庸俗平凡的人也会有成功的一天,否则即使是一个才识卓越的人,也只能偶遇失败的命运。”
“强烈的欲望也是非常重要的。人需要有强大的动力才能在好的职业中获得成功。你必须在心中有非分之想,你必须尽力抓住那个机会。”
“如果你已经制定了一个远大的计划,那么就在你的生命中,用最大的努力去实现这个目标吧。”
从退学建立微软
比尔·盖茨只用了20年
成为世界首富
蝉联13年《福布斯》榜首
应用数学和力学属于【月刊】，审稿周期在【1-3个月】左右，具体周期以杂志社公布为准。应用数学和力学属于【月刊】，审稿周期在【1-3个月】左右，具体周期以杂志社公布为准。前往《应用数学和力学》首页，应用数学和力学简介《应用数学和力学》（月刊）由钱伟长院士创刊于1980年，是由中华人民共和国交通部主管、重庆交通学院主办的科技学术期刊。《应用数学和力学》本刊宗旨：致力于反映力学和应用数学的前沿研究状况，促进学术交流，推动力学和应用数学的发展，为我国国民经济建设和科学现代化服务。主要刊登：力学、力学中的数学方法和与近代力学密切相关的应用数学的创造性学术论文。读者对象为从事与力学和应用数学有关专业的科研工作者、工程设计人员和大专院校师生，以及对本学科魔域私服有兴趣的读者。获奖情况：国际工程索引（EI）收录期刊；我国力学类核心期刊；中国期刊方阵“双效”期刊；四川省首届和第二届科技期刊评比优刊二等奖；四川省优秀期刊奖；四川省教委优秀科技期刊二等奖。
应用型本科：指以应用型为办学定位，而形成的一批占全国本科高校总数近30%，与传统本科院校不同的本科院校。应用型本科教育对于满足中国经济社会发展，对高层次应用型人才需要以及推进中国高等教育大众化进程起到了积极的促进作用。应用型本科院校的发展初期，需要有良好的政策和外部环境支持，需要建立理论层面的支撑体系。 应用型技术本科与普通本科相比,有更多的实验,实训,实习.相对来说,办法成本较高,学费也较贵. 广西桂林电子科技大学科学计算机科学与技术（应用型本科）主要课程：结构化程序设计、计算方法、离散数学、操作系统、编译原理、TCP/IP协议原理及编程、网络交换及路由技术、ORACLE数据库管理、分布式开发技术、Windows程序设计、单片机原理、嵌入式系统、软件项目管理等。 具体信息建议你上 广西桂林电子科技大学科学 的校园网看看！
教师队伍情况 经过近10年的课程建设，围绕本课程，形成了由广西首批教学团队负责人、学校示范教授、教学名师董荣胜具体负责，由全国模范教师、广西教学名师古天龙教授指导，拥有学校“十佳师德”标兵称号的，多次获得国家和省部级有关教学奖，发表多篇（部）在国内较有影响教学论著、结构合理、年轻而又有富有朝气的师资队伍。 一、课程负责人董荣胜，男，广西高等学校教学名师，桂林电子科技大学计算思维及应用研究室主任、教授、硕士生导师。二、教学指导及专题讲座古天龙，男，博士，桂林电子科技大学副校长、教授、博士生导师。三、主讲教师钟艳如，女，硕士，桂林电子科技大学计算机与控制学院副院长，计算思维及应用研究室教授、硕士生导师。陈光喜，男，博士，桂林电子科技大学现代教育技术中心主任、副教授、硕士生导师。赵岭忠，男，博士，桂林电子科技大学计算思维及应用研究室副教授、硕士生导师。常 亮，男，博士，桂林电子科技大学计算思维及应用研究室副教授、硕士生导师。李凤英，女，硕士，桂林电子科技大学计算思维及应用研究室讲师。课程负责人董荣胜教授 董荣胜，男，广西高等学校教学名师，桂林电子科技大学计算思维及应用研究室主任、教授、硕士研究生导师。1989年7月毕业于中国地质大学计算机科学系，现为全国高等学校计算机教育研究会理事、中国计算机学会教育专业委员会委员、广西计算机学会理事、广西首批区级教学团队负责人、桂林电子科技大学教学指导委员会委员、学校示范教授、教学名师。研究方向：网络安全协议、形式化技术、计算思维与计算机方法论。承担了国家八五攻关项目、总装备部项目、国家863计划项目、国家自然科学基金、国防预研项目、广西科学基金等国家和省部级科研项目10余项，是计算学科认知理论——计算机科学与技术方法论的构建者和倡导者，在国内外重要学术刊物和会议发表学术论文80余篇，出版著作型教材2部，以第一作者撰写的论文和著作分别被他人引用160多次，主要成果被美国计算学科教程（CC2001）和《中国计算机科学与技术学科教程2002》采用，撰写的教材《计算机科学导论——思想与方法》（高等教育出版社，2007年9月出版）被北京大学国家级精品课程“计算概论”列为推荐教材的首位、撰写的《计算机科学与技术方法论》（人民邮电出版社，2002年9月出版）与《计算机科学导论——思想与方法》分别被华中科技大学等国内数十所高校选为教材，主持和参与的教改项目分别获广西优秀教学成果奖一等奖2次、三等奖2次，撰写的教材分别获广西优秀教材一等奖1次、广西社会科学优秀成果三等奖1次。主讲教师古天龙教授 古天龙（教授/博导/博士）生于山西、芮城，分别于、、在太原理工大学、西安电子科技大学、浙江大学获工学学士、硕士、博士学位。至在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后研究。1998年破格晋升教授，至今为西安电子科技大学博士生导师。至今任桂林电子科技大学副校长。现为IEEE高级会员、ACM会员、教育部高等学校计算机科学与技术教学指导委员会软件工程专业分会委员、中国计算机学会Petri网专委会委员、中国计算机学会计算机工程与工艺专委会委员、中国人工智能学会知识工程与分布式智能专委会委员、广西计算机学会副理事长、《计算机科学》编委。多年来一直从事计算机科学与技术和控制科学与工程交叉学科的教学和科研工作，主要研究领域为：软件工程与形式化方法；知识工程与符号计算；嵌入式系统；传感器网络与协议工程；离散事件/混杂系统等。近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金、中澳国际合作项目、教育部留学回国人员基金等20余项。出版学术著作/教材《软件开发的形式化方法》（高等教育出版社，2005）、《网络协议的形式化分析与设计》（电子工业出版社，2003）、《软件工程》（电子工业出版社，2004）、《计算机科学与技术方法论》（人民邮电出版社，2002）、《离散数学》（电子工业出版社，2008）等5部，在国内外重要学术刊物和会议发表学术论文130篇（其中EI、SCI收录51篇）。入选“国家百千万人才工程”(2004)、“广西十百千人才工程”（2000）、“广西高校跨世纪中青年学科带头人”（1996），并荣获全国模范教师（1998）、国务院政府特殊津贴专家（2004）、广西优秀专家（2007）、广西优秀留学回国人员（2006）、广西教学名师（2008）、电子工业部优秀科技青年（1996）、电子工业系统优秀教师（1997）、广西高校科技进步二等奖（1998）、广西优秀教材一等奖（2006）、广西优秀教材一等奖（2003）、广西优秀教学成果一等奖（2004）、广西社会科学优秀成果三等奖（2004）等。主讲教师钟艳如教授 钟艳如（教授/硕导） 生于江西、宜春，分别于、于桂林电子科技大学获工学学士、硕士学位。晋升教授。现任全国高等学校计算机教育研究会计算机网络教育分会理事，广西计算机学会会员，桂林电子科技大学计算机与控制学院副院长。多年来一直从事计算机学科科学与工程交叉学科的教学和科研工作。主要研究领域为：知识工程与符号计算、计算机辅助精度设计、新一代GPS标准体系的理论等。共承担和完成科研项目12项，其中包括，主持区自然科学基金(2007年)、区教育厅项目(2004年)、横向课题(2005年)和校科研课题(2003年)各1项，参加国家自然科学基金排名第二(2006年和2009年)2项和排名第四(2003年) 1项，参加（排名第二,2004年）教育部科学技术研究重大项目子课题1项，参加（排名第二，2006年）区自然科学基金1项，参加（排名第二，2004年）教育部科学技术研究重点项目1项，参加区教育厅科研项目（排名第二，2002年）和（排名第三，2006年）各1项。共承担和完成教改项目6项：主持广西教育科学“十五”规划立项课题1项，参加区高等学校精品课程排名2项（排均为名第三），校级教改项目3项（其中两项排名第一，一项排名第二）。共发表论文40多篇，其中，国际四大索引（SCI、EI、ISR、ISTP）收录期刊15篇。荣获广西优秀教学成果一等奖(“计算机科学与技术方法论的建立及其教学实践”，2004，第四)、、《多媒体技术》网络课程获得广西教育厅多媒体课件优秀奖（2004，负责人）、曾出席中国共产党广西壮族自治区第八次代表大会，获得十佳师德标兵（2008）等。主讲教师陈光喜副教授 陈光喜（副教授/博士），男，汉族，1971年生。1997年7月复旦大学数学研究所计算数学专业硕士毕业；2002年7月中国科学院成都计算所计算机软件与理论专业博士毕业。1997年7月至2003年8月中国科学院成都计算所自动推理实验室助理研究员；2003年8月至今，桂林电子科技大学副教授。2005年6月起任桂林电子科技大学现代教育技术中心主任。从事计算机软件与理论、应用数学专业的教学与科研工作。广西教育技术协会常务理事。近3年来参加国家自然基金项目2项，主持广西教育厅科研和教改项目6项，其它科研项目8项；发表科研论文24篇,其中EI检索4篇；发表教学论文12篇；主编教材1部。获桂林市科技进步三等奖1项,全国多媒体课件大赛一等奖1项, 全国多媒体课件大赛三等奖1项，广西教育教学软件大赛一等奖2项。主讲教师赵岭忠副教授 赵岭忠(副教授/博士)，生于河南、南阳。分别于、在桂林电子科技大学、西安电子科技大学获工学硕士、博士学位. 近年来主持和参与国家自然科学基金、广西自然科学基金等项目10余项。涉及领域包括：复杂生产过程的符号调度、面向对象分布式实时系统的建模与任务调度、安全协议分析及模型检验等. 参与计算机科学与技术方法论的研究，并于2005年获广西区高等教育教学成果一等奖. 在《Software Quality Journal》、《计算机研究与发展》、《计算机科学》、《计算机集成制造系统》、《通信学报》、《计算机工程》等国内核心期刊及“APLAS’07”、“TASE’07”、“PRICAI’06”、“AI’06”、“SEKE’06”等重要的软件工程和人工智能国际学术会议上发表和录用论文近40篇. 目前的研究兴趣包括：逻辑程序在人工智能和软件验证领域的应用，抽象解释理论及其在逻辑程序的分析和验证、软件安全领域的应用,符号计算等。主讲教师常亮副教授 常亮(副教授/博士)，1980年6月生，2008年7月毕业于中国科学院计算技术研究所，获工学博士学位。主要研究方向为行动理论、描述逻辑、语义Web服务、智能主体、以及形式化方法。作为主要成员先后参与或完成了1项973项目子项目、1项国家863项目、2项国家自然科学基金项目。在《计算机学报》、《软件学报》、《计算机研究与发展》、《Service Oriented Computing and Applications》等国内外期刊以及“DL’07”、“KSEM’07”、“PRICAI’08”、“ICWS’08”等重要国际学术会议上发表论文20余篇，其中被EI收录11篇。 《计算机科学导论》课程教学大纲 课程类别：专业基础必修课 课程代码：总 学 时：48学时（其中，理论课32学时，实验课16学时） 学分：3适用专业：计算机科学与技术、软件工程、网络工程、信息安全、信息系统与信息管理、数字媒体、教育技术学等先修课程：无一、课程的地位、性质和任务本课程是计算机科学与技术专业学生入学学习的第一门专业必修课，它构建在计算学科认知模型的基础上，以计算思维能力的培养为核心，从学科思想与方法层面对计算学科进行导引。本课程来源于ACM教育委员会对“整个计算学科综述性导引”（计算机导论）课程构建的要求，即用严密的方式将学生引入计算学科各个富有挑战性的领域之中。本课程为学生正确认知计算学科提供方法，为今后深入学习计算机课程作铺垫。二、课程教学的基本要求本课程要求学生了解计算学科专业名称的演变，学科的描述、培养侧重点，学科各专业方向的知识体与核心课程，“计算机导论”课程的构建，了解计算学科的历史，计算学科的基本问题；计算学科中的抽象、理论和设计三个过程及其内在联系；了解计算学科各主领域的基本内容及其相应的课程设置、计算学科中的核心概念、数学方法、系统科学方法、社会和职业问题、学科若干问题、学科教育发展与展望等内容。三、教学内容与学时分配1．绪论（2学时）计算学科的定义；计算学科的根本问题；计算学科专业名称的演变；分支学科及其培养侧重点；计算机科学、计算机工程、软件工程和信息技术等4个主要分支学科的知识体和核心课程；最后，“计算机导论”课程的构建问题；计算学科认知模型——计算学科二维定义矩阵；计算学科若干问题的介绍。2．计算学科的基本问题（6学时）计算的历史；对问题进行抽象的典型实例——哥尼斯堡七桥问题；“梵天塔”问题；“停机问题”；算法复杂性中的难解性问题、P类问题和NP类问题；证比求易算法；P＝NP是否成立的问题；旅行商问题与组合爆炸问题；找零问题、背包问题与贪婪算法；“GOTO语句”与程序设计中的结构问题；“哲学家共餐”问题与计算机系统中的软硬件资源的管理；“两军问题”与计算机网络；“图灵测试”；“中文屋子”；计算机中的博弈问题。3．计算学科中的3个学科形态（6学时）一个关于“学生选课”的例子；抽象形态；理论形态；设计形态；3个学科形态的内在联系；计算机语言的发展及其3个学科形态的内在联系。4．计算学科中的核心概念（5学时）算法；数据结构；程序；软件；硬件；计算机中的数据（含进位制数及其相互转换，原码、反码和补码及其转换，字符、字符串和汉字，图像数据的表示，声音数据的表示等）；CC1991报告提取的核心概念。5．计算学科中的数学方法（5学时，含1个学时的讲座）数学的基本特征；数学方法的作用；集合，函数和关系，代数系统（含群、环、格、布尔代数，布尔代数与数字逻辑电路）；定义、定理和证明，必要条件和充分条件；证明方法；递归和迭代；公理化方法；形式化方法。6．计算学科中的系统科学方法（3学时）系统科学的基本思想；软件开发中为什么要引入系统科学方法；结构化方法；面向对象方法。7．社会和职业的问题（3学时）计算的社会背景；道德分析的方法；职业和道德责任；基于计算机系统的风险和责任；团队工作；知识产权；隐私和公民自由；计算机犯罪。8.探讨与展望(2学时)学科中的若干问题进行探讨，计算教育的发展与展望等内容。四、实验教学内容与要求1.存储程序式虚拟机（4学时）掌握机器指令的格式，理解机器指令系统的组成；理解“程序与数据”的同等看待；理解算法与机器的关系，了解程序在机器上的执行过程。2.结构化程序设计（3学时）熟悉顺序、选择、循环3种程序结构；掌握C语言编写选择、循环语句的方法。3.递归与迭代（3学时）加深理解递归及迭代的概念；掌握用C语言编写递归及迭代程序的方法；了解递归和迭代之间的差别。4.算法综合练习（4学时）熟悉结构化程序设计在算法中的应用；理解二分查找法的思想。5.实验考试（2学时）五、教学方法的原则建议建议由各学校学科带头人或骨干教师担任本课程的主讲，并使用投影仪进行教学，在教学过程中可穿插介绍一些计算机界著名学者的生平事迹以及我国计算机的发展历史六、考核方式及成绩构成成绩评定：平时成绩占10%，理论考试（开卷）成绩占70%，实验考试成绩占20%。七、教材与参考书目推荐教材：董荣胜.计算机科学导论——思想与方法.高等教育出版社.2007参考书目：1.董荣胜，古天龙.计算机科学与技术方法论.人民邮电出版社.2002 Brookshear著，刘艺等译.计算机科学概论（第9版）.人民邮电出版社.2007 3.许卓群，李文新，罗英伟.计算概论.清华大学出版社.2005 4.赵致琢.计算科学导论（第三版）.科学出版社.2004 5.王玉龙.计算机导论（第二版）.电子工业出版社.2004 6.黄国兴，陶树平，丁岳伟.计算机导论（第二版）.清华大学出版社.2008八、说明本大纲根据美国计算机协会（ACM）教育委员会对“整个计算学科综述性导引课程”课程的要求，以及教育部高等学校计算机科学与技术教学指导委员会编制的高等学校计算机科学与技术专业规范和IEEE/ACM制定的CC2001－CC2005有关教程编写。主讲教师李凤英讲师 李凤英（讲师） 生于辽宁、朝阳，分别于、在桂林电子工业学院获工学学士、硕士学位。至今一直在桂林电子科技大学计算机与控制学院任教，现在西安电子科技大学攻读博士学位。主要研究领域为：符号模型检验、Petri网、符号调度技术等的研究。近年来参加了国家自然科学基金、中澳国际合作等项目。
图论方面的话可以投的SCI不是很多，主要是离散数学、Graphs andCombinatorics、ARS Combinatoria、还有Frontiers of Mathematics inChina。
同学们可以投一些影响因子不是太高的杂志，这样可能会容易一些 。Grochow 是越来越多的研究人员之一，他们指出在大数据中寻找联系时，图论有其局限性。图将每一种关系表示为二元组或成对的交互。
然而，许多复杂的系统不能单独用二元连接来表示。该领域的最新进展显示了如何向前发展。考虑尝试建立一个育儿网络模型。显然，每个父母都与孩子有联系，但养育关系不仅仅是这两个联系的总和，因为图论可能会对其进行建模。尝试模拟同行压力等现象也是如此。
ACS Nano图论的纳米网络材料结构分析
许多具有优异性能的材料，可构造有渗透纳米网络(PNNs)。这种快速扩展的复合材料和纳米多孔材料的设计，需要一种统一的方法来描述它们的结构。
然而，它们复杂的非周期结构很难用传统的方法来描述。另一个问题是缺乏计算工具，使人们能够捕获和枚举这些复合材料中典型的随机分枝原纤维的模式。
第一个可能是12，第二个建议画图做
1980年有《现代数学方法》等译著由科学出版社出版。1985年至1986年先后在美国华盛顿大学、西华盛顿大学及加州大学洛杉矶分校研修与教学。。1986年以来，与国外学者合作，从事组合几何与离散几何学研究，有关研究成果相继在《组合论杂志》、《离散数学》等国际权威学术刊物发表，引起关注。其论文被《凸几何学》（由德、奥等国著名数学家编著）评述并作为重要参考文献。1986年夏出席世界数学家大会期间，应大会组委会正式邀请主持离散数学分会会议。1987年至2001年先后七次赴美、德、匈、罗等国讲学授课合作研究，任德国多特蒙的大学、美国缅因大学访问教授。1989年始任美国《数学评论》评论员。1989年以来多次应邀赴德、美、匈、奥、罗、日等国进行学术交流，并应聘任美、德等三所大学的访问教授。1989年春与德国数学家联合发起中德组合数学国际会议，经国家科委批准后，由河北师大主办顺利召开。1990年10月晋升为教授。1991年始享受政府特殊津贴，同年获省级有突出贡献中青年专家称号。1993年被评为全国教育系统劳动模范，同年获曾宪梓教育基金会高等师范院校教师三等奖。1995年被评为省管优秀专家。其传略被美国《世界名人录》等多种辞书所收录。现任河北省政协常委、中国组合数学研究会理事、河北省数学会理事等。近年来在《组合论杂志》（Journal of combinatorial theory）与《离散数学》（discrete Mathematics）等国际权威学术刊物发表了一系列有关组合几何学的学术论文，多次被SCI收录，引起关注。部分论文被德、奥等国专家的专著《凸几何学手册》列为重要参考文献并予评述。传略曾被收入《世界名人录》等多种国际辞书。
答案是18 58=38+15+20-x+3 x=18a) 30%+30%+30%-3*10%=60%b)1-(60%+50%+50%-3*30%+10%)=20%
universal全称existantial存在generalize推广specialize指定
太难了，估计没有人回答的。请朋友自己自力更生吧。
我不太懂一生黑白皮皮提出的问题，建议等其他网友的回答。
1、全称推广规则：universal generalization；
2、全称特指规则：universal specification；
3、存在推广规则：existential generalization；
4、存在特指规则：existential specification。
扩展资料：
离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
毕业论文是教学科研过程的一个环节，也是学业成绩考核和评定的一种重要方式。毕业论文的目的在于总结学生在校期间的学习成果，培养学生具有综合地创造性地运用所学的全部专业知识和技能解决较为复杂问题的能力并使他们受到科学研究的基本训练。标题标题是文章的眉目。各类文章的标题，样式繁多，但无论是何种形式，总要以全部或不同的侧面体现作者的写作意图、文章的主旨。毕业论文的标题一般分为总标题、副标题、分标题几种。总标题总标题是文章总体内容的体现。常见的写法有：①揭示课题的实质。这种形式的标题，高度概括全文内容，往往就是文章的中心论点。它具有高度的明确性，便于读者把握全文内容的核心。诸如此类的标题很多，也很普遍。如《关于经济体制的模式问题》、《经济中心论》、《县级行政机构改革之我见》等。②提问式。这类标题用设问句的方式，隐去要回答的内容，实际上作者的观点是十分明确的，只不过语意婉转，需要读者加以思考罢了。这种形式的标题因其观点含蓄，轻易激起读者的注重。如《家庭联产承包制就是单干吗?》、《商品经济等同于资本主义经济吗?》等。③交代内容范围。这种形式的标题，从其本身的角度看，看不出作者所指的观点，只是对文章内容的范围做出限定。拟定这种标题，一方面是文章的主要论点难以用一句简短的话加以归纳；另一方面，交代文章内容的范围，可引起同仁读者的注重，以求引起共鸣。这种形式的标题也较普遍。如《试论我国农村的双层经营体制》、《正确处理中心和地方、条条与块块的关系》、《战后西方贸易自由化剖析》等。④用判定句式。这种形式的标题给予全文内容的限定，可伸可缩，具有很大的灵活性。文章研究对象是具体的，面较小，但引申的思想又须有很强的概括性，面较宽。这种从小处着眼，大处着手的标题，有利于科学思维和科学研究的拓展。如《从乡镇企业的兴起看中国农村的希望之光》、《科技进步与农业经济》、《从“劳动创造了美”看美的本质》等。
不一定为真。原因：VxEy(x+y=0)对于所有的x总存在一个相反数。但是不存在一个x，和任意y为相反数。
命题的形式：
1、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
2、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
3、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。
扩展资料：
命题的分类：
1、原命题：一个命题的本身称之为原命题，如：若x>1，则f（x）=(x-1)^2单调递增。
2、逆命题：将原命题的条件和结论颠倒的新命题，如：若f（x）=(x-1)^2单调递增，则x>1。
3、否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序，如：若x<=1，则f（x）=(x-1)^2不单调递增。
4、逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题，如：若f（x）=(x-1)^2不单调递增，则x<=1。
参考资料来源：百度百科-命题
参考资料来源：百度百科-离散数学
如果这两个不行,你可以把这两篇论文综合一下哦
学术堂整理了一篇3000字的计算机论文范文，供大家参考：
范文题目：关于新工程教育计算机专业离散数学实验教学研究
摘要: 立足新工科对计算机类专业应用实践能力培养的要求，分析了目前离散数学教学存在的关键问题，指明了开展离散数学实验教学的必要性。在此基础上，介绍了实验教学内容的设计思路和设计原则，给出了相应的实验项目，并阐述了实验教学的实施过程和教学效果。
关键词:新工科教育;离散数学;计算机专业;实验教学
引言
新工科教育是以新理念、新模式培养具有可持续竞争力的创新型卓越工程科技人才，既重视前沿知识和交叉知识体系的构建，又强调实践创新创业能力的培养。计算机类是新工科体系中的一个庞大专业类，按照新工科教育的要求，计算机类专业的学生应该有很好的逻辑推理能力和实践创新能力，具有较好的数学基础和数学知识的应用能力。作为计算机类专业的核心基础课，离散数学的教学目标在于培养学生逻辑思维、计算思维能力以及分析问题和解决问题的能力。但长期以来“定义－定理－证明”这种纯数学的教学模式，导致学生意识不到该课程的重要性，从而缺乏学习兴趣，严重影响学生实践能力的培养。因此，打破原有的教学模式，结合计算机学科的应用背景，通过开展实验教学来加深学生对于离散数学知识的深度理解是实现离散数学教学目标的重要手段。
1．实验项目设计
围绕巩固课堂教学知识，培养学生实践创新能力两个目标，遵循实用性和可行性原则，设计了基础性、应用性、研究性和创新性四个层次的实验项目。
(1) 基础性实验
针对离散数学的一些基本问题，如基本的定义、性质、计算方法等设计了7个基础性实验项目，如表1所示。这类实验要求学生利用所学基础知识，完成算法设计并编写程序。通过实验将抽象的离散数学知识与编程结合起来，能激发学生学习离散数学的积极性，提高教学效率，进而培养学生的编程实践能力。
(2) 应用性实验
应用性实验是围绕离散数学主要知识单元在计算机学科领域的应用来设计实验，如表2所示。设计这类实验时充分考虑了学生掌握知识的情况，按照相关知识点的应用方法给出了每个实验的步骤。学生甚至不需要完成全部实验步骤即可达到实验效果。例如，在“等价关系的应用”实验中，按照基于等价类测试用例的设计方法给出了实验步骤，对基础较差的学生只需做完第三步即可达到“巩固等价关系、等价类、划分等相关知识，了解等价关系在软件测试中的应用，培养数学知识的应用能力。”的实验目的。
(3) 研究性实验研究性实验和应用性实验一样
也是围绕离散数学主要知识单元在计算机科学领域中的应用来设计实验，不同之处在于，研究性实验的实验步骤中增加了一些需要学生进一步探讨的问题。这类实验项目一方面为了使学生进一步了解离散数学的重要性，另一方面为了加强学生的创新意识与创新思维，提高计算机专业学生的数学素质和能力。表 3 给出了研究性试验项目。
(4) 创新性实验
在实际教学中还设计了多个难度较高的创新性实验题目，例如，基于prolog语言的简单动物识别
系统、基于最短路径的公交线路查询系统、简单文本信息检索系统的实现等，完成该类实验需要花费较长的时间，用到更多的知识。通过这些实验不仅有利于培养学生分析问题、解决问题的能力和创新设计能力，也有利于培养学生独立思考、敢于创新的能力。
3．实验教学模式的构建
通过实验教学环节无疑可以激发学生对课程的兴趣，提高课程教学效率，培养学生的实践创新能力。但是，近年来，为了突出应用性人才培养，很多地方本科院校对离散数学等基础理论课的课时进行了压缩，加之地方本科院校学生基础较差，使得离散数学课时严重不足，不可能留出足够的实验教学时间。针对这种情况，采用多维度、多层次的教学模式进行离散数学实验教学。
(1) 将实验项目引入课堂教学
在离散数学的教学过程中，将能反映在计算机科学领域典型应用的实验项目引入到课堂教学中，引导学生应用所学知识分析问题、解决问题。例如在讲授主析取范式时，引入加法器、表决器的设计，并用multisim进行仿真演示，让学生理解数理逻辑在计算机硬件设计中的作用。又如讲谓词逻辑推理时，引入前一届学生用Prolog完成的“小型动物识别系统”作为演示实验。这些应用实例能够让学生体会数理逻辑在计算机科学领域的应用价值，不仅激发学生的学习兴趣，提高课堂教学效率，也锻炼了学生的逻辑思维，培养了学生的系统设计能力。
(2) 改变课后作业形式，在课后作业中增加上机实验题目
由于课时有限，将实验内容以课后作业的形式布置下去，让学生在课余时间完成实验任务。例如讲完数理逻辑内容后，布置作业: 编写 C语言程序，实现如下功能: 给定两个命题变元 P、Q，给它们赋予一定的真值，并计算P、P∧Q、P∨Q的真值。通过完成，使学生掌握命题联结词的定义和真值的确定方法，了解逻辑运算在计算机中的实现方法。又如，把“偏序关系的应用”实验作为“二元关系”这一章的课后作业，给定某专业开设的课程以及课程之间的先后关系，要求学生画出课程关系的哈斯图，安排该专业课程开设顺序，并编写程序实现拓扑排序算法。通过该实验学生不仅巩固了偏序关系、哈斯图等知识，而且了解到偏序关系在计算机程序设计算法中的应用和实现方法。
(3) 布置阅读材料
在教学中，通常选取典型应用和相关的背景知识作为课前或课后阅读材料，通过课堂提问抽查学生的阅读情况。这样，不仅使学生预习或复习了课程内容，同时也使他们对相关知识点在计算机学科领域的应用有了一定的了解。例如，在讲解等价关系后，将“基于等价类的软件测试用例设计方法”作为课后阅读材料; 在讲解图的基本概念之前，将“图在网络爬虫技术中的应用”作为课前阅读材料; 货郎担问题和中国邮路问题作为特殊图的课后阅读材料。通过这些阅读材料极大地调动学生学习的积极性，取得了非常好的教学效果。
(4) 设置开放性实验项目
在离散数学教学中，通常选择一两个创新性实验项目作为课外开放性实验，供学有余力的学生学习并完成，图1给出了学生完成的“基于最短路径公交查询系统”界面图。同时，又将学生完成的实验系统用于日后的课堂教学演示，取得了比较好的反响。
(5) 利用网络教学平台
为了拓展学生学习的空间和时间，建立了离散数学学习网站，学习网站主要包括资源下载、在线视频、在线测试、知识拓展和站内论坛五个部分模块，其中知识拓展模块包含背景知识、应用案例和实验教学三部分内容。通过学习网站，学生不仅可以了解离散数学各知识点的典型应用，还可以根据自己的兴趣选择并完成一些实验项目。在教学实践中，规定学生至少完成1－2个应用性实验项目并纳入期中或平时考试成绩中，从而激发学生的学习兴趣。
4．结束语
针对新工科教育对计算机类专业实践创新能力的要求，在离散数学教学实践中进行了多方位、多层次的实验教学，使学生了解到离散数学的重要
性，激发了学生的学习兴趣，提高了学生程序设计能力和创新能力，取得了较好的教学效果。教学团队将进一步挖掘离散数学的相关知识点在计算机学科领域的应用，完善离散数学实验教学体系，使学生实践能力和创新思维得以协同培养，适应未来工程需要。
参考文献:
［1］徐晓飞，丁效华．面向可持续竞争力的新工科人才培养模式改革探索［J］．中国大学教学，2017(6)．
［2］钟登华．新工科建设的内涵与行动［J］．高等工程教育研究，2017(3)．
［3］蒋宗礼．新工科建设背景下的计算机类专业改革养［J］．中国大学教学，2018( 11) ．
［4］The Joint IEEE Computer Society/ACM Task Force onComputing Curricula Computing Curricula 2001 ComputerScience［DB / OL］． http:/ / WWW． acm． org / education /curric_vols / cc2001． pdf，2001．
［5］ACM/IEEE － CS Joint Task Force on Computing Curricula．2013． Computer Science Curricula 2013［DB / OL］． ACMPress and IEEE Computer Society Press． DOI: http: / / dx．doi． org /10． 1145 /2534860．
［6］中国计算机科学与技术学科教程2002研究组．中国计算机科学与技术学科教程2002［M］．北京: 清华大学出版社，2002．
［7］张剑妹，李艳玲，吴海霞．结合计算机应用的离散数学教学研究［J］．数学学习与研究，2014(1) ．
［8］莫愿斌．凸显计算机专业特色的离散数学教学研究与实践［J］．计算机教育，2010(14)