简介：一个男孩子向他的同学炫耀（xuànyào）：“有一次，眼看就有生命危险（xiǎn）了，我爸爸急中生智（zhì），抓住水中游着的两条鱼，这才安全地到达岸（àn）上。”同学们全都表示不相信，要他拿出证据（jù）来。“这难道还需要证据？”男孩子睁（zhēng）大眼睛不解地说，“我爸爸至今还好好地活着，这难道不是最好的证明吗？”

简介：5月8日，由湖北省郧县谭山镇开往县城的早班客车中途抛了锚，车上乘客顿时炸开了锅。就在大家心急火燎的时候，一位须发皆阳且视力欠佳的六旬老者，手撑竹竿，肩挎皮包上了车。此人远近闻名，姓王号称“王半仙”，祖上三代皆以占卜为业。去年，他转了行，买了车床，还雇清了4名工人帮他在被誉为“米黄玉之乡”的谭山镇搞大理石产品加工，由他生产的“喜庆十八大”、“共圆中国梦”系列米黄玉产品在广东、台湾等地俏销。

简介：我经常听同学们说，面对一些生疏的问题，常常束手无策；自己会做的题目，写到纸上不知为什么就答错了呢？那么，在推理过程中，怎样激发灵感、准确地把握推理方向、严谨地写出证明过程呢？这值得同学们冷静地思考和探索．下面我就几个方面和同学们一起探讨推理与证明进行过程中的思维方向和解题心得．

简介：“十二五”时期是税务部门全面推进纳税服务工作的关键时期。要做好纳税服务工作，首先要准确定位纳税服务职能。纳税服务职能的厘清既是优化纳税服务的前提，又是提高纳税服务质量、效率、水平的内在需竞只有在纳税服务职能明确定位的基础上，才能合理地确定税务机关在服务型政府建设大架构的涉税服务体系中的纵横坐标，才能最大限度地实现纳税服务的效能，促进我国经济社会的有效、稳定、健康、可持续地发展。

简介：梅四久的马丢了。梅四久早上起来就去了马圈，他没有看见马，只看见了柱子上的一小截链子，那链子是用来系马的。那一次，买回来的链子他嫌长了一点，就截成了两截，长的一截系在马上，短的一截套在柱子上。

简介：不等式√a^2＋b^2＋√a^2＋c^2＋√b^2＋c^2≥√（a＋b＋c）的无字证明（其中a、b、c均为正数）．

简介：小刘辞职老张前些年一直在一家外资咨询公司工作,由于外语不是很好,所以多年来一直徘徊在中层没办法升上去,郁闷良久,他终于下了决心,辞职自己开公司。刚开始公司生意并不理想,幸好老张人缘不错,一些老客户知道他自己开了公司,就把项目介绍过来照顾生意。这么熬了快一年,公司渐渐有了起色,老张才终于找到点＂张总＂的感觉。

简介：切线的证明是每年中考必考内容，重点考察对于切线的理解，还考察对于角的转化、等腰三角形性质的应用等能力．在复习中应重点讲解解决此类问题的基本方法．本文主要通过例题讲解来阐述如何证明切线．

简介：纳税服务不仅在理念上改造着传统的税收征管模式,而且影响着具体的财税法制度实践。在财税法治的背景下,纳税服务的概念需要转型,内涵需要深化。首先要从国家立场转向纳税人立场,以协调征税权与纳税人权利;其次要将纳税服务的具体行为与税法学基本范畴进行全面的接轨与融合,逐步实现其＂法律化＂的进程,为构建平等型、契约化的税收征纳关系提供可行的理论和现实进路。

简介：美国著名数学家G·波利亚曾说：＂一种想法使用一次是一个技巧,经过多次使用就可成为一种方法.＂自算是一种基本且重要的解题思想,伴随自算思想并由此而产生的数学解题方法称之为自算法.根据题目的结构特征,利用自加运算、自乘运算等是自算法的主要手段.运用这种方法证明某些不等式,往往能化繁为简,变难为易,得到简捷合理的解题途径,兹举例说明.

简介：近年来关于不完全知识的规划成为活跃的研究领域,许多逻辑系统引入感知动作、条件规划描述这一问题。作为代表性的成果之一,Son和Baral提出了动作语言Ak及其不完全信息下的推理语义。本研究进一步为Ak设计了谨慎语义和弱谨慎语义,使得主体可以在严格安全环境下生成并执行可靠的规划。计算复杂性分析表明谨慎语义降低了Ak的推理复杂性;为上述语义提出用于验证条件规划推理机制的Hoare型证明系统,该系统是可靠和完全的,既可应用于规划生成,又可应用于规划验证;且该系统有离线规划的性质,即在离线状态下主体可以将已有的短的证明组成新的长的证明。

