摘要: 对于后缀式计算过程为:建立一个栈,然后从左至右扫描该表达式,每遇到运算分量就压入栈中,每遇到运算符号,就弹出栈顶的运算分量,完成相应的操作并把结果 在压入栈中,最后的结果将留在栈顶。 阅读全文
posted @ 2011-11-26 22:35 hellomsg 阅读(490) 评论(0) 推荐(1) 编辑
摘要: 对于用低级编程语言是实现对运算式的处理,后缀式(逆波兰式)最为简便。下面是将中缀式(常见运算式)转换为后缀式的算法:栈底放‘#’,从左至右逐字读取中缀式: a.当当前字符为数字时,直接输出; b.当当前字符为"("时,将其压栈; c.当当前字符为")"时,则弹出堆栈中最上的"("之前的所有运算符并输出,然后删除堆栈中的"(" ; d.当当前字符为运算符时,则依次弹出堆栈中优先级大于等于当前运算符的(到"("之前为止),输出,再将当前运算符压栈; e.当为"#"时,弹出所有栈中 阅读全文
posted @ 2011-11-26 22:26 hellomsg 阅读(4189) 评论(0) 推荐(1) 编辑
摘要: 1 ;作者:HelloMsg 2 ;网址:http://www.cnblogs.com/wbb2109/ 3 ;邮箱:hellomsg_noreply@163.com 4 ;时间:2011.11.26 5 ;带括号的四则运算 6 ;算法:1.将键盘输入的计算式(中缀式)存入array1中sub8; 7 ; 2.将中缀式转换为后缀式存入array2中,算法思想: 8 ; 从左至右逐字(word)读取array1中的内容: 9 ; a.当当前字符为数字时,直接输出到array2; 10 ; b.当当前字符为"("时,将其... 阅读全文
posted @ 2011-11-26 20:53 hellomsg 阅读(4007) 评论(0) 推荐(1) 编辑


http://blog.sciencenet.cn/blog-1865911-831450.html  此文来自科学网何召卫博客,转载请注明出处。

 

这个命题网上有多种证法,有人甚至采用斜率和图形的方式。我不是数学老师,不能评判正确性,个人觉得归纳法比较传统也比较严密,这里推荐归纳法,答案中找到的,只是整理出来,顺便学习。

如果 

       如果X = 1

           logX = 0 -> 0 < 1 命题成立

       否则

           logX < 0 而 X > 0 所以 命题成立

如果 1 < X < 2

       logX < 1 命题成立

如果 X = 2

       logX = 1 < 2 命题成立

现在考虑 X > 2的情况,我也是自己证明到这里卡住的,已经忘记大学的训练了,对于归纳法的运用非常的生涩,这里重新写一遍,也是对作者对归纳法证明运用纯熟的膜拜吧。

现在假定对于正整数p,对于 命题成立,现在证明对于 命题也成立

因为  所以,

因为p为正整数, 2p < Y,所以 2 < Y,所以1 < Y/2 所以

所以 1+ Y/2 < Y

综上 logY < Y成立。

所以命题的证。

这个证明过程稍长,不过容易理解,而且归纳法还可以这样用,真心拾回一些遗失的技能的赶脚。

 


 

posted @ 2016-05-29 02:10 hellomsg 阅读(833) 评论(0) 推荐(0) 编辑
摘要: 令 x = logA, y = logB, z=log(AB) 。2x = A, 2y = B, 2z = AB, 则有 2z = AB = (2x)^(2y) = 2x(2^y) ,有z = x*2y,即 log(AB) = BlogA。 阅读全文
posted @ 2016-05-29 02:08 hellomsg 阅读(1824) 评论(0) 推荐(0) 编辑
摘要: 令 X = logA, Y = logB, Z=log(A/B) 。2x = A, 2y = B, 2z = A/B, 则有 2z = A/B = 2x / 2y = 2x-y ,有z = x-y,即 log(A/B) = logA - logB。 阅读全文
posted @ 2016-05-29 01:59 hellomsg 阅读(4584) 评论(0) 推荐(1) 编辑
摘要: 令 X = logA, Y = logB, Z=logAB 。2x = A, 2y = B, 2z = AB, 则有 2z = AB = 2x * 2y = 2x+y ,有z = x+y,即 logAB = logA + logB。 阅读全文
posted @ 2016-05-29 01:56 hellomsg 阅读(1730) 评论(0) 推荐(0) 编辑
摘要: objective-C:ARC(Automatic Reference Counting)java: garbage-collectedC++: smart pointer大同小异 阅读全文
posted @ 2015-01-17 15:02 hellomsg 阅读(331) 评论(0) 推荐(0) 编辑
摘要: 线程安全的类具有如下特征:该类的对象可以背多个线程安全的访问。每个线程调用该对象的任意方法之后都将得到正确的结果。每个线程调用该对象的任意方法之后,该对象状态依然保持合理状态。 阅读全文
posted @ 2014-12-23 10:32 hellomsg 阅读(251) 评论(0) 推荐(0) 编辑
摘要: 转自:百度经验GBK编码:是指中国的中文字符,其它它包含了简体中文与繁体中文字符,另外还有一种字符“gb2312”,这种字符仅能存储简体中文字符。UTF-8编码:它是一种全国家通过的一种编码,如果你的网站涉及到多个国家的语言,那么建议你选择UTF-8编码。GBK和UTF8有什么区别?UTF8编码格式... 阅读全文
posted @ 2014-12-22 14:43 hellomsg 阅读(482) 评论(0) 推荐(0) 编辑
该文被密码保护。 阅读全文
posted @ 2014-12-19 10:26 hellomsg 阅读(16) 评论(0) 推荐(0) 编辑
摘要: 一般的linux系统默认安装的vim是精简版(vim-tiny),所以不能配置语法检查等属性或获取在线帮助。需要安装vim-x:x.x.x,vim-common,vim-runtime.:syntax on 启动语法检查 或 :set syntax=sh :set hlsearch搜索高亮 :set... 阅读全文
posted @ 2014-12-04 20:14 hellomsg 阅读(1778) 评论(0) 推荐(0) 编辑
摘要: ...erase-credentials默认为true,会在public Authentication authenticate(Authentication authentication) throws AuthenticationException返回前调用((CredentialsContai... 阅读全文
posted @ 2014-11-05 18:35 hellomsg 阅读(2688) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示