学术堂整理了一篇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)
数学系张义堂教授声称，他已经解决了兰道·西格尔的零猜测，这引起了数学界的关注。数学的定义在数学中真的很少见，“迟来的大工具”，这是一个罕见的奇迹。成就引起了很多关注，因为数学是一门非常深刻的学科，要在数学上取得成功并不容易，而且要知道写已发表的文章需要更长的时间。许多人同时，由于缺乏耐心，也要放弃一半。
许多人不知道这种猜测有多令人兴奋，简单地说，如果兰道·西格尔的猜测推翻了黎曼的猜测，那么现代数学可能就是一切。数学课涉及的范围非常广泛，黎曼猜测是七种猜测之一物理学领域的伟大猜测，适用于世界上许多数学问题，如果黎曼猜想是一击，那么利用黎曼猜想解决世界数学问题的这一阶段将是一击，这将是所有物理学都是一个根本性的变化。
这是一个令人兴奋的消息，立即让很多人愿意尝试，许多人正在等待张义堂正式发布书面信息，在这个阶段，张义堂只是口头上实现了兰道·西格尔的猜测兰道·西格尔的猜测只是一种黎曼猜测，如果他相信的话，黎曼猜测就是验证。
兰道·西格尔的猜测实际上是零猜测，其本质是证明传统零区域中是否有任何零。黎曼猜测，除1/2的真实部分外，所有非微不足道的零功能都位于平行线上。从零开始。2013年，他在顶级数学杂志上发表了第一篇论文，表明部长们的数量是无限距离的。此后，在双重猜想方面取得了重大进展，震惊了数学界。后来，张义堂在朋友的推荐下，前往新罕布什尔大学数学和统计系担任助教和讲师，教授微积分、代数、质数理论等课程。最后，他回到了在学院的梦想。
这是一篇有关“素数定理”的论文。数学界的几大猜想中，“素数猜想”一直饱受质疑，如今张益唐教授终于将其攻破。据《澎湃新闻》报道，日前，美国国家科学院院士、英国皇家学会会士张益唐教授在国际知名学术期刊《Nature Communications》上发表论文，对“素数猜想”这一数学界尚未攻克的难题进行了详尽、系统、深入的研究，该工作在理论上为零点猜想这一世界级数学难题的解答开了一个好头。
此前，张益唐已成功解决了国际同行最难的素数猜想——“阿贝尔奇偶性”、并且证明了该猜想对于数理论界基本问题之一——黎曼猜想是具有重要意义。在国际数学联盟（微分几何领域中最具权威的组织）第29届大会上，代表中国学者发表获奖论文《关于素数闭区间1≤ R 0< n> Bi 2-12 a》。
素数猜想，是对数论中素数定义理论、数论和拓扑学基本问题提出的一系列数学问题。它对一般数论、数理逻辑和计算机科学等多个学科具有重大影响。素数猜想由数学家华罗庚于1919年提出，这个问题对数论和微分几何产生了重大影响。这个猜想包括：素数关于每一个数字都是唯一不可变数、素数是唯一有固定数量级或者素数是零点对称性、素数是个整数。
张益唐团队一直认为，阿贝尔奇偶性和“阿贝尔奇奇性”不能同时被证明。因此，研究人员进行了长达12年的讨论。“这项研究不仅将证明素数闭区间1≤ R 0< n> Bi 2-12 a≤ R 0< n> Bi 2-12 a的性质，还将这些发现扩展到与素数闭区间1≤ R 0< n> Bi 2-12 a相邻的四个非平凡素数闭区间，并将这些发现与多个素数闭区间中发生的有趣现象联系起来。”研究人员说。
人工智能与现今逻辑学的发展-.〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。 实际上，在20世纪中后期，就已经开始了现代逻辑与人工智能（记为AI）之间的相互融合和渗透。例如，哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。AI从认知心理学、社会科学以及决策科学中获得了许多资源，但逻辑（包括哲学逻辑）在AI中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理 的理论；基于几乎同样的理由，AI研究者也在进行类似的探索，这两方面的研究正在相互接近、相互借鉴，甚至在逐渐融合在一起。例如，AI特别关心下述课题： ·效率和资源有限的推理； ·感知； ·做计划和计划再认； ·关于他人的知识和信念的推理； ·各认知主体之间相互的知识； ·自然语言理解； ·知识表示； ·常识的精确处理； ·对不确定性的处理，容错推理； ·关于时间和因果性的推理； ·解释或说明； ·对归纳概括以及概念的学习。[①] 21世纪的逻辑学也应该关注这些问题，并对之进行研究。为了做到这一点，逻辑学家们有必要熟悉AI的要求及其相关进展，使其研究成果在AI中具有可应用性。 我认为，至少是21世纪早期，逻辑学将会重点关注下述几个领域，并且有可能在这些领域出现具有重大意义的成果：（1）如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 1．常识推理中的某些弗协调、非单调和容错性因素 AI研究的一个目标就是用机器智能模拟人的智能，它选择各种能反映人的智能特征的问题进行实践，希望能做出各种具有智能特征的软件系统。AI研究基于计算途径，因此要建立具有可操作性的符号模型。一般而言，AI关于智能系统的符号模型可描述为：由一个知识载体（称为知识库KB）和一组加载在KB上的足以产生智能行为的过程（称为问题求解器PS）构成。经过20世纪70年代包括专家系统的发展，AI研究者逐步取得共识，认识到知识在智能系统中力量，即一般的智能系统事实上是一种基于知识的系统，而知识包括专门性知识和常识性知识，前者亦可看做是某一领域内专家的常识。于是，常识问题就成为AI研究的一个核心问题，它包括两个方面：常识表示和常识推理，即如何在人工智能中清晰地表示人类的常识，并运用这些常识去进行符合人类行为的推理。显然，如此建立的常识知识库可能包含矛盾，是不协调的，但这种矛盾或不协调应不至于影响到进行合理的推理行为；常识推理还是一种非单调推理，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论；常识推理也是一种可能出错的不精确的推理模式，是在容许有错误知识的情况下进行的推理，简称容错推理。而经典逻辑拒斥任何矛盾，容许从矛盾推出一切命题；并且它是单调的，即承认如下的推理模式：如果p?r，则pùq?r；或者说，任一理论的定理属于该理论之任一扩张的定理集。因此，在处理常识表示和常识推理时，经典逻辑应该受到限制和修正，并发展出某些非经典的逻辑，如次协调逻辑、非单调逻辑、容错推理等。有人指出，常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物，而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②] “次协调逻辑”（Paraconsistent Logic）是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的，其基本想法是：当在一个理论中发现难以克服的矛盾或悖论时，与其徒劳地想尽各种办法去排除 或防范它们，不如干脆让它们留在理论体系内，但把它们“圈禁”起来，不让它们任意扩散，以免使我们所创立或研究的理论成为“不足道”的。于是，在次协调逻辑中，能够容纳有意义、有价值的“真矛盾”，但这些矛盾并不能使系统推出一切，导致自毁。因此，这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为，如果在一理论T中，一语句A及其否定?A都是定理，则T是不协调的；否则，称T是协调的。如果T所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理，则不协调的T也是不足道的(trivial)。因此，通常以经典逻辑为基础的理论，如果它是不协调的，那它一定也是不足道的。这一现象表明，经典逻辑虽可用于研究协调的理论，但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn（1≤n≤w），以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题：(i)矛盾律?(Aù?A)不普遍有效；(ii)从两个相互否定的公式A和?A推不出任意公式；即是说，矛盾不会在系统中任意扩散，矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里，(i)和(ii)表明了对矛盾的一种相对宽容的态度，(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。 在任一次协调逻辑系统Cn(1≤n≤w)中，下述经典逻辑的定理或推理模式都不成立： ?(Aù?A) Aù?A→B A→(?A→B) (AA)→B (AA)→?B A→A (?Aù(AúB))→B (A→B)→(?B→?A) 若以C0为经典逻辑，则系列C0, C1, C2,… Cn,… Cw使得对任正整数i有Ci弱于Ci-1，Cw是这系列中最弱的演算。已经为Cn设计出了合适的语义学，并已经证明Cn相对于此种语义是可靠的和完全的，并且次协调命题逻辑系统Cn还是可判定的。现在，已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中，发展了这些领域内的次协调理论。显然，次协调逻辑将会得到更进一步的发展。[③] 非单调逻辑是关于非单调推理的逻辑，它的研究开始于20世纪80年代。1980年，D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子M，表示某种“一致性”断言，并将其看做是模态概念，通过一定程序把模态逻辑系统T、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。自动认知推理则不是这种类型，它是与人们自身的信念或知识相关的推理，可用它模拟一个理想的具有信念的有理性的代理人的推理。对于在计算机和人工智能中获得成功的应用而言，非单调逻辑尚需进一步发展。 2．归纳以及其他不确定性推理 人类智能的本质特征和最高表现是创造。在人类创造的过程中，具有必然性的演绎推理固然起重要作用，但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此，计算机要成功地模拟人的智能，真正体现出人的智能品质，就必须对各种具有不确定性的推理模式进行研究。 首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的，指一切扩展性推理，它们的结论所断定的超出了其前提所断定的范围，因而前提的真无法保证结论的真，整个推理因此缺乏必然性。具体说来，这种意义的“归纳”包括下述内容：简单枚举法；排除归纳法，指这样一些操作：预先通过观察或实验列出被研究现象的可能的原因，然后有选择地安排某些事例或实验，根据某些标准排除不相干假设，最后得到比较可靠的结论；统计概括：从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理；类比论证和假说演绎法，等等。尽管休谟提出着名的“归纳问题”，对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑，但我认为，（1）归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略，对于人类来说具有实践的必然性。（2）人类有理由从经验的重复中建立某种确实性和规律性，其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的，而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的，除非这个断言是逻辑矛盾。（3）人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且，归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出，“社会一旦有技术上的需要，则这种需要比十所大学更能把科学推向前进。”[④] 有人通过指责现有的归纳逻辑不成熟，得出“归纳逻辑不可能”的结论，他们的推理本身与归纳推理一样，不具有演绎的必然性。（4）人类实践的成功在一定程度上证明了相应的经验知识的真理性，也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认，归纳逻辑目前还很不成熟。有的学者指出，为了在机器的智能模拟中克服对归纳模拟的困难而有所突破，应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样，才能在已有的归纳学习成果上，在机器归纳和机器发现上取得新的突破和进展。[⑤] 这是一个极有价值且极富挑战性的课题，无疑在21世纪将得到重视并取得进展。 再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是L·A·查德和P·N·马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，它在21世纪将继续得到更大的发展。 3．广义内涵逻辑 经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能” 、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。 大多数副词以及几乎所有命题态度词都是内涵性的，造成内涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境；内涵语境又称晦暗语境，是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别，一切语言表达式（包括自然语言的名词、动词、形容词直至语句）都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式，而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。 在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而下述推理是非有效的： 晨星必然是晨星， 晨星就是暮星， 所以，晨星必然是暮星。 这是因为：这个推理只考虑到“晨星”和“暮星”在现实世界中的外延，并没有考虑到它们在每一个可能世界中的外延，我们完全可以设想一个可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我们就不能利用同一性替换规则，由该推理的前提得出它的结论：“晨星必然是暮星”。其次，在内涵语境中，语言表达式不再以通常是它们的外延的东西作为外延，而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里，达尔文所相信的是“人是从猿猴进化而来的”所表达的思想，而不是它所指称的真值，于是在这种情况下，“人是从猿猴进化而来的”所表达的思想（命题）就构成它的外延。再次，在内涵语境中，虽然适用于外延的函项性原则不再成立，但并不是非要抛弃不可，可以把它改述为新的形式：一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。 一般而言，一个好的内涵逻辑至少应满足两个条件：（i）它必须能够处理外延逻辑所能处理的问题；（ii）它还必须能够处理外延逻辑所不能处理的难题。这就是说，它既不能与外延逻辑相矛盾，又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中，并且已有初步轮廓。从术语上说，内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外，还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之，可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”，“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下，模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过，还有一种狭义的内涵逻辑，它可以粗略定义一个内涵逻辑是一个形式语言，其中包括（1）谓词逻辑的算子、量词和变元，这里的谓词逻辑不必局限于一阶谓词逻辑，也可以是高阶谓词逻辑；（2）合式的λ—表达式，例如(λx)A，这里A是任一类型的表达式，x是任一类型的变元，(λx)A本身是一函项，它把变元x在其中取值的那种类型的对象映射到A所属的那种类型上；（3）其他需要的模态的或内涵的算子，例如�，ù、ú。而一个内涵逻辑的解释，则由下列要素组成：（1）一个可能世界的非空集W；（2）一个可能个体的非空集D；（3）一个赋值，它给系统内的表达式指派它们在每w∈W中的外延。对于任一的解释Q和任一的世界w∈W，判定内涵逻辑系统中的任一表达式X相对于解释Q在w∈W中的外延总是可能的。这样的内涵逻辑系统有丘奇的LSD系统，R·蒙塔古的IL系统，以及E·N·扎尔塔的FIL系统等。[⑥] 在各种内涵逻辑中，认识论逻辑（epistemic logic）具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知（perception）、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题，包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等；狭义的认识论逻辑仅指知道和相信的逻辑，简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析，这对建立认知逻辑具有极大的启发作用。J·麦金西首先给出了一个关于“知道”的模态逻辑。A·帕普于1957年建立了一个基于6条规则的相信逻辑系统。J·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要着作，其中提出了一些认知逻辑的系统，并为其建立了基于“模型集”的语义学，后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂，既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域，并且认知逻辑的应用技术，又称关于知识的推理技术，正在成为计算机科学和人工智能的重要分支之一，因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化，在这方面有可能出现突破性的重要结果。 4．对自然语言的逻辑研究 对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究，人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题，都需要对自然语言进行精细的逻辑分析，并且这种分析不能仅停留在句法层面，而且要深入到语义层面。其次是哲学特别是语言哲学，在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力，发展了各种各样的意义理论，如观念论、指称论、使用论、言语行为理论、真值条件论等等，以致有人说，关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要，例如在研究自然语言的意义问题时，不能仅仅停留在脱离语境的抽象研究上面，而要结合使用语言的特定环境去研究，这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”，它力图综合后期维特根斯坦提倡的使用论 ，J·L·奥斯汀、J·L·塞尔等人发展的言语行为理论，以及P·格赖斯所创立的会话含义学说等成果，透过自然语言的指谓性和交际性去研究自然语言中的推理。 自然语言具有表达和交际两种职能，其中交际职能是自然语言最重要的职能，是它的生命力之所在。而言语交际总是在一定的语言环境（简称语境）中进行的，语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外，还包括该语词或语句出现的整个社会历史条件，如该语词或语句出现的时间、地点、条件、讲话的人（作者）、听话的人（读者）以及交际双方所共同具有的背景知识，这里的背景知识包括交际双方共同的信念和心理习惯，以及共同的知识和假定等等。这些语境因素对于自然语言的表达式（语词、语句）的意义有着极其重要的影响，这具体表现在：（i）语境具有消除自然语言语词的多义性、歧义性和模糊性的能力，具有严格规定语言表达式意义的能力。（ii）自然语言的句子常常包含指示代词、人称代词、时间副词等，要弄清楚这些句子的意义和内容，就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的，等等，这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有：包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域，包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类；模态语句和条件语句的意义取决于因语境而变化的语义决定因素，如此等等。（iii）语言表达式的意义在语境中会出现一些重要的变化，以至偏离它通常所具有的意义（抽象意义），而产生一种新的意义即语用涵义。有人认为，一个语言表达式在它的具体语境中的意义，才是它的完全的真正的意义，一旦脱离开语境，它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系，正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义，当然不是去研究某一个（或一组）特定的语句在某个特定语境中唯一无二的意义，而是专门研究确定自然语言具体意义的普遍原则。[⑦] 美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义，叫做“语用涵义”、“会话涵义”或“隐涵”（implicature），并于1975年提出了一组“交际合作原则”，包括一个总则和四组准则。总则的内容是：在你参与会话时，你要依据你所参与的谈话交流的公认目的或方向，使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类，格赖斯提出了如下四组准则： （1）数量准则：在交际过程中给出的信息量要适中。 a．给出所要求的信息量； b．给出的信息量不要多于所要求的信息量。 （2）质量准则：力求讲真话。 a．不说你认为假的东西。 b．不说你缺少适当证据的东西。 （3）关联准则：说话要与已定的交际目的相关联。 （4）方式准则：说话要意思明确，表达清晰。 a．避免晦涩生僻的表达方式； b．避免有歧义的表达方式； c．说话要简洁； d．说话要有顺序性。[⑧] 后来对这些原则提出了不少修正和补充，例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提，这些原则就可以用来确定和把握自然语言的具体意义（语用涵义）。实际上，一个语句p的语用涵义，就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说，从说话人S说的话语p推出语用涵义q的一般过程是： （i）S说了p； （ii）没有理由认为S不遵守准则，或至少S会遵守总的合作原则； （iii）S说了p而又要遵守准则或总的合作原则，S必定想表达q； （iv）S必然知道，谈话双方都清楚：如果S是合作的，必须假设q； （v）S无法阻止听话人H考虑q； （vi）因此，S意图让H考虑q，并在说p时意味着q。 试举二例： （1）a站在熄火的汽车旁，b向a走来。a说：“我没有汽油了。”b说：“前面拐角处有一个修车铺。”这里a与b谈话的目的是：a想得到汽油。根据关系准则，b说这句话是与a想得到汽油相关的，由此可知：b说这句话时隐涵着：“前面的修车铺还在营业并且卖汽油。” （2）某教授写信推荐他的学生任某项哲学方面的工作，信中写到：“亲爱的先生：我的学生c的英语很好，并且准时上我的课。”根据量的准则，应该提供所需要的信息量；作为教授，他对自己的学生的情况显然十分熟悉，也可以提供所需要的信息量，但他有意违反量的准则，在信中只用一句话来介绍学生的情况，任用人一旦接到这封信，自然明白：教授认为c不宜从事这项哲学工作。 并且，语用涵义还具有如下5个特点：（i）可取消性：在给原话语附加上某些话语之后，它原有的语用涵义可被取消。在例（1）中，若b在说“前面拐角处有一个修车铺”之后又补上一句：“不过它这时已经关门了”，则原有的语用涵义“你可从那里得到汽油”就被取消了。（ii）不可分离性：如果某话语在特定的语境中产生了语用涵义，则无论采用什么样的同义结构，该含义始终存在，因为它所依附的是话语的内容，而不是话语的形式。（iii）可推导性，前面已说明这一点。（iv）非规约性：语用涵义不能单独从话语本身推出来，除要考虑交际合作原则之类的语用规则之外，也需要假定通常的逻辑推理规则，并需要把上文语句、交际双方所共有的背景知识作为附加前提考虑在内。（v）不确定性：同一句话语在不同的语境中可以产生不同的语用涵义。显然，确定某个话语的语用涵义是一个极其复杂的过程，需要综合和分析、归纳和演绎的统一应用，因此具有一定的或然性。研究如何迅速有效地把握自然语言表达式在具体语境中的语用涵义，这正是自然语言逻辑所要完成的任务之一，它将在21世纪取得进展。
数学教学论文参考文献
教学论文就是“讨论”和“研究”有关教学问题的文章，属于议论文，具有议论文的一般特点。下面是我收集整理的数学教学论文参考文献范文，希望对您有所帮助！
参考文献一
[1]杜威着，许崇清译：《哲学的改造》[M],商务印书馆.1958 年，P46
[2]阮忠英.初中几何教学策略浅谈[J].理科爱好者，2009(2)
[3]胡蓉.利用信息技术优化几何教学[J].信息技术与应用，2008(4).
[4]吕月霞.杜威的“从做中学”之我见[J] .教育新论，2009.5
[5]陈琦，刘儒德.当代教育心理学[M].北京师范大学出版社，2007,P185
[6]袁振国.当代教育学[M].教育科学出版社，2004,P184
[7]尚晓青.DGS 技术与初中几何教学整合研究[D].重庆：西南大学博士学位论文，2008.
[8]周军.教学策略[M].北京：教育科学出版社，2007,P11
[9]中华人民共和国教育部.义务教育数学课程标准 [S].北京：北京师范大学出版社，2011
[10]左晓明等.基于 GeoGebra 的数学教学全过程优化研究[J],2010,P101
[11]杨庆余.小学数学课程与教学[M].北京：高等教育出版社.2004,P102
[12]李伯黍，燕国材.教育心理学[M].上海：华东师范大学出版社.2010.P132
参考文献二
[1]王汉澜.教育评价学 [M].开封：河南大学出版社，1995.
[2]吴钢.现代教育评价基础[M].上海：学林出版社，2004.
[3] 黎世法.异步教育学[M].北京：当代中国出版社，1994.
[4]虞应连.采用复合评分法 注重个体内差异评价[J].中小学管理，2001(1).
[5](美) Carol Ann Tomlinson,刘颂译.多元能力课堂中的差异教学[M].北京：中国轻工业出版社， 2003.
[6]茹建文.关于构建小学数学发展性评价体系的'思考[J].现代教育科学，2005(2).
[7]曾继耘.差异发展教学研究[M].北京：首都师范大学出版社，2006.
[8]顾泠沅等.寻找中间地带--国际数学教育改革的大趋势[M].上海：上海教育出版社， 2003.
[9]马艳云.评价应注意学生的心理需求[J].人民教育，2005(17).
[10]陈小菊.给自己一个支点超越自己-“个体内差异评价策略”探微[J].福建教育，2005(7).
[11](美)Diane Heacox ,杨希洁译.差异教学-帮助每个学生获得成功[M]. 北京：中国轻工业出版社，2004.
[12]陈泳超.差异评价“ 实施因材施教”[J].福建教育，2001(7、8).
[13]安艳.差异性学生评价研究--以济南市三所初中为例[D],济南.山东师范大学，2007.
[14]王俭.教育评价发展历史的哲学考察[J].教师教育研究，2008(3).
参考文献是毕业论文中的一个重要构成部分,它的引用是对论文进行引文统计和分析的重要信息来源。下文是我为大家搜集整理的关于数学论文参考文献的内容，欢迎大家阅读参考!数学论文参考文献(一) [1]李秉德，李定仁，《教学论》，人民教育出版社，1991。 [2]吴文侃，《比较教学论》，人民教育出版社，1999 [3]罗增儒，李文铭，《数学教学论》，陕西师范大学出版社，2003。 [4]张奠宙，李士 ，《数学教育学导论》高等教育出版社，2003。 [5]罗小伟，《中学数学教学论》，广西民族出版社，2000。 [6]徐斌艳，《数学教育展望》，华东师范大学出版社，2001。 [7]唐瑞芬，朱成杰，《数学教学理论选讲》，华东师范大学出版社，2001。 [8]李玉琪，《中学数学教学与实践研究》，高等教育出版社，2001。 [9]中华人民共和国教育部制订，《全日制义务教育数学课程标准(实验稿)》,北京：北京师范大出版社,2001. [10] 高中数学课程标准研制组编，《普通高中数学课程标准》，北京：北京师范大出版社,2003. [11]教育部基础教育司，数学课程标准研制组编，《全日制义务教育数学课程标准解读(实验稿)》,北京：北京师范大出版社,2002. [12]教育部基础教育司组织编写，《走进新课程——与课程实施者对话》，北京：北京师范大出版社,2002. [13]新课程实施过程中培训问题研究课题组编，《新课程与学生发展》，北京：北京师范大出版社,2001. 数学论文参考文献(二) [1]新课程实施过程中培训问题研究课题组编，《新课程理念与创新》，北京：北京师范大出版社,2001. [2][苏]AA斯托利亚尔，《数学教育学》，北京：人民教育出版社，1985年。 [3][苏]斯涅普坎，《数学教学心理学》，时勘译，重庆：重庆出版社，1987年。 [4]张奠宙，《数学教育研究导引》，南京：江苏教育出版社，1998年。 [5]丁尔升，《中学数学教材教法总论》，北京：高等教育出版社，1990年。 [6]马忠林，等，《数学教育史简编》，南宁：广西教育出版社，1991年。 [7]魏群，等，《中国中学数学教学课程教材演变史料》，北京：人民教育出版 社，1996年。 [8]张奠宙，等，《数学教育学》，南昌：江西教育出版社，1991年。 [9]严士健，《面向21世纪的中国数学教育》，南京：江苏教育出版社，1994年。 [10]傅海伦，《数学教育发展概论》,北京：科学出版社，2001年。 [11]李求来，等，《中学数学教学论》，长沙：湖南师范大学出版社，1992年。 [12]章士藻，《中学数学教育学》，南京：江苏教育出版社，1996年。 [13]十三院校协编组，《中学数学教材教法》，北京：高等教育出版社，1988年。 [14][美]美国国家研究委员会，方企勤等译，《人人关心数学教育的未来》，北 京：世界图书出版公司，1993年。 [15]潘菽，《教育心理学》，北京：人民教育出版社，1980年。 数学论文参考文献(三) [1]孙艳蕊，张祥德.利用极小割计算随机流网络可靠度的一种算法[J],系统工程学报，2010,25(2)，284-288. [2]孔繁甲，王光兴.基于容斥原理与不交和公式的一个计算网络可靠性方法,电子学报，1998,26(11)，117-119. [3]王芳，侯朝侦.一种计算随机流网络可靠性的新算法[J],通信学报，2004,25(1)，70-77. [4]J.A.Buzacott.Nodepartitionformulafordirectedgraphreliability[J],Networks,1987,17(2)：227-240. [5]L.C.Monticone.AnimplementationoftheBuzacottalgorithmfornetworkglobal-reliabilityfJ],IEEETrans.Reliability,1993,42(1)：46-49. [6]A.Satyanarayana,J.N.Hagstrom.Anewalgorithmforreliabilityanalysisofmulti-terminalnetworks[J],IEEETrans.Reliability,1981,30(4)：325-334. [7]W.C.Yeh.Searchforminimalpathsinmodifiednetworks,ReliabiliEngineeringandSystemSafety,2002,75(3)：389-395. [8]BjerknesV.DasProblemderWettervorhersage,betrachtetvomStandpunktederMechanikundderPhysik.Meteorol.1904,21:1-7. [9]封国林，鸿兴，魏凤英.区域气候自忆预测模式的计算方案及其结果m.应ni气象学报，1999,10:470. [10]达朝究.一个可能提高GRAPES模式业务预报能力的方案[D].兰州：兰州人学，2011 [11]符综斌，干强.气候突变的定义和检测方法[j].大气科学，1992,16(4)：482-492. [12]顾震潮.天数值预报屮过去资料的使用问题[J].气象学报，1958,29:176. [13]顾震潮.作为初但问题的天气形势数值预报由地而天气历史演变作预报的等值性[J].气象学报，1958,29:93. [14]黄建平，H纪范.海气锅合系统相似韵现象的研究[J].中NI科学(B)，1989,9:1001. [15]黄建平，王绍武.相似-动力模式的季节预报试验[J].国科学(B)1991,21:216. 猜你喜欢： 1. 统计学论文参考文献 2. 关于数学文化的论文免费参考 3. 关于数学文化的论文优秀范文 4. 13年到15年参考文献论文格式 5. 浅谈大学数学论文范文
参考文献那么多，也要看你是写哪一方面的。
在百度百科中有三个词条，分别是期刊、杂志和期刊杂志，我汗~下面我来汇总一下它们的定义：1..期刊：又称杂志，是指有固定名称，用卷、期或者年、季、月顺序编号,按照一定周期出版的成册连续出版物。2..杂志：是有固定刊名，以期、卷、号或年、月为序，定期或不定期连续出版的印刷读物。它根据一定的编辑方针，将众多作者的作品汇集成册出版。定期出版的又称期刊。3..期刊杂志：辞海中期刊的定义是:由多位作者撰写的不同题材的作品构成的定期出版物。期刊杂志又称连续出版物，有固定刊名，以期、卷、号或年、月为序，定期或不定期连续出版的印刷读物，每期的内容不重复。它根据一定的编辑方针，将众多作者的作品汇集成册出版。定期出版的又称期刊。 如果仔细看过上述定义并理解的话会发现其实1和3的定义是和2有矛盾之处的，2的定义是正确的。期刊和杂志是不等价的，期刊和杂志都是有固定刊名并连续出版的印刷读物，唯一的不同点就在于是不是定期出版的。杂志是定期出版和不定期出版读物的统称，而期刊专指定期出版的读物。 综上所述，结论就是，期刊和杂志的逻辑关系为：杂志包含期刊，期刊属于杂志，期刊是杂志的真子集。我又汗~ OVER。 Ps：建议你再看看连续出版物的定义，百度百科里有的，可以让概念更清晰一点~
给你推荐2个：《推理》（邮发代号：14-317）和《推理世界》（邮发代号18-5）我一直在看，已经看了2年多了~~~很不错~~~有原创，也有国外作品的翻译~~~总之是不错的两本杂志~~
<
我觉得“特别关注”比较好，我们家订了五年了，原来是通过邮局订的，后来是跟报刊亭里的人订的。邮局比较正规些，但是比较慢，报刊亭的人比较细心，货一到，就送，挺好的。
基于EDI的电子征税系统应用探讨 【论文摘要】作为电子化贸易工具的EDI技术已相当成熟，将其用于电子征税发挥了其安全可靠、数据从计算机到计算机自动传输不需人工介入操作等优点。本文对基于EDI的电子征税系统进行了探讨，提出了自己的一些看法。 1．1 EDI的定义 EDI（Electronic Data Interchange，电子数据交换）是20世纪80年代发展起来的一种新颖的电子化贸易工具，是计算机、通信和现代化管理相结合的产物。国际标准化组织（ISO）对EDI的定义是：“为商业或行政事务处理，按照一个公认的标准，形成结构化的事务处理或消息报文格式，从计算机到计算机的数据传输方法。”通俗地讲，就是标准化的商业文件在计算机之间从应用到应用的传送。EDI是企业单位之间的商业文件数据传输，传输的文件数据采用共同的标准和固定格式，其所通过的数据通信网络一般是增值网和专用网，数据是从计算机到计算机自动传输，不需人工介入操作。 1．2 EDI的组成元素 EDI有3个基本组成要素：通信网络、计算机硬件和专用软件组成的应用系统以及报文标准。通讯网络是实现EDI的基础，可利用公用电话交换网、分组交换网以及广域网、城域网和局域网来建立EDI的增值网络。计算机应用系统是实现EDI的前提，该应用系统是由EDI用户单位建立的，其硬件由PC机（服务器）、调制解调器等组成，软件由转换软件、翻译软件、通信软件等组成。转换软件将计算机系统的文件转换为翻译软件能理解的中间文件，或将翻译软件接受的中间文件转换成计算机系统的文件；翻译软件将中间文件翻译成EDI的标准格式，或将后者翻译成前者；通信软件将要发送的EDI标准格式文件外层加上通信信封，送到EDI交换中心信箱，或从信箱将接受的文件取回，计算机应用系统能将EDI传送的单证等经济信息进行自动处理。EDI报文必须按照国际标准进行格式化，目前应用最广泛的EDI国际标准是UN／EDIFACT标准。 EDI接入如图1所示。 1．3 EDI的工作过程 EDI的工作过程为：你的应用系统产生一个文件，例如报税单，EDI翻译器自动将报税单转换成征纳税双方同意的EDI标准格式，通信部分上增值网进行发送，网络进行一系列的合法性和数据完整性检查，将其放入EDI中心的相应邮箱里，税收征收机关上网取出邮箱里的信件，EDI翻译器将信封里的数据从标准格式转换成内部应用系统可读的格式进行处理，从而实现电子报税。 2 基于EDI的电子征税系统 2．1 电子征税系统 税务征纳电子化的总体发展方向是形成以电子报税为主，其他申报方式为辅的格局。电子征税包括电子申报和电子结算2个环节。电子申报指纳税人利用各自的计算机或电话机，通过电话网、分组交换网、Internet等通讯网络系统，直接将申报资料发送给税务征收机关，从而实现纳税人不必亲临税务机关，即可完成申报的一种方式；电子结算指国库根据纳税人的税票信息，直接从其开户银行划拨税款的过程。第1个环节解决了纳税人与税务部门间的电子信息交换，实现了申报无纸化；第2个环节解决了纳税人、税务、银行及国库间电子信息及资金的交换，实现了税款收付的无纸化。 2．2 EDI征纳税系统工作流程 EDI的应用领域非常广泛，涵盖工业、商业、外贸、金融、保险、运输、政府机关等，而EDI在税务系统的应用推进了税务处理电子化的进程。 电子报税流程如图2所示。 EDI征税系统工作流程如下： （1）纳税人通过计算机按一定格式将申报表填写好，并由计算机进行自动逻辑审核后，利用电话网或分组网，通过邮电局主机发往税务局邮箱； （2）税务局主机收到申报表后进行处理，发回执并开出缴款书； （3）纳税户通过邮箱系统收取回执和缴款书，了解税款划拨结果； （4）国库处收到缴款书后，按缴款书内容通知银行划款；银行收到缴款书后进行划款，将划款结果返回国库，并通过国库返回税务局。 2．3 EDI电子征税的优势 利用EDI实现电子报税，有利于实现税收征管现代化。可以节省时间，提高工作效率，消除纸面作业和重复劳动，改善对客户的服务。EDI意味着更准确地实现数据标准化及计算机自动识别和处理，消除人工干预和错误，减少了人工和纸张费用。 3 我国电子征税的现状和几点看法 发展电子税务是中国政府实施信息化的一项重大工程。国家税务总局实施的“金税工程”通过计算机网络已初步实现对企业增值税发票和纳税状况的严密监控。目前全国区县级国税局已配备了低档认证子系统，专门对百万元版、十万元版和部分万元版增值税专用发票进行认证，计算机稽核软件和发票协查软件也已开发完成并正在部分地区试运行，国家税务总局已完成了与北京等九省市国税系统的四级（总局、省局、地市局和县级局）网络建设，其他省区网络建设和全国稽核设备配备工作正在准备中。 应该看到国家发展电子税务的决心。在实施的过程中，笔者认为，应注意以下几点： （1）重视税务部门工作人员计算机应用能力的培养。为了适应电子税务的需要，税务部门工作人员除了要具有专业知识，还应掌握计算机应用知识，要分期分批进行培训。尤其是区县级以及比较偏远落后地区，在网络建设的同时，就应对其工作人员进行计算机知识的培训。将计算机的应用能力作为上岗的一个条件。 （2）由于电子税务作为电子政务的一个组成部分，所以，在构建电子税务系统的时候，在思想上要有全局观念、发展的眼光，要考虑未来与电子政务平台的整合问题，防止 构建一个封闭的系统。 （3）将具有标准性的EDI与具有普遍性的Internet相结合，建立互联网EDI，缴税人员可在家里或办公室利用浏览器从Web上填写税表进行有关电子商务，简单方便，免去在徼税大厅排队之苦。 互联网EDI对于纳税户来讲，基本上是零安装、零维护，不必额外投资，费用低。而对税务部门来讲，采用互联网EDI报税可使税表以电子文件的模式通过电子商务网送达税务部门，提高了工作效率，减轻了税务部门工作量，方便了税户，缩短了报税时间。电子化的税务表格可以直接进入数据库，无需税务部门进行人工输入，减轻了工作量，减少了人为错误；互联网EDI报税系统通过电子报文审查功能可自动识别税户错填、漏填项目，不允许带有这类人为错误的报文进行传送，减轻了税务部门的检查、校对工作，提高了工作效率。 （4）应重视电子征税的宣传工作，使广大纳税户积极参与到电子纳税的行列中来。 4结语 总之，电子征纳税是税收征管现代化的要求，是社会经济发展的必然趋势。而作为实现电子征税的EDI技术，必将和Internet技术相结合，使互联网成为EDI信息的传输媒体。通过互联网EDI进行电子征税，是电子征税的发展方向。 参考文献 〔1〕 http：／／www．ctax．com．cn／fask／20011126213203．htm 〔2〕 http：／／www．e-works．net．cn／jcjs／ia24．htm [3] http://www.mmit.stc.sh.cn/Projects/ecforum／examples／tax．htm 〔4〕 http：／／202．104．84．84／edi／edi／App4．HTML 〔5〕 龚炳铮．EDI与电子商务〔M〕．北京：清华大学出版社，1999．
新款的单片机都可以设置密码
数控技术发展趋势——智能化数控系统 1 国内外数控系统发展概况 随着计算机技术的高速发展，传统的制造业开始了根本性变革，各工业发达国家投入巨资，对现代制造技术进行研究开发，提出了全新的制造模式。在现代制造系统中，数控技术是关键技术，它集微电子、计算机、信息处理、自动检测、自动控制等高新技术于一体，具有高精度、高效率、柔性自动化等特点，对制造业实现柔性自动化、集成化、智能化起着举足轻重的作用。目前，数控技术正在发生根本性变革，由专用型封闭式开环控制模式向通用型开放式实时动态全闭环控制模式发展。在集成化基础上，数控系统实现了超薄型、超小型化；在智能化基础上，综合了计算机、多媒体、模糊控制、神经网络等多学科技术，数控系统实现了高速、高精、高效控制，加工过程中可以自动修正、调节与补偿各项参数，实现了在线诊断和智能化故障处理；在网络化基础上，CAD/CAM与数控系统集成为一体，机床联网，实现了中央集中控制的群控加工。 长期以来，我国的数控系统为传统的封闭式体系结构，CNC只能作为非智能的机床运动控制器。加工过程变量根据经验以固定参数形式事先设定，加工程序在实际加工前用手工方式或通过CAD/CAM及自动编程系统进行编制。CAD/CAM和CNC之间没有反馈控制环节，整个制造过程中CNC只是一个封闭式的开环执行机构。在复杂环境以及多变条件下，加工过程中的刀具组合、工件材料、主轴转速、进给速率、刀具轨迹、切削深度、步长、加工余量等加工参数，无法在现场环境下根据外部干扰和随机因素实时动态调整，更无法通过反馈控制环节随机修正CAD/CAM中的设定量，因而影响CNC的工作效率和产品加工质量。由此可见，传统CNC系统的这种固定程序控制模式和封闭式体系结构，限制了CNC向多变量智能化控制发展，已不适应日益复杂的制造过程，因此，对数控技术实行变革势在必行。 2 数控技术发展趋势 2.1 性能发展方向 (1)高速高精高效化 速度、精度和效率是机械制造技术的关键性能指标。由于采用了高速CPU芯片、RISC芯片、多CPU控制系统以及带高分辨率绝对式检测元件的交流数字伺服系统，同时采取了改善机床动态、静态特性等有效措施，机床的高速高精高效化已大大提高。 (2)柔性化 包含两方面：数控系统本身的柔性，数控系统采用模块化设计，功能覆盖面大，可裁剪性强，便于满足不同用户的需求；群控系统的柔性，同一群控系统能依据不同生产流程的要求，使物料流和信息流自动进行动态调整，从而最大限度地发挥群控系统的效能。 (3)工艺复合性和多轴化 以减少工序、辅助时间为主要目的的复合加工，正朝着多轴、多系列控制功能方向发展。数控机床的工艺复合化是指工件在一台机床上一次装夹后，通过自动换刀、旋转主轴头或转台等各种措施，完成多工序、多表面的复合加工。数控技术轴，西门子880系统控制轴数可达24轴。 (4)实时智能化 早期的实时系统通常针对相对简单的理想环境，其作用是如何调度任务，以确保任务在规定期限内完成。而人工智能则试图用计算模型实现人类的各种智能行为。科学技术发展到今天，实时系统和人工智能相互结合，人工智能正向着具有实时响应的、更现实的领域发展，而实时系统也朝着具有智能行为的、更加复杂的应用发展，由此产生了实时智能控制这一新的领域。在数控技术领域，实时智能控制的研究和应用正沿着几个主要分支发展：自适应控制、模糊控制、神经网络控制、专家控制、学习控制、前馈控制等。例如在数控系统中配备编程专家系统、故障诊断专家系统、参数自动设定和刀具自动管理及补偿等自适应调节系统，在高速加工时的综合运动控制中引入提前预测和预算功能、动态前馈功能，在压力、温度、位置、速度控制等方面采用模糊控制，使数控系统的控制性能大大提高，从而达到最佳控制的目的。
刚才回答错地方了。呵呵。。。。《SurvivingtheSoCRevolution--AGuidetoPlatform-BasedDesign》;《宽带无线接入技术及应用》;《数字集成电路--设计透视》;《CMOS模拟电路设计》;《超大规模集成电路设计基础--系统与电路》;《计算机体系结构量化研究方法》;《计算机组织与设计硬件/软件接口》;《计算机组织与结构性能设计》;《高等计算机系统结构》;《VHDL硬件描述语言与数字逻辑电路设计》;《可测性设计技术》;《电子设计硬件描述语言VHDL》;《模拟集成电路设计--电流模法》;《复杂系统数字电路与系统的VerilogHDL设计技术》;《VerilogHDLSynthesis--ApracticalPrimer》;《It'sthemethodology,Stupid!》;《VLSISignalProcessingTechnology》;《LogicSynthesisUsingSynopsis》;《Computer-AidedDesingTechniquesforLowPower》;《BehavioralSynthesisandComponentReusewithVHDL》;《AlgorithmsforVLSIPhysicalDesignAutomation》;《HardwareComponentModeling--CurrentIssuresinElectonicModeling》;《超大规模集成电路布图理论与算法》;《模拟集成电路的自动综合方法》;《VLSI计算理论与并行算法》;《数字系统设计自动化》;《数字集成电路CAD理论与方法》相关的差不多在这了。。。刚才回答错地方了。呵呵
一、填空题1、 任何逻辑形式都是由逻辑 常 项 和 变项 两个部分组成的，逻辑形式的不同是由 逻辑常项 的不同决定的。2、p∨q的逻辑常项是 或者，变项是 p、q 。 3、“所有S不是P。”这个命题形式的逻辑常项是 所有---不是 ---。逻辑变项是s、p。 4、“如果某甲犯了杀人罪，则某甲应受法律制裁。”这一命题逻辑形式是如果p那么q。其中，逻辑常项是 如果-----那么 ，逻辑变项是 p、q 。 5、任何词项都有两个逻辑特征，即 内涵和 外延 。 6、对词项进行限制和概括的逻辑根据是 词项内涵和外延间的反变关系 。 7、 单独 词项不能限制和划分。 8、在真包含关系中，外延大的那个词项叫做 属 词项，外延小的那个词项叫做 种 词项。 9、在“刑法就是规定犯罪和刑罚的法律”这个定义中，被定义项是 刑法 ，种差是 规定犯罪和刑罚 ，邻近的属词项是 法律 。 10、任何—个直言命题都是由 主项、 谓项、 量项、 联项 四个部分组成的。 11、主项与谓项均周延的直言命题的逻辑形式是 SEP ，主项与谓项均不周延的直言命题的逻辑形式是 SIP 。 12、直言命题的主项S和谓项P在外延上可能有 同一、 包含于、包含、交叉、全异五种关系。 13、一个直言命题的谓项不周延，则这个命题的质是 肯定联项 ；一个直言命题的主项周延，则这个命题的量是 全称(单称) 。 14、根据有关推理规则， O 命题不能换位， I 命题不能换质位。 15、对SAP命题换质，其结论是 SE非P ；对SAP命题换位，其结论是 PIS 。16、将“有的律师不是共产党员”换质，其结论是有的律师是非共产党员；再将所得结论换位为有非共产党员是律师 。其推演的逻辑形式用公式表示为 SOP—SI非P-—非PIS。 17、将“犯罪行为是具有社会危害性的行为。”换质，其结论犯罪行为不是不具有社会危害性的行为；将其结论再进行换位，其结论是 有的不具有社会危害性的行为是犯罪行为。 18、如果SEP取值为真，则SIP取值为 假 、SOP取值为真 、SAP取值为假 。 19、根据直言命题对当关系，如果SEP假，则SAP 真假不定、SIP真 、 SAP 真假不定。 20、当SEP和SOP都假时，则S和P的外延之间具有 全同 和 真包含于关系。二、单项选择题 1、“历史上先后产生的国家有奴隶制国家、封建制国家、资产阶级国家、无产阶级国家，无论何种类型的国家都是阶级专政的工具。”这里对“国家”这个词项是从( 4 )来说明的。 (1)仅从内涵方面 (2)仅从外延方面 (3)先从内涵，再从外延方面 (4)先从外延，再从内涵方面 2、词项与语词的关系是( 3 )。 (1)所有的语词都是表达词项 (2)所有的语词都不表达词项 (3)所有的词项都要通过语词来表达 (4)有的词项不通过语词来表达 3、“民不畏死，奈何以死惧之”中，“民”这个词项属于（ 1 ） (1)集合词项 (2)非集合词项 (3)普遍词项 (4)负词项 4、“有的犯罪不是故意的。”这一命题的主项是( 2 ) (1)单独词项 (2)普遍词项 (3)集合词项 (4)负词项5、在“知识分子是国家的宝贵财富。”和“大学教师是知识分子。”这两个命题中，“知识分子”这个词项( 3 )。 (1)都是集合词项 (2)都是非集合词项 (3)前者是集合词项，后者是非集合词项 (4)前者是非集合词项，后者是集合词项6、如果有的a是b；有的a不是b，并且有的b是a ，有的b不是a；那么，a与b这两个词项具有( 3 )关系。 (1)全异 (2)全同 (3)交叉 (4)真包含于7、当“所有S是P。”与“有的S是P。”均假时，则S与P在外延上的关系是( 2 )。 (1)全同关系 (2)全异关系 (3)交叉关系 (4)真包含关系 8、“物理学就是研究物理的科学。”作为定义，犯了( 3 )的逻辑错误。 (1)定义过宽 (2)定义过窄 (3)同语反复 (4)循环定义 9、“圆是平面上的点对一个中心保持相等距离运动所形成的封闭的曲线。”作为定义，属于( 2 )。 (1)语词定义 (2)发生定义 (3)功用定义 (4)关系定义 10、“犯罪不是合法行为。”作为定义，犯了( 3 )的逻辑错误。 (1)定义过宽 (2)定义过窄 (3)定义否定 (4)以比喻代定义 11、下列各组词项依据箭头所示的推演关系，属于正确的限制有 ( 1 )。 (1)思维形式→推理→演绎推理 (2)命题→简单命题→复合命题 (3)词项→集合词项→非集合词项 (4)三角形→锐角三角形→等角三角形 12、在直言命题中，决定命题形式的是 ( 4 ) (1)主项和谓项 (2)主项和量项 (3)谓项和联项 (4)量项和联项 13、在直言命题中，主项和谓项都不周延的是( 3 ) (1)全称肯定命题 (2)全称否定命题 (3)特称肯定命题 (4)特称否定命题 14、“凡犯罪行为都不是合法行为”这个直言命题的主项和谓项的周延情况是( 2 )。 (1)主项、谓项都不周延 (2)主项、谓项都周延 (3)主项周延、谓项不周延 (4)主项不周延、谓项周延 15、“所有拾金不昧的人都是有道德的人，老张是有道德的人，所以．老张是拾金不昧的人。”这个三段论犯了( 4 )的逻辑错误、 (1)大项扩大 (2)小项扩大 (3)两否定得结论 (4)中项不周延16、“宪法是国家的根本犬法”这个命题的主、谓项的周延情况是( 3 )。 (1)主项、谓项都周延 (2)主项、谓项都不周延 (3)主项周延、谓项不周延 (4)主项不周延、谓项周延17、“大部分人是懂法的。”这个命题的逻辑形式是( 3 ) (1)所有的S是P (2)所有的S不是P (3)有的S是P (4)有的S不是P18、“甲与乙是同案犯”这个命题是( 4 )命题。 (1)直言命题 (2)联言命题 (3)选言命题 (4)关系命题 19、根据同一素材直言命题之间的对当关系中的下反对关系，可进行推演的是( 2 )。(1)由真推假 (2)由假推真 (3)由真推真 (4)由假推假20、“某甲是有罪的。”与“某甲是无罪的。”这两个直言命题之间是( 2 )。 (1)反对关系 (2)矛盾关系 (3)差等关系 (4)下反对关系三、多项选择题（包括双项选择题）1、词项和语词的关系可表达为（ 1.2. 3.5 ）（1）语词是词项的语言表达形式 （2）词项是语词的思想内容（3）任何词项都要用语词来表达 （4）任何语词都表达词项（5）有的语词不表达词项2、在“中国是世界上人口最多的国家。”这一命题中，主项和谓项都是（1.3.4 ）（1）单独词项（2）普遍词项（3）集合词项（4）正词项 （5）负词项3、在“有的不道德的行为是不合法的行为”命题中，主项和谓项都是（1.2.3. ）（1）非集合词项 （2）普遍词项 （3）负词项 （4）集合词项（5）单独词项 4、在“中华民族是伟大的民族”这个命题中，“中华民族”这个词项是（1.3.5）（1)单独词项 (2)普遍词项 (3)集合词项 (4)非集合词项 (5)正词项 5、“如果所有的a是b，那么a与b的外延关系可能是 （ 1.3 ） （1）全同关系 (2)真包含关系 （3）真包含于关系 (4)交叉关系（5）全异关系6、当SAP真而SOP假时。S与P的外延关系应是（1.3 ） （1）全同关系 (2)真包含关系 （3）真包含于关系 (4)交叉关系 (5)全异关系 7、违反“定义必须相应相称。”这个定义规则所犯的逻辑错误有 （4.5 ） （1)同语反复 (2)循环定义 (3)定义含混 (4)定义过宽 (5)定义过窄 8、“国家是资产阶级统治无产阶级的暴力工具，国家可分为资产阶级国家和无产阶级国家。”这段话所包含的逻辑错误包括（2.3. ） (1)定义过宽 (2)划分不全 (3)定义过窄 (4)多出子项 (5)论证过少 9、下列各组词项其内涵和外延有反变关系的是（ 1.5 ） (1)杀人罪、故意杀人罪． (2)成年人、未成年人 (3)有期徒刑、无期徒刑 (4)共产党员、审判员 (5)司法机关、法院 10、下列对词项限制错误的是 （ 1.3 ） (1)命题限制为词项 (2)演绎推理限制为三段论 (3)论证限制为论题 (4)间接推理限制为类比推理 (5)复合命题限制为负命题11、下列推理中，根据对当关系中的反对关系而进行推理的有效式是（ 1.3 ） (1)SAP→并非SEP (2)并非SAP→SEP (3)SEP→并非SAP (4)并非SEP→SAP (5)SAP→并非SOP12、当命题（2.3.4 ）取值为真时，命题“班上同学都是团员”取值为假。 (1)并非班上同学都不是团员 (2)班上有的同学不是团员 (3)班上同学并不都是团员。 (4)班上同学都不是团员 (5)并非班上有的同学是团员 四、分析题（一）下列语句作为定义或划分是否正确？如不正确，请指出其违反什么规则，犯什么逻辑错误。1、 共同犯罪就是几个人的共同犯罪。答：不正确，违反“定义项中不得直接或间接包含被定义项。”的规则，犯“同语反复”的逻辑错误。（以下 违反规则略）2、 民法不是刑法。 （定义否定）3、 商品就是通过货币进行交换的劳动产品。（定义过窄）4、 资本家就是剥削人的人（定义过宽）5、 宪法是国家的根本大法。（正确）6、 失败是成功之母。（以比喻代定义）7、 法律可分为宪法、民法、刑法、婚姻法。（划分不全）8、 邮件可分为快件、挂号件、航空件、国内件、国外件。（子项相容或混淆根据）9、 逻辑学是研究思维的科学。它的研究对象可分为思维的逻辑形式和一些简单的逻辑方法。（定义过宽、以分解代划分）10三段论可分为第一格、第二格、第三格三种形式。（划分不全）《法律逻辑学》平时作业（二）参考答案 一、填空题1、任何一个三段论都包括并且只包括三个不同的项，即 大项、中项、小项。 2、某有效三段论的大前提为MOP，小前提应为 MAS，结论应为 SOP 。 2、违反三段论“中项在两前提中至少周延 一次”的规则，会犯 中项不周延 的逻辑错误。 4、在三段论中，由两个 否定 或 特称 的前提不能必然地推出结论。 5、第一格三段论的中项分别是大前提的 主项 ，小前提的 谓项 。6、选言命题可分为 相容选言命题 和 不相容选言命题 两种。 7、联言推理有 分解式 和 组合式 两种有效式。 8、相容选言推理有 肯定否定式 一种有效式。 9、不相容选言推理有 肯定否定式 和 否定肯定式 两种有效式。 10、一个充分条件假言命题，只有当前件 真 而后件 假 时，它才是假的，在其它情况下，它都是真的。 二、单项选择题1、“所有S是P。”与“没有S是P。”之间具有( 1 ) (1)反对关系 (2)矛盾关系 (3)差等关系 (4)下反对关系2、“所有的公民都享有选举权。”与“有的公民没有选举权。”两命题之间具有( 2 )。 (1)反对关系 (2)矛盾关系 (3)差等关系 (4)下反对关系3、“主项和谓项相同而质和量不同的两个直言命题之间是( 3 )。 (1)反对关系 (2)下反对关系 （3）矛盾关系 (4)差等关系4、以SAP为前提进行换位法推理，推出的正确结论是（ 2 ）。 (1)SAP (2)PI S (3)非PIS （4）非PI非 S5、“没有一位有成就的科学家不是刻苦学习的”。这个命题的逻辑形式是( 1 )。 (1)SAP (2)SEP (3)SIP (4)SOP6、“普通逻辑学是没有阶级性的，普通逻辑学是科学，所以，所有的科学都是没有阶级性。”这个三段论是( 4 ) (1)有效的推理形式 （2)犯中项不周延的逻辑错误 (3)犯大项扩大的逻辑错误 (4)犯小项扩大的逻辑错误7、“大多数大学教师都会一门外语；她是大学教师，所以，她会一门外语。”这个三段论犯的逻辑错误是( 3 )。 (1)大项扩大 (2)小项扩大 (3)中项不周延 (4)两否定推结论8、以“所有P是M，有S不是M”为前提，进行三段论推理，推理正确的结论是 ( 3 )。 (1)有的S是P (2)所有的S都是P (3)有的S不是P (4)所有的S都不是P9、以“没有M不是P“和”有的S是M”为前提，进行三段论推理，推理正确的结论是( 3 )。 (1)没有S是P (2)没有S不是P (3)有的S是P (4)有的S不是P10、“凡贪污罪都是故意犯罪，这个行为是故意犯罪；所以，这个行为是贪污罪。”这一三段论所犯的逻辑错误是( 3 )。 （1）大项扩大 (2)小项扩大 （3）中项不周延 (4)两否定推结论11、“加强物质文明建设和精神文明建设都是重要的。所以，加强物质文明建设是重要的。”这里运用的推理是( 4 ) (1)相容选言推理 (2)关系推理 (3)不相容选言推理 (4)联言推理12、“如果不以事实为根据，或者不以法律为准绳，则不能公正断案。”其推理的逻辑形式是( 3 )。 (1)p∧q (2)p∨q (3)(非p或非q )→r (4)(非p并且非q)→非r13、当必要条件假言命题假时，它的子命题的真假情况是( 3 )。 (1)p真q假 (2)p真q真 (3)p假q真 (4)p假q假14、巳知“当且仅p才q，”“p∧q”，“p→q”均真， 则 ( 1 )。 (1)p真q真 (2)p假q假 (3)p真q假 (4)非p真非q假15、当P假q假时，下列命题形式为假的是( 1 )。 (1)P∧q (2)p←q (3)p→q (4)p←→q三、多项选择题1、一个有效的三段论的小项、中项、大项分别为S、M、P，如P在结论中周延，则其大前提不能是 （3.4.5 ） (1)PAM (2)MOP (3)MAP (4)POM (5)PIM2、以“所有的P是M”，“所有的S不是M”为大、小前提进行三段论推理，可必然推出（ 1.3 ） (1)所有的S不是P (2)所有的S是P （3）有的S不是P (4)有的S是P (5)没有S不是P3、“我们不靠天吃饭，而靠天吃饭是做自然界的奴隶，所以，我们不做自然界的奴隶。”这个三段论 （ 3.5 ） (1)是三段论有效式 (2)犯小项扩大的逻辑错误 (3)犯大项扩大的逻辑错误 (4)犯中项不周延的逻辑错误 (5)违反“前提中不周延的大项和小项，在结论中也不得周延”的规则 4、以“联言命题是复合命题”为前提进行对当关系推理，推出的结论是（1.2 ）。 （1）并非联言命题不是复合命题 （2）并非有的联言命题不是复合命题 （3）并非有的联言命题是复合命题 （4）并非没有联言命题不是复合命题（5）有的联言命题不是复合命题5、当子命题“P”、“q“均假时，下列命题为真的是（ 2.3 ）（1）p∧q (2)p→q (3)p←q (4)p要么q (5)p∨q6、当“p←→q”为真时，则其子命题的真假情况是（ 1.2 ）（1）p真q真 （2）p假q假（3）p真q假 （4）p假q真（5）非p假非q真7、当p真q真时，下列复合命题为真的有（ 1.2.4.5 ）(1)p∧q (2)p∨q (3)p要么q (4)p→q (5)p←q8、巳知“p∧q”为真，则（ 2.4.5 ）为假。（1）p→q (2)p要么q (3)p←q (4)非p←q (5)并非p∨q9、以“必然P”为前提，可必然地推出（ 1.2.4.5 ）（1）并非必然P （2）P （3）非P （4）可能P （5）不可能非P10、“p并且q”为假时，p、q或非p非q的真假情况可以是（ 2.3.4.5 ）（1）p真q真 （2）p假q真（3）p真q假 （4）p假q假 （5）p真q真11、“p←→q”为真时，则其子命题的真假情况是（ 1.2 ）（1）p真q假 （2）p假q假 （3）p真q假 （4）p假q真 （5）p假q真四、请指出下列命题的种类，并写出其逻辑形式。1、 学习要有股拼劲，但要注意身体。（联言命题：p并且q）2、 逆水行舟，不进则退。（不相容选言命题，p要么q）3、 只有找到问题的关键所在，才能解决问题。（必要条件假言命题：只有p才q）4、 如果不努力进取，就会落在同伴的后面。充分条件假言命题：如果p就q）5、 没有一个人的成功不是经过一番奋斗的。（全称肯定命题：SAP）6、 大多数企业都进行了体制改革。（特称肯定命题：SIP）7、 小张和小李是同学。（关系命题：aRb）8、 要么好恶以已，要么好恶以道。（不相容选言命题，p要么q）《法律逻辑学》平时作业（三）参考答案一、填空题1、一个必要条件假言命题，只有当前件 假 而后件 真 时．它才是假的，在其它情况下，它都是真的。 2、“只有A型血的人， 才是该案的案犯。”这一命题的负命题是 并非只有A型血的人，才是该案的案犯 ，与该负命题等值的命题是 不是A型血的人，也是该案的案犯。 3、当“当且仅当P才q”为假时，“PVq”为 真 。 4、“并非如果你来，他就不来。”与该负命题等值的命题是 你来，他也来 。 5、“并非只有由外国人当经理，才能把企业搞好。”与该负命题等值的命题是 外国人不当经理，企业也能搞好。
法律思维论文参考文献
最近我在写毕业论文，想得最多的就是参考文献不知道在哪找?不知道你们会不会也有这样是问题呢?以下是我为您搜集整理的法律思维论文参考文献，希望能对您有所帮助。
1、期刊论文类
1.鲁丽丽：《形式与非形式逻辑——论法律逻辑之定位》，《现代物业》2013年第5期。
2.成静：《论法律逻辑学与法律思维能力的培养》，《安康学院学报》2013年第2期。
3.杨娟：《法律思维研究综述——从语言的角度》，《经济管理者》2012年第24期。
4.庾晋鹏：《从法律推理到法律论证——法律逻辑内涵的逐渐丰富》，《经济师》2012年第11期。
5.李瑜青、张建：《法律思维内涵与特征再思考》，《东方法学》2012年第2期。
6.王利明：《论法律思维》，《中国法学教育研究》2012年第2期。
7.孙培福：《法律方法中的逻辑真谛》，《齐鲁学刊》2012年第1期。
8.王新娟、张斌：《法律方法与法律思维的培养——以问题意识为导向的宪法案例教学》，《当代教育论坛》(综合研究)2011年第9期。
9.梁开银：《法律思维：法学教育与司法考试的契合点——论法学教育与司法考试的互动与改良》，《法学评论》2011年第4期。
10.郭瑞昌：《论中国传统法律思维方式的现代化》，《沧桑》2011年第2期。
11.李义松、苏胜利：《环境公益诉讼的环保逻辑与法律逻辑》，《青海社会科学》2011年第1期。
12.项庭庭：《浅议法律思维》，《南昌教育学院学报》2011年第1期。
13.马玉波：《法律逻辑的思维模式选择——谈谈刑法案例分析的方法》，《牡丹江大学学报》2010年第10期。
14.郭新杰、葛宇宁：《试论法律逻辑的品质》，《重庆理工大学学报》(社会科学版)2010年第4期。
15.周占生：《法律思维路径之辨——以规范结构为基点》，《河南大学学报》(社会科学版)2010年第2期。
16.王萍：《对法律思维研究的整理与思考》，《汕头大学学报》(人文社会科学版)2010年第2期。
17.印大双：《法律逻辑与大众逻辑之博弈》，《理论与改革》2009年第2期。
18.徐楠：《浅议法律逻辑研究的转向》，《沧桑》2009年第1期。
19.聂小明：《关于法律思维方式特征的内在观察》，《滁州学院学报》2008年第6期。
20.杨建军：《逻辑思维在法律中的.作用及其限度》，《华东政法大学学报》2008年第5期。
21.孙光宁：《法律思维模式及其选择》，《长白学报》2008年第2期。
22.张瑞峰、巴尔：《论法律思维在中国法治建设中的作用》，《社会纵横》(新理论版)2008年第1期。
2、学位论文类
1.卞叶：《论法律类型及其类型思维》，硕士学位论文，苏州大学，2013年。
2.黄笑君：《论法官的法律思维》，硕士学位论文，广州大学，2012年。
3.郎盛科：《论我国司法审判中的法律推理》，硕士学位论文，辽宁师范大学，2012年。
4.施榕娜：《法律规则与道德评价对法律推理的影响》，硕士学位论文，西南政法大学，2011年。
5.张林波：《法律领域的逻辑应用研究》，硕士学位论文，西南政法大学，2011年。
6.王建荣：《论法律推理与法律解释》，硕士学位论文，西南政法大学，2011年。
7.胡媛：《试论中国法律逻辑及其发展方向》，硕士学位论文，西南政法大学，2010年。
8.杨冠祥：《法律逻辑研究的新视角》，硕士学位论文，中国政法大学，2010年。
9.付云云：《法律推理之路》，硕士学位论文，西南政法大学，2010年。
10.王萍：《论法律思维的概念》，硕士学位论文，山东大学，2010年。
11.胡桂哲：《形式法律推理与实质法律推理的比较研究》，硕士学位论文，河北大学，2010年。
12.蔡勇：《论法律推理中的实质推导》，硕士学位论文，中国政法大学，2009年。
13.邢杰：《从法官裁判视角看法律推理》，硕士学位论文，燕山大学，2008年。
14.王亮亮：《法律逻辑的生命源》，硕士学位论文，燕山大学，2008年。
15.范春莹：《法律思维研究》，博士学位论文，山东大学，2008年。
16.罗冰：《民法教学中法律思维的培养》，硕士学位论文，首都师范大学，2008年。
3、著作类
1.郑永流(译)：《法律思维导论》，法律出版社2013年版。
2.张斌峰著：《法律逻辑学导论》，武汉大学出版社2013年版。
3.李静著：《法律思维训练与法律文书写作——推理、结构与修辞》，中国法制出版社2012年版。
4.杨力著：《法律思维与法学经典阅读——以哈特〈法律的概念〉为样本》，上海交通大学出版社2012年版。
5.范春莹著：《法律思维研究》，法律出版社2012年版。
6.缪四平著：《法律逻辑——关于法律逻辑理论与应用分析的思考与探索》，北京大学出版社2012年版。
7.关老健著：《法律逻辑学研究》，人民出版社2012年版。
8.郑智航著：《法律内在逻辑的基调演变》，法律出版社2012年版。
9.陈瑞华著：《法律人的思维方式》(第二版)，法律出版社2011年版。
10.黄伟力著：《法律逻辑学导论》，上海交通大学出版社2011年版。
11.葛洪义主编：《法律方法与法律思维》，法律出版社2010年版。
12.穆晓军著：《经理人必备的法律思维》，北京大学出版社2010年版。
13.焦宝乾著：《法律论证：思维与方法》，北京大学出版社2010年版。
14.赵利、黄金华著：《法律逻辑学》，人民出版社2010年版。
15.龙卫球著：《法学的日常思维》，法律出版社2009年版。
16.张大松主编：《法律逻辑学案例教程》，复旦大学出版社2009年版。
好像他的立功和刑法的规定（犯罪后，是不是作者写错了？）没有因果联系，
法律论文选题原则：
1、有研究价值。它是指法律论文题目有学术价值,即有助于法律专业和法律学科的发展。
2、有重要的现实意义。它是指对依法治国,建设社会主义法治国家有指导或促进作用。法律论文题目,应当有助于立法司法和教育公民守法,对加强社会主义法制建设有推动作用。
3、有创新性。它是指该题是前人没有研究过，根据这个题目写出来的法律学术论文，能填补本专业的空白。
4、有深入研究的必要性。它是指自己选定的法律学术论文的题目虽然有人已经写过，但内容不深刻或不全面，或有疏漏甚至是谬误之处，自己选定的题目，角度比他们更新，写出来的内容有较多的创见和发展。
5、有强烈的创作欲。由于编写法律学术论文需要付出艰辛的脑力劳动，要克服重重困难，而要做到这些，就需要自己有主动的强烈创作欲望。实践表明，只有自己想写且非写出来不可的题目，经过一番努力研究之后创作出来的论文，才可能是高质量的论文。
6、符合自己擅长的法律专业。这是指选定的法律学术论文题目，是自己擅长的法律专业内的题目。法律学术论文，是法律专业性、学术性很强的文章。只有选定自己擅长的法律专业的题目，由于法律专业基础知识厚，造诣深，编写起来就会得心应手，左右逢源，论证严密，质量甚高。
7、吸收相关学科的知识，使法律专业知识与经济学、社会学、伦理学、逻辑学、生命科学、信息科学等知识相融合。只有这样，才能不断写出创新突出，紧跟时刊发展潮流的学术论文。
8、本人力所能及。它是指根据自己的法律专业知识和理论水平能写出来的能力，因为具有能写出此题的能力，就会在较短或有限的时间内又快、又好地将法律学术论文写出来。
如果某个选题很有学术价值，但因自己能力有限或不及，即使竭尽全力去写，其结果也写不出高质量的法律学术论文，这样就会事倍功半。