简介：人类社会发展的奥秘就在于人们能够在应对一些个人无法应对的问题时采取共同行动，人类共同行动的进化史也就是一部社会文明化的历史。在入的共同行动中，是一直包含着合作的内容的。不过，如果对合作进行分析的话，则可以发现其有着不同的形式和不同的境界，有一个从互助到协作再到合作的进化过程。互助是一种较为原始的合作方式，具有感性的特征。而协作则是互助的进化，是从属于工具理性的，具有科学化、技术化的特征。至于合作，则是一种高于协作的共同行动模式。合作是建立在经验理性的基础上的，是在人类社会走上了全球化、后工业化进程时推展出来的一种共同行动模式。

简介：党的十八大报告以＂美丽中国＂表明中国共产党进一步建设生态文明的决心,也从另一个层面进一步向世人展现了中国共产党生态文明理论的＂文明＂特质。中国共产党生态文明理论是一种文明论,一方面,从理论层面彰显出系统性与进步性;另一方面,从生态、经济、社会等应用层面彰显出其实践成效。理论与实践的＂文明＂属性为世界文明形态转型贡献出来自中国的声音,成为人类追求长远发展、探求生态文明的重要参考。

简介：生态马克思主义从经济、政治、文化、社会等多个角度全面分析了生态危机的根源，其中不乏深刻之处。然而，它在把资本逻辑作为生态危机的主要根源时，未能深入检审资本运作的内在机制，即现代形而上学；此外，在分析生态危机的文化根源时，又没有充分发掘文化的深层内涵以及生态危机所彰显的文化问题。这就启发我们在重构自己的生态文明理论时，要注意从哲学上把握文化的真实内涵并对资本的思想前提进行深刻地批判。

简介：

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

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

简介：党的十八大报告明确要求,大力推进生态文明建设,努力建设美丽中国。从哲学的角度看生态问题,其本质就是人与自然的关系问题。历史上人与自然的关系经历了最初的感性和谐阶段、现在的关系紧张阶段以及未来的达致和解、和谐共生的生态文明阶段。其中,人与自然的基本关系不同程度地表现为正相关与负相关两个方面。把握人与自然的关系,必须坚持马克思主义生态观,这是我们推进生态文明建设、迎接社会主义生态文明新时代的必备的理论自觉。

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

简介：不等式√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点正在家中。但是狐狸侦探断定她就是嫌犯，为什么呢？