Semantic Tableau Method in Non-Classical Logics
“开放源码”议题再起波澜——前言

一、问题 大家都知道,Linux是T.Linus在学习Minix时依据自己的思路去开发自己的操作系统时的作品.一开始并没打算要建造一套完整的操作系统内核,他关注的纯粹只是为了一种需要,就是阅读网络新闻组.只是在其将自己的作品发表在Minix新闻组里,才最终使这个完全个人化的创意得以脱胎换骨成为一个如今的电脑行业顶级"传奇".Linux的影响不仅仅是它是一个成功的操作系统,是值得象IBM这样的"兰色巨人"都要"拥抱"的系统,也不仅仅是一个源码开放、充满自由软件所代表的"自由"精神的一个系统,而且在于从表面上看一个大型复杂的操作系统可以通过互联网在千万人参与下获得成功的惊人之举,实质上是它所代表的一种新的软件工程理念和方法,至少是一种新的软件系统开发模式.