简介：在高中数学教材中，向量数量积的坐标形式是通过数量积性质得到的．本文意在通过数量积的定义直接得到坐标形式，使学生学习起来有一种一气呵成之感．

简介：Darboux定理是数学分析中的一个重要定理．在已有文献的基础上，对该定理作了进一步的研究，利用区间套定理给出了它的新的证明方法．证明思路与现有的其它证明思路是不同的．

简介：尽管我国最新修订的《刑事诉讼法》正式将“排除合理怀疑”作为证明标准，但我国法学界对如何设定证明标准仍存在较大争论，如最高法院沈德咏副院长“宁可错放、也不可错判”的观点引起的巨大争议。本文采用法经济学的分析框架，详细阐述了证明标准的设定应使行政成本和错误成本之和最小化，并比较分析了刑事、民事和行政诉讼的证明标准。国内对证明标准的传统法学分析在系统一致性、全面性和可解释性上存在不足，而法经济学的比较分析可以弥补上述不足，并提出被传统法学分析忽视但却影响证明标准设定的一个极为重要的因素——举证责任人为达到证明标准的要求需付出的成本，即行政成本。将该分析框架运用到最高院公报案例廖宗荣诉交警案中，可以得到不同于原判决的新结论，即该案证明标准可以进一步提高，法院有充分理由判交警败诉。

简介：本文第一部分给出了与素数相关的一些定义，第二部分给出了素数的一般公式，第三部分给出了孪生素数猜想的证明，第四部分给出了哥德巴赫猜想的证明，第五部分给出了寻找满足哥德巴赫猜想的素数的方法，最后给出了梅森素数猜想和x^1＋1素数猜想的可能证明过程。

简介：房产税是按照房产原值减除一定比例或按照房产租金收入计征的一种税。由于房产税计税依据的不同，并且实务中存在降低房产税计税依据的操作技巧和税法给予的房产税税收优惠，因此房产税具有一定的纳税筹划空间。本文通过案例对房产税纳税筹划进行阐述，以期为企业获取合法的节税利益提供参考。

简介：目前我国的社会环境与欧洲大陆国家法定证据制度时期有某些相似之处,同样面临着司法权威、司法公信力不足,刑事诉讼程序运行的确定性和统一性缺乏的问题。外在的、客观的标准不仅能减少法官的主观性,弥补司法公信力不足和权威缺乏的问题,还能使诉讼程序的运行更有确定性,提升裁决结果的可预测性,进而从整体上促进公正判决。证明标准的制定也与刑罚体系有关,我国目前仍保留死刑,刑事审判中适用死刑的可能性仍旧较大,需要有更为严格和可操作性的证明标准。《办理死刑案件证据规定》等法律法规通过明确证明对象、明确证明规则、具体化证明要求等方法将现行证明标准进行了客观化,笔者认为,接下来努力的方向应当是建立健全证据规则、严格的程序规则。对于死刑案件,则应通过增加裁判者人数、严格死刑案件的裁判和审批程序和构建相应的证明规则达到恰当客观化现行证明标准的目的。

简介：我国刑事司法证明模式属于“新法定证明模式”，强调证据链条形式上相互印证，遵循线形诉讼结构的单向思维，呈现“新整体主义证明”之端倪，可以概括为“以印证为中心的整体主义证明模式”。刑事司：去证明模式与刑事诉讼模式存在共振关系，其生成逻辑未走出传统诉讼文化之窠臼，亦未能挣脱行政化与非专业化之束缚。借助法社会学、法经济学研究方法对刑事司法证明模式进行评价，可以在“活法”与“死法”间作出判断，在“公正”与“效率”间作出抉择。模式转型之际，需要保持开放的话语姿态，但也不必以域外为样本亦步亦趋，而应聚焦中国问题，建构“以证据裁判为主、自由心证为辅”的中国模式。

简介：某公司羊经理在公司遇害身亡，他破碎的手表指针指着早上10点。狐狸侦探前往嫌疑人猪太太家调查，猪太太拿出一张照片证明自己早上10点正在家中。但是狐狸侦探断定她就是嫌犯，为什么呢？

简介：1921年7月中国共产党创建伊始，党员仅有50多名。他们都是各地共产主义小组的成员。在中共“一大”会上通过的《中国共产党纲领》规定：“凡接受我党的纲领和政策，愿意忠于党，不分性别、国籍，经过一名党员介绍，均可成为我们的同志。”即自中共“一大”召开后，凡要加入中国共产党必须得有“入党介绍人”。