• 看出版时间,就是2005年1月,真是够新的!不过现在暂时只有5本,看来还得再等等咯。感觉这一套书的封面不如上次的“茅盾文学奖获奖书系”。

    以下摘自(http://www.rw-cn.com/book/listbook.html?search=collection&value=茅盾

      茅盾文学奖自设立以来,已历五届,共有二十二部长篇小说(另有两部作品获荣誉奖)。这些获奖作品大部分在长篇小说的叙事艺术上取得了突破性成就,具有一定思想深度和较强的艺术感染力,体现了长篇创作的整体制高点,展示了新时期二十多年来我国长篇小说创作的最优成果,在中国当代作家心目中构成了一种标尺。它们中,有反思我们所走过曲折历程,并对新时期文学有启蒙和领路意义的作品,如《许茂和他的女儿们》《芙蓉镇》《将军吟》等;有描写我们民族深重艰难和重重羁绊,对国家、民族命运作深入思考的作品,如《黄河东流去》《沉重的翅膀》《抉择》等;有表现人物命运、并将之与社会变迁进行观照,写出人生奋斗挣扎的作品,如《穆斯林的葬礼》《尘埃落定》《长恨歌》等;有以史为鉴,挖掘我们民族深层文化内涵的长篇历史小说作品,如《李自成》《少年天子》《白门柳》等;更有厚重沉郁,直达心灵,像《平凡的世界》《白鹿原》这样的扛鼎之作等等……。应该说,茅盾文学奖获奖作品,有些已成了我国当代长篇小说的经典,在我国当代文学史上占有举足轻重的地位,不仅代表了我国当代长篇小说创作的最高水平,而且深入人心,影响甚巨,有数种发行量均过百万册,毫无疑问,它们的获奖,是这一奖项权威性的象征。

        茅盾文学奖获奖作品,其中人民文学出版社出版并获奖者过半。多年来,不断有作者、读者及有关人士表示,希望看到整体推出的茅盾文学奖全部获奖作品。如今,在作者、作者亲属和有关出版单位的大力支持下,“茅盾文学奖获奖作品全集”由人民文学出版社独家推出,此次结集出版,我们对所有作品进行文字校勘,个别作品为方便阅读,酌加编者注;一些以部分卷册获奖的多卷本作品,此次将整部作品收入;同时,采用国际流行开本,大字排版,装帧典雅庄重,气派大方,力争使“茅盾文学奖获奖作品全集”精品精制,完整完美,适合阅读、欣赏、馈赠和收藏。

  • 几个文学链接

    2005-01-06

    Tag:文学
  • 钱钟书先生其人其书
  • 读书公园(Bomoo.com)
  • 北大中文论坛 → 中国现当代文学
  • 国学网站--小说研究
  • 一个理论研究网站,右边栏里面有马恩列斯文选、毛选、邓选等
  • 左岸文化
  • 51ks.com精品图书
  • “大学生必读”丛书书目


      《诗经选》   余冠英选注   12.00
      《楚辞选》   马茂元选注    12.00
      《乐府诗选》   余冠英选    8.90
      《史记选》   王伯祥选   24.80
      《李白诗选》   复旦大学中文系古典文学教研组 12.80
      《杜甫诗选注》   萧涤非选注   16.00
      《唐诗选》(上下)   社科院文学所编    36.00
      《唐宋词选》   社科院文学所编   23.80
      《宋诗选注》   钱钟书选注   16.00
      《元人杂剧选》   顾肇仓选注   23.80
      《辛弃疾词选》   朱德才选注    12.80
      《西厢记》   王实甫著,王季思校注   16.00
      《三国演义》(上下)   罗贯中著   38.00
      《水浒传》(上下)   施耐庵著   46.00
      《西游记》(上下)   吴承恩著    43.80
      《今古奇观》   抱瓮老人辑   26.00
      《牡丹亭》   汤显祖著   13.80
      《聊斋志异选》   张友鹤选注   22.00
      《儒林外史》   吴敬梓著   20.00
      《红楼梦》(上下)   曹雪芹著      48.00
      《长生殿》   洪昇著   12.80
      《桃花扇》   孔尚任著   13.80 
      《老残游记》   刘鹗著   12.80  
      《李商隐选集》   16.00  
      《文心雕龙注》   周振甫注   36.00
      《苏轼选集》   张志烈等选注   16.00
      《邓小平论文艺》   中共中央宣传部文艺局编    8.60
      《鲁迅小说集》   鲁迅著   18.00
      《野草》   鲁迅著   6.00
      《女神》   郭沫若著   8.00
      《子夜》   茅盾著   19.80
      《家》   巴金著   19.00
      《沈从文小说选(上下)》   沈从文著   40.00
      《骆驼祥子》    老舍著   11.80
      《曹禺选集》   曹禺著   25.00
      《赵树理选集》    赵树理著   20
      《现代派诗选》    蓝棣之编选   19.80
      《茶馆》   老舍著   9.80
      《郁达夫小说集》   郁达夫著   28.00
      《新月派诗选》   蓝棣之编选   19.80
      《围城》   钱钟书著   16.80
      《艾青诗选》   艾青著   18.00
      《白鹿原》   陈忠实著    29.80
      《台湾小说选(1-3)》  《台湾小说选》编委会编    60.00
      《中国当代文学作品选上中下》   邾瑢等选编    69.80
      《王蒙代表作》    张学正编   28.00
      《马克思恩格斯论文学与艺术》  陆梅林辑注     40.00
      《诗学》    亚里士多德著 罗念生译    7.60
      《西方美学史》   朱光潜著   30.00
      《希腊的神话和传说》(上下)   斯威布著,楚图南译    38.00
      《俄狄浦斯王》(《索福克勒斯悲剧二种》)  罗念生译    8.00
      《神曲》   但丁著,王维克译    22.80
      《哈姆莱特》(《莎士比亚悲剧四种》)  卞之琳译   7.00
      《悲惨世界》(上中下)   雨果著,李丹、方于译    68.00
       《高老头》   巴尔扎克著,傅雷译    13.80
      《双城记》   狄更斯著,石永礼译   18.00
      《德伯家的苔丝》   哈代著,张谷若译    22.80
      《卡拉玛佐夫兄弟》(上下)   陀斯妥耶夫斯基著,耿济之译   46.00
      《安娜·卡列尼娜》(上下)   托尔斯泰著,周扬、谢索台译   39.80
      《母亲》   高尔基著,瞿秋白译   16.00
      《等待戈多》(《荒诞派戏剧选》)  萨缪埃尔·贝克特著,   6.80
      《沙恭达罗》   迦梨陀娑著,季羡林译   8.60
      《一千零一夜》   纳训译   26.80
      《浮士德》   歌德著 绿原译   25.00
      《红与黑》   司汤达著 张冠尧译   20.00
      《雪国》    川端康成著 叶渭渠译   7.90
      《伪君子》   莫里哀著 赵少候译   6.00
      《泰戈尔诗选》    冰心译   14.80

     

  • 人们一直将离散数学作为计算机科学的最基础的知识,离散数学课程是计算机科学的各专业第一个主干课程。编著者在多年的教学实践中深深体会到离散数学在计算机科学的学科建设和学科教学中,以及计算学科的知识掌握过程有着举足轻重的意义。
    为什么离散数学在计算学科的知识掌握中有着举足轻重的意义呢?我们从如下几个方面进行探讨。
    ㈠从计算机科学学科发展的需要看离散数学的地位。首先,本世纪计算机的出现,同蒸汽机出现一样是人类历史中的一件大事。十八世纪由于蒸汽机的出现,引起了西方围绕着能源和动力的工业革命。20世纪的计算机的出现,带动了世界性的信息革命的伟大进程。工业革命是以能源为中心的革命,使人类在自己的生产实践和社会实践中更有力量;而信息革命是以知识为中心的革命,使人类在自己的生产实践和社会实践中更加聪明;工业革命给人类带来了丰富的工业产品和物质财富,带来了人类的文明;信息革命不仅给人类带来了丰富的智能化的信息产品和物质财富,而且给人类带来了丰富的文化、艺术、知识产品和知识财富,带来了人类的更高级的文明。
    综观世界的文明史,人类经济发展到每一个阶段,都产生出这阶段的物质文明和精神文明,都产生代表这阶段的科学技术,并存在一种通用的学科表达语言,以客观地描述人们所了解的一些发展规律。在原始经济时代,由于产品的交换需要一种被称为算术的学科表达语言,描述了人们在物质交换时所带来的一些学科(主要是计数)问题;在原始经济向农业经济过度时,人们发现算术语言已不能完全表达有如土地丈量等一些经济活动了,例如直角边为1的直角等腰三角形的斜边不能用算术语言表达,因此产生了几何语言(欧基里得几何)。工业革命使人类进入了工业经济时代,显然欧基里得几何并不能描述工业革命的核心部分,例如能量转换、动力、瞬时速度、运动加速度、运动与运动之间的关系等,在产生牛顿力学的基础上,产生了微积分,有关能量转换、动力、瞬时速度、运动加速度、运动与运动之间的关系等问题可以在分析这个层面上统一认识,许多有关工业经济中的问题可以通过解方程的方法进行求解,可以这样说微积分和在此基础上发展起来的现代数学语言是工业革命和工业经济时期的学科表达语言。
    20世纪中的计算机出现,带动了世界性的信息革命的伟大进程,人们开始从工业经济时代向知识经济时代迈进。信息科学和技术的发展以及由信息科学技术的发展带动的智能科学和技术、生命科学和技术等的发展,是知识经济科学技术发展的重要标志。从工业革命初期开始,人们就开始找寻工业经济的学科表达语言,毫无疑问现代数学语言(包括统计学、计算数学、数量和非数量代数学、运筹学、微分几何、张量分析、泛涵分析等等)和用这些语言描述一切系统理论(包括理论物理、量子力学、统计物理、电动力学、计算化学、生物数学等等)对在工业经济时代科学技术的发展和经济活动等起着重要的的作用,在知识经济的产生与发展也产生了重大的影响,但在信息革命中,用现代的数学语言关于信息革命的实践的描述就并不一定是那么有效了。例如,信息革命是以知识为中心的革命,现代数学语言就没有关于知识概念,也不可能用数学运算的方法去描述知识的应用;作为现代信息革命的灵魂和知识产品的体现的计算机软件至今也还不能用现代数学语言来描述。
    计算机科学在信息革命中的学科地位有如牛顿力学在工业革命中的学科地位一样,由计算机出现带动的信息革命当然计算机科学将起着主导的作用。在今后的几百年内,人们将计算机科学迅速发展进一步完善,会象在牛顿力学的基础上发展出微积分以及现代数学语言一样,在计算机科学的基础上发展出信息革命的学科表达语言。计算机科学是在计算机带动的信息革命的实践中产生和发展的,反过来计算机科学的发展又大大推动了信息革命的进程。当前计算机科学在自己的发展过程面对着如下两个问题:一是信息革命的要求计算机科学要将计算机的应用扩大到包含所有的问题领域和深入到每个问题领域的深处而越来越细致越来越复杂;二是一旦让计算机去解决问题,那么计算机应自动地在有限和有效的时间内得出解。前者指出计算机科学的任务就是要用计算机的硬件、外设和软件构成一个系统,使得许多不同领域的问题都能在这样的计算机系统中得到解决。为了完成这个任务,就必须用一种符号语言构成一个包括了不同领域的通用模型。离散数学就是指出构成一个包括了不同领域的通用模型的思维方法,并且告诉我们怎样用不同的语言(符号语言、图形语言、逻辑语言等)从最简单的对象(集合)出发表示通用模型。后者指出计算机科学必须了解让计算机去解决问题在通用模型中的结构,由于要求在有限和有效时间内计算机自动完成,那么问题求解的方法必然是构造性的,所了解的结构必然是一种离散结构。离散数学中的求解问题的方法就是基于离散结构的构造性思维方法。
    当然,离散数学不一定成为信息革命的学科表达语言,也不一定能够成为计算机科学的学科表达语言,从离散数学的基本内容和计算学科的发展情况来看,许多计算学科的问题,都可以在离散数学的范围中表达,都可以试验抽象为离散数学的问题,不能否认离散数学在较通用的层面上描述了计算学科所表现出来的信息革命的许多模型,为现代计算学科的发展和应提供了理论基础。从学习的角度来看,离散数学的思维方法能够为计算机科学所用,"离散数学能够使我们在更高的高度去了解和学习计算机科学"
    因此可以说高等数学将大家从中学的传统的欧基里得的思维方式带进高等教育的基于工业革命的学科表达语言的富于创造性的思维方式,而离散数学将大家带进信息革命的学科表达语言中去发展和创造具有时代特点的先进的思维方式。
    ㈡从计算机科学学生能力培养的角度看离散数学的作用。计算机出现的五十多年间,人们追求着和出现了许多计算机信息革命带来的信息产品,但是信息产品受工业产品的观念上的影响,使得计算机科学的学科发展带来了偏差,使得整个学科的发展都是"软件跟着硬件走"。这种情况不仅仅表现在人们根据电子元件的发展来划定计算机发展的时代,而且最集中表现的是日本提出来的第五代计算机的发展计划:这个日本为了改变自己在科技界形象的、计划化钱最多的计算机发展计划,就是因为软件的原因宣告失败。早在60年代一些有识之士就指出了这一点,但计算机科学商品化发展的惊人的速度使得一直到1991年,由91教学大纲中才提出了"硬件必须跟着软件走"的提法。我们不能将自己的学生培养成计算机系统的奴隶,而应该培养成计算机系统的主人,我们的学生不能给计算机系统所塑造,将他们变成计算机,而是教育学生怎样地塑造计算机系统。在计算机科学知识掌握的过程中应是"硬件跟着软件走,软件跟着模型走,模型跟着学科实际应用走;学科实际应用跟着自然走"。而最主要的培养环节应该是软件跟着模型走,模型跟着学科实际应用走。关于学生的培养目标就是要培养自己的学生能够根据实际应用问题提出计算机应用的模型,并用硬件和软件资源去构造计算机系统去完成模型中所提出来的工作。换言之,关于"计算机"的研究并不是将自己的学生培养成计算机,而是将自己的学生培养成为怎样去根据实际应用问题去塑造计算机系统,成为计算机系统的主人。
    因此,我们的学生需要如下三个方面的能力:构造模型的能力;算法设计的能力;程序设计的能力。
    所谓构造模型的能力就是在通用的语言(例如数量代数和非数量代数的语言、符号逻辑语言、数理统计语言等)中构造解决实际问题的模型的能力。换言之,用通用语言关于现实需要计算机求解的实际问题进行编码,使现实需要计算机求解的实际问题描述成领域性模型(如管理模型、控制模型、推理模型、学习模型等),离散数学中的大部分内容是讨论构造或生成领域性模型的基本方法。
    所谓算法设计的能力是应用计算机的基本能力,也是计算机应用学科的计算机应用基础和应用技术的一个基本问题。让计算机来解决问题,目前人们不仅要告诉计算机需要做什么?而且还要告诉计算机怎样做?当领域性模型化为计算机能懂的计算模型后,将需要计算机解决的问题写成规划过程告诉计算机做什么和怎样做,使得计算机根据这个规划各步骤能自动地得到问题的解,这种规划就是解决这个问题的算法。算法过程的控制是算法设计的关键,它决定算法的存在性和算法的效率。算法过程的控制是由计算模型的结构来决定的。离散数学中所讨论的离散结构(例如线性结构、良序结构、锲型结构、群、环、域、各种代数格、置换、范畴等)以及这些结构的同态、同构等,在算法设计中都起着重要的作用。
    ㈢关于计算机科学的思维方法看离散数学的思维训练。既然我们要作为计算机系统的主人去塑造能满足实际应用的计算机系统,那么怎样地塑造计算机系统呢?怎样才有能力去塑造计算机系统呢?去塑造计算机系统需要什么样的思维方法呢?
    首先,计算机系统要解决的问题并不是个别的问题,也并不是某个领域上的特殊问题,要解决某个领域的所有能用计算机进行计算的问题,因此,关于计算机科学的思维方法必须是在足够通用的层面上的思维方法。如果所掌握或所习惯的思维方法仅限制在是某些特殊的领域,那么,随着计算机应用的不断扩大和计算机信息革命的不断扩大,将会使得思维的方法带有很大的局限性。当然,最通用的层面是自然层面,然而,自然层面上的对象还不能为现代计算机(现代计算模型)所了解。因为,我们选择塑造计算机系的的层面既带有最大的通用性,又能为现代计算机系统所了解的层面。在现代计算技术的支持下,这个层面就是符号处理层面。
    其次,我们是要去塑造计算机系统,我们的所有思维都要立足于能"塑造"性,因此,思维的可构造性,即在考虑构成计算机系统的所有对象都必须能够有某种方法在有限的时间内构造出来。因此塑造计算机系统的基本思维是构造性思维。
    再其次,构造性思维建立在怎样的结构上,换言之,找寻满足构造性思维的对象结构。显然在连续结构上是很难进行构造性思维的,在连续结构上存在着不能用符号完全表示的对象。例如,一个无理数它不能用{0,1,2,3,4,5,6,7,8,9,0}完全表示出来。因为计算机只认识符号,所以塑造计算机系统的构造性思维在某种离散结构上进行。
    因此,计算机科学的基本思维是在符号处理的通用层面上的基于离散结构的构造性思维。离散数学就是在符号处理的通用层面上讨论满足构造性思维的离散结构。
    我们来讨论另一个问题。离散数学课程的基本内容在数学学科中都能找到,从这个意义来看,离散数学是数学的一部分,燃而计算机科学工作者掌握离散数学的内容与数学上掌握离散数学的内容有什么不同?
    编著者在80年代初发现一些资深的数学教学工作者去讲授离散数学课程时并不是很有效的,学生只不过学到一些甚至是重复了一些零散的、毫无联系的数学内容。许多离散数学的教材也只不过毫无联系地罗列出一些数学中离散数学的内容。因此,学生体会不到我们所讨论的前面问题中提出来的离散数学在计算机科学中的重要地位。计算机科学工作者是从不同的需要和角度去掌握离散数学中的最基本内容。应该站在计算机系统的主人的立场去塑造计算机系统的观点去学习离散数学。因此学习离散数学的思维方法与学习数学的思维方法也不相同。例如,在数学上的存在性和唯一性,在计算机科学就是可构造性和构造的复杂性,而且需要构造的过程和过程能否停止。因此,从计算机科学出发去学习离散数学,不仅仅着重于结构方面去学习离散数学的基本内容,更重要的是学习离散数学的最基本的思维方法。学习离散数学,是以学习离散数学的内容来掌握关于计算机科学的最基本的思维方法。我们从以下几个方面讨论离散数学的特点。
    ㈠面对着最一般、最自然的思维对象。虽然计算机是为了某种特殊的计算而诞生的,但它从诞生之日起就面临着所有计算问题的命运。在它走过的五十多个岁月中,不断地扩大它的应用范围,至今无所不在;所解决的问题的深度越来越深入,越来越丰富,越来越复杂。这样就产生了两个相互矛盾的问题摆在计算机科学工作者的面前:一是当计算机系统支持问题许多不同的领域问题的应用时,它所能解决的问题只是关于这些不同问题领域的共性,因此系统不能是很丰富的;二是实际应用中所表现出来需要计算机解决的问题是很丰富的和很复杂的,为了使计算机解决丰富复杂的问题,它支持解决的问题的范围不能是很宽的。
    前者从描述计算机科学的语言来看,要求描述计算机科学的思维的语言面对的的是最一般和最自然的对象,或者说鉴于目前计算机仅能认识符号,所面对的是能用符号表示的最一般和最自然的对象。如果要计算机面对的是有许多条件限制的特殊的对象,那么,计算机就有可能因为无法了解这些条件而不认识这些对象。关于这些对象的操作也应该是最一般和最自然的,只有最一般和最自然的操作才是作用于最一般和最自然的对象的对象,才能真正实现。在现有的计算机体制下,操作往往表现为符号的形式变换。正因为这样,在离散数学中首先了解集合。因为①集合的确定除了满足排中律之外不需要再满足任何其它条件;②从集合出现构成新的集合的操作最自然、最简单,它只是并、交、补等;③集合和在它们之间的运算(操作)都能用符号表示;④利用集合和它们之间的运算能够产生出任何数学对象,也能在符号处理层面产生所有计算机系统。因此,有些离散数学的对象,从数学的角度来看很特殊、很简单,因为数学是在某种特定的理想条件下定义的对象,这种特定的理想条件下计算机不一定认识。离散数学就不能这样做,必须从最一般、最自然的条件下去理解。然而最一般、最自然的对象系统是非常广泛的(例如集合存在的范围是排中律所允许的最广泛的范围)。如此广泛的范围中所能讨论的性质是不丰富的,以次作为问题求解的平台不论在表达能力上和求解的功能上都是很低的。要求计算机求解的问题不仅需要问题的广度,而更重要的是问题的深度。离散数学所讨论的问题是从最一般、最自然的对象出发,但并不是停留在最一般、最自然的对象系统之中,离散数学整个学习过程就是不断地从计算机能了解的低层的系统中去构造仍然是计算机能了解的高一层而更丰富(更具有个性)的系统。这种不断地从广泛的描述问题领域构造没有那么广泛但更为丰富的描述问题的领域的过程称为"气化"。
    后者从计算机面临的实际问题来看。计算机面对的问题是一种多学科,且多姿多彩,个性非常突出的问题领域,在这些问题领域中问题描述和进行问题求解所用的方法是各式各样的。如果计算机只能解决其中某个领域的问题,那么这种计算机就只是专用机。计算机科学的工作者面对着各种各样不同的问题领域必须找到更为抽象的语言层面,虽然它不能描述每个问题领域的所有个性,但它可以描述许多问题领域的共性以及有关这些共性的问题的求解。这种找寻描述许多问题领域共性语言的过程称为"形化"。为了有更多的共性,往往需要讨论语言的编码。所以离散数学中所讨论的结构并不是某种具体的结构,而是能代表一类结构的抽象结构。例如,半群,它并不是指某个集合和结构,它是只要满足结合律的所有结构。离散数学另一个学习过程是讨论提出构成抽象结构的条件以及讨论各个抽象结构的性质和抽象结构之间的关系。
    ㈡结构化的问题描述。前面讲过,离散数学从内容来看是一般的数学内容,这些内容也可以用大家所熟悉的数学思维方法学到,但是数学思维方法并不一定能将这些方法用计算机能懂的语言告诉计算机系统。因此有些离散数学的内容的掌握是与计算机系统能懂的语言相联系的。因此计算机科学的学科表达语言有两方面的任务,一方面使计算机能懂的语言更为丰富;另一方面将求解的问题描述所用的语言尽量是结构化的。因为从现代计算机而言,如果用结构化方式描述的内容,显然比较容易被计算机所了解。因此,离散数学的学习过程中很大程度上是借助与对离散数学的内容的学习,来训练关于离散数学内容的结构化表达方式。离散数学就是用某种结构化语言对解决实际问题的系统(计算系统)的结构进行描述。
    离散数学结构化问题描述往往注重讨论支持问题求解的环境(论域)的结构,特别是离散结构,因为连续结构的环境(论域)不能提供结构化问题描述的支持。因此离散数学所关心的是满足计算机科学思维的离散结构,关心的是求解对象在结构中的相对位置,能够构成子结构的的条件,以及从对象类生成离散结构的方法和算法等。在离散数学中确定离散结构有两种方法:一是首先提出一系列用来表示结构中表示事物个体的性质和个体与个体之间的关系的形式表达式,它们往往是关于结构中性质和关系的断言,形式表达式往往是命题(谓词)公式,结构是满足这些命题公式的那些个体构成,结构就表现在这些性质和关系上。二是先提出一个结构的初型,然后指出一些从结构中的个体出发生成新的个体的操作及操作所需要满足的规则,结构是由初型和操作确定的。
    离散数学的这种确定描述问题的结构化语言的方法是计算机科学中的主要方法。
    ㈢构造性的思维方法。学科的思维特点是由学科的本体论、认识论、方法论和表达语言所决定的。我们不去讨论这些概念的精确定义和在计算机科学中的含义,但在计算机科学中,任何的思维都应该问题的求解在计算机上实现。在计算机科学的表达语言(至少在符号处理层面和在逻辑层面)上,求解问题如何操作,也就是说任何称得上适合于计算机科学的思维都应该是可操作的。所以在数学中的存在性和唯一性问题,在计算机科学中是可构造性和构造的复杂性问题。另外,目前人们让计算机解题,不仅要(用程序的方式)告诉计算机做什么,而且还要(用程序的方式)告诉计算机如何做,因此在结构化问题描述的基础上,还要指出问题求解的整个构造过程。在计算机科学的整个解决实际问题的思维过程中,非常注重解题的可操作性和操作的过程。
    离散数学的整个思维训练就是这种构造性思维的训练。在离散数学的整个学习过程中不仅要注重解题(或论证)的结果,而更重要是注重解题(或论证)过程的可构造性,以及可构造过程的复杂性。
    从数学的角度来看,离散数学的内容并不复杂,但从计算机科学的角度来看离散数学引导了人们进入计算机科学的思维领域,在通用层面上表现了计算机科学的学科特点。
    离散数学课程内容的结构。根据离散数学的思维特点安排整个内容:有三种方式描述离散结构:
    ㈠用性质和关系确定离散结构:它们具有这个结构是由于这些成员都具有某些性质和它们之间具有某些关系。用符号体系表示。
    ① 由于计算机面对的是最基本、最一般的的对象,只有集合才是最基本、最一般的的对象,因为关于它的认识不需要附加许多"人为"的条件,只需最自然的的可区分性就行了。而且用最自然的方式去陈述所满足的自然性质和最自然的操作方式去构造就可以形式地表示出来。
    ② 用为什么属于某集合和以怎样方式属于某集合形式地描述性质和关系。
    ③ 用符号的方法论证满足某性质和具有某关系来确定一种结构。
    ④ 利用最简单的离散结构-线性结构的问题求解的构造性思维方法。
    ㈡用简单几何图形表示离散结构
    ① 怎样用简单几何图形表示离散结构。
    ② 怎样利用这种表示方式进行问题求解的构造性思维。
    ㈢在最通用的符号层面上的问题求解。
    ① 用符号体系描述推理。
    ② 在通用层面推理操作。
    ㈣用满足某些规律的操作(运算)来确定离散结构。
    ① 关于操作所确定的结构。
    ② 怎样用操作确定结构中的位置。
    ③ 关于结构的生成性。
    ④ 怎样用一个结构了解另一个结构。
    ⑤ 几种特殊的结构。
    ㈤用性质和关系确定离散结构和用操作确定离散结构的一致性。

  • ft,我这里上来还是狂慢无比呀。

  • Google Suggest

    2004-12-13

    Tag:新知

    Google在它的英文页面又推出了新的功能——Suggest。下面是略图,is that cool? how is it implemented?  :)

    It's still XmlHttp,也就是ASP.NET 2.0里面提出的Script CallBack,看来这一招确实很棒!

    Google Suggest

  • 你好啊!

    2004-12-03

    Tag:

  • 三维WebGIS

    2004-11-30

    Tag:技术

      偶然看到一个新闻,杭州诞生全球首个三维仿真网上都市,呵呵,进去一看,果然很pp。技术上并不复杂,flash 而已。但是,效果却很不错,比通常的静态图片方式要漂亮多了,而且,在浏览者的眼里,人家才不管你采用的是什么架构,使用了什么先进的思想,人家就图个好看,实用。嘿嘿。

      这家公司看来蛮酷的,对前景也描绘的挺美好啊。heihei.可惜技术含量不够高,我以为,很容易被模仿甚至超越。虽然自称“网上都市”,“三维仿真”,其实只不过是九城模式的现实版,并没有多少GIS的东东,上次看到韩国三星三维电子地图,是基于自行开发的插件,可以在客户端进行旋转,缩放,平移,量算,确实做的很有技术含量。

      WebGIS搞了这么多年,已经呈现了多面的特性,既可以有面向专业用户的高端应用,也应当要更多的融入到普通百姓的日常生活中去,发掘更多的市场应用。

  • C# 之东邪西毒篇

    2004-11-24

    Tag:新知

    so 悍!

    发信人: piggest (亢猪无悔), 信区: Programming        
    标  题: C#(转载,不知道old否) (转载) 
    发信站: BBS 水木清华站 (Sun Apr  7 23:18:40 2002) 
     
    【 以下文字转载自 Joke 讨论区 】 
    发信人: tc (ignorancist), 信区: Joke        
    标  题: C#(转载,不知道old否) 
    发信站: BBS 水木清华站 (Sun Apr  7 23:15:16 2002) 
     
    C#(独白):很多年之后,我有个名字叫做C#,任何一种语言都可以叫C,只要它足够 
    强大,我不会介意别人怎样看我,我只不过不想别的语言比我更强大。 
    C#(独白):我还以为这世界上有一种语言永远不会过时,因为它太完美。在我出道的 
    时候,我认识一种语言,因为它出生的时候办公室的窗外有一棵橡树,所以很多年以后 
    ,它有个名字叫做JAVA。 
    C#(独白):近年流行网络,到处都有电子商务,有电子商务的地方一定需要技术,有 
    技术就会用到我,我是C#,我的功能是为技术人员提供服务,使他们能更快的开发产品 
    。 
    VB.NET(自言自语):看你的年纪也二十出头了,这二十几年来,总有些语言是你想学 
    的,或是有些语言你一直都学不会,有些语言太难,或者你一直想搞懂它,但是你不行 
    。哈,又或者你觉得不值。其实学一门语言,很容易。我有个伙伴,它很友善,而且最 
    近很热门,只要你随便花点心思,它一定可以帮你成为一个牛人,你尽管考虑一下。其实 
    学一种语言也不是很容易,不过为了生活,有时候你不得不费点劲。 
    Anders Hejlsberg(独白):离开Borland之后,我去了这个公司,开发了另一种语言。 
     
    Bill Gates(独白):2月14日,情人节,每年这个时候,都会发生一些事,很多人体会 
    到快乐,有更多的人则会感到更加孤独。今年,我带来了一个新产品。 
    Cash:不久前,我遇上一个人,送给我一个Copy,他说那叫VS.NET,用了之后,可以叫 
    你忘记所有以前用过的开发工具。我很奇怪,为什么会有这样的东东。他说人最大的烦 
    恼,就是选择太多,如果只给你一条路,你就别无选择,只能走下去。你说这有多开心 
    。这套软件本来是打算送给你的,看起来,我们要再Copy一份了。 
    Coder(独白):对于太新潮的东西,我向来很难接受,所以这套软件我一直没有装。可 
    能这套软件真的很有效,从那天晚上开始,Cash开始忘记了一些东西。 
    Coder:你还记得Dephi吗? 
    Cash:我想不起来了。 
    Coder:你还记得PHP吗? 
    Cash:我也不记得了。 
    Coder:你为什么老看那杯咖啡? 
    Cash:因为很眼熟。 
    Coder(独白):那天晚上他玩到很晚,第二天大清早就走了。我不知道他为什么要拿那 
    套VS.NET给我,但我看得出他很兴奋,每次有新的语言发布,他都会变得很激动。 
    Coder(独白):一个月以后,Cash去了一个很远的地方,那是他上学的地方,Cash曾经 
    在那里生活了一段时间,有一天他们毕了业,Cash就从来没有去过。 
    Cash:能不能再快一些? 
    Java:我现在只能这么快。 
    Cash:我以前好像见过你? 
    Java:何止见过,我曾经是你最好的朋友,但是现在已经不是了,你还在这儿干什么? 
     
    Cash:前不久,我遇见一个人,他送给我一套软件,叫做VS.NET,用了以后,不管以前 
    用过什么语言也会忘了,我很奇怪,为什么会有这样的东西,我用了之后发觉真的很有 
    效,不知你有没有兴趣试试? 
    Java:你知道MS和SUN的分别吗?MS,越来越不要脸;SUN会越用越心寒。 
    Cash:我们还会再见面吗? 
    Java:不会! 
     
    -- 
    涉江采芙蓉 兰泽多芳草 采之欲遗谁 所思在远道 
    还顾望旧乡 长路漫浩浩 同心而离居 忧伤以终老 
     
    庭中有奇树 绿叶发华滋 攀条折其荣 将以遗所思 
    馨香盈怀袖 路远莫致之 此物何足贵 但感别经时 
     
     
    ※ 来源:·BBS 水木清华站 smth.org·[FROM: 166.111.175.105] 

  • Google Scholar

    2004-11-19

    Tag:新知
    http://scholar.google.com/.面向学校师生以及研究人员的专业论文搜索。可以查询指定的作者的文献,也可以查到引用文献。并且,可以查询中文内容。very very cool。Google 伟大!