您的位置:站长主页 -> 繁星客栈 -> 望月殿 (数学逻辑论坛) -> 俺正在写的一个manuscript,希望大家喜欢 November 22, 2024

俺正在写的一个manuscript,希望大家喜欢

用户登陆 | 刷新 本版嘉宾: 萍踪浪迹 季候风 星空与道德 gage

kanex

发表文章数: 860
武功等级: 弹指神通
     (第六重)
内力值: 343/343

俺正在写的一个manuscript,希望大家喜欢



俺在看很多文章的时候,总觉得boring的东西太多。于是发明了一个格式,应该说在尽量清晰的情况下保证了信息量 ;)

地址在

http://hkusua.hku.hk/~h0399932/

现在不是很美观,以后要学学tex的type setting ;)

以后会加入很多箭头和标记,和自动排版的代码,保证效果完美 ;)


All the power on earth can't change destiny.


发表时间:2006-05-15, 02:23:07 作者资料

kanex

发表文章数: 860
武功等级: 弹指神通
     (第六重)
内力值: 343/343

Re: 俺正在写的一个manuscript,希望大家喜欢



嗯,改成图片的形式。以后这个地址就是这个东西了。




All the power on earth can't change destiny.


发表时间:2006-05-15, 08:59:53 作者资料

卢昌海

发表文章数: 1617
武功等级: 北冥神功
     (第一重)
内力值: 602/602

Re: 俺正在写的一个manuscript,希望大家喜欢



good work!

It might be better if you put the proofs (especially the lenghy ones) elsewhere, place hyperlinks in the table pointing to those proofs.


宠辱不惊,看庭前花开花落
去留无意,望天空云卷云舒


发表时间:2006-05-15, 09:58:36 作者资料

kanex

发表文章数: 860
武功等级: 弹指神通
     (第六重)
内力值: 343/343

Re: 俺正在写的一个manuscript,希望大家喜欢



我现在还在想怎么做比较好,可能会把长证明拆成很多段,需要找一个让证明的逻辑关系非常清楚的安排方法。

全部放在一起有好处。到时候全部打印在一张大纸上挂起来会看上去很舒服。

事实上,更进一步可以写程序自动根据定义和证明之间的逻辑依赖关系调节顺序,并且自动加入箭头之类的符号表示清楚这种关系。这样的话可以把数学和数学物理各个方面的一些知识都加进去。


All the power on earth can't change destiny.


发表时间:2006-05-16, 08:55:40  作者资料

萍踪浪迹

发表文章数: 1983
武功等级: 深不可测
内力值: 645/645

Re: 俺正在写的一个manuscript,希望大家喜欢



这种能力却无法顺利出国,而那些只会对付考试的人却可以到top大学,这真是悲哀。


漫漫长夜不知晓 日落云寒苦终宵
痴心未悟拈花笑 梦魂飞度同心桥


发表时间:2006-05-17, 12:21:40  作者资料

星空浩淼

发表文章数: 1743
武功等级: 九阳神功
     (第五重)
内力值: 617/617

Re: 俺正在写的一个manuscript,希望大家喜欢



鼓励一下!
趁年轻打下功底,终生受益


One may view the world with the p-eye and one may view it with the q-eye but if one opens both eyes simultaneously then one gets crazy


发表时间:2006-05-17, 14:03:45  作者资料

Omni