目录:  奇妙的宇宙神秘的外星人怪异的UFO 内容介绍：青少年充满好奇民，富有探求欲望，不仅对历史积淀的文化知识和日益发展的科学技术感兴趣，愿意学习，而且对许许多多手人类未解之谜也更关注，更感诱惑，这是青少年的特点，也是人类社会前时的一种动因，人类的科学知识，社会的文明进步，差不多都是在探索和回答种种未知事物中创造和发展的，虽然人类文明已高度发达，科学技术正迅猛发展，但人类背后的漫漫历史，眼前的茫茫宇宙，四周的大千世界，仍给我们留下千奇百怪的未解之谜，向我们提出如何认知和怎样应对挑战。内容截图： ...

目录:  第一部分 UFO观察报告的分类第二部分 夜间观察 内容介绍：UFO全称为不明飞行物，也称飞碟，是指不明来历、不明空间、不明结构、不明性质，但又漂浮、飞行在空中的物体，一些人相信它是来自其他行星的太空船，有些人则认为UFO属于自然现象，20世纪40年代开始，美国上空发现碟状飞行物，当时称为“飞碟”，这是当代对不明飞行物的兴趣的开端，后来人们着眼于世界各地的不明飞行物报告，但至今尚未发现确实可信的证据，许多不明飞行物照片经专家鉴定为骗局，有的则被认为是球状闪电，但始终有部分发现根据现存科学知识无法解释，本书主要介绍了UFO的一些相关知识等。内容截图： ...

目录:  已成现实的谜传外星飞船莅临雪域古印度的天外来客丹尼肯眼中的外星人黑衣人的恶作剧来自空中的劫持外星人的探测器来自天外的信函内容介绍：UFO全称为不明飞行物，也称飞碟，是指不明来历、不明空间、不明结构、不明性质，但又漂浮、飞行在空中的物体，一些人相信它是来自其他行星的太空船，有些人则认为UFO属于自然现象，20世纪40年代开始，美国上空发现碟状飞行物，当时称为“飞碟”，这是当代对不明飞行物的兴趣的开端，后来人们着眼于世界各地的不明飞行物报告，但至今尚未发现确实可信的证据，许多不明飞行物照片经专家鉴定为骗局，有的则被认为是球状闪电，但始终有部分发现根据现存科学知识无法解释，本书主要介绍了UFO的一些相关知识等。内容截图： ...

目录:  一、天文学简史二、古代天文仪器的变迁三、揭开星光奥妙四、窥视宇宙的“千里眼”五、星星到底有多亮六、为天体留下的倩影七、空间天文探测结果八、观测与制作 内容介绍：本书详尽介绍了与人类关系最密切的三颗星星――太阳、地球、月亮的形成、构造、形状以及运行规律，通过“日心说”对“地心说”的否定，展现了作为科学的天文学与宗教神权的斗争，本书最引人入胜的是针对二十世纪末谣传“恐怖大王从天而降”的歪理邪说引起的人们内心之恐慌，揭示了许多人类一直关心的宇宙之谜，例如天地大冲撞、恐龙灭绝之因、人类的起源、日食、月食、太阳黑子等，本书是帮助青少年朋友探索宇宙奥秘、树立正确宇宙观的良师益友。内容截图： ...

目录:  总序第一章 大西洲：海妖的传说还是文明的遗迹第二章 寻找故园：柏拉图论大西洲第三章 穿越心灵：大西洲在人类记忆中第四章 碧沙掩映：海洋深处的大西洲第五章 激荡历史：大西洲是如何影响历史进程的第六章 文明的虹桥：大西洲沟通两岸文化内容介绍：科学是一种解谜活动，当代最有影响的科学哲学家波普尔明确地把这种解谜活动分为猜测和解谜两个过程，天文学这门古老的学科起源于占星术，神秘的炼丹术孕育着化学……每一个科学真理都曾经被迷雾包围，今天成为科学常识的东西都曾经显得荒诞离奇，本书主要介绍了大西洲的一些谜等。内容截图： ...

目录:  前人的足迹电话的历程是谁敲开了电磁波的“大门”发明无线电报的年轻人传真机的发明者——爱德华.贝兰无线电广播从开始到发展内容介绍：20世纪是一个伟大的世纪，在这个世纪里，人类创造了前所未有的物质文明，取得了无数具有划时代意义的重大科学技术成果，在基础科学领域，相对论的建立，超导现象的发生，以及试管婴儿、克隆羊的降生等，都为人类认识自然、征服自然作出了重大贡献，在技术科学领域，计算机的诞生，电视、录像技术的发明等，都把人类推向一个崭新的信息时代，本书主要介绍了电信发明的一些故事等。内容截图： ...

目录:  揭开绿叶的秘密他找到了植物里的“老祖宗”设宴查“凶手”看不见的病毒蜘蛛吸引了科学家史密斯教授的“寻鱼启事”白鹇尾羽的秘密无理数的谋杀案内容介绍：叶绿素在日光照射下进行光合作用，无理数并非无理，蒸汽机是利用水蒸气产生动力的发动机，地球既在自转，又绕着太阳公转……对于这样一些问题，在今天已是人们普遍知道的常识，可是你是否知道在漫长的年代里，人们经过多么艰苦的探索，经过多少次实验和失败，才揭开了这些问题的秘密，在科学上获得了成功，本书用生动活泼的文字讲述了二十二个有趣的科学发现的故事，介绍了科学家们为科学不惜现身的动人情景，描绘了他们探索和解答问题的生动过程，本书可以帮助青少年朋友启发思想，开拓眼界，增长丰富的科学知识，同时激发少年朋友为探索自然界秘密而勤奋学习的精神。内容截图： ...

目录:  一 天文观测常识篇二 天文观测活动篇练习一 月面山和“海”的识别练习二 河外星系类型的识别附录附表 内容介绍：你想加入天文观测者的行列，亲自去探索星空的奥秘，亲自目睹神奇宇宙中那千姿百态的天体和天象吗，你想了解开展业余天文观测活动须具备哪些知识和条件，应采用什么途径和方法吗，你想知道怎样识别斑斓的四季星空和美丽的长尾彗星，如何观测壮观的太阳活动和灿烂的流星雨，怎样寻觅神秘的变星与双星和多姿的河外星系吗，那就请读读这本书吧，它将向你展现天文观测的无穷魅力，引导你步入天文学的科学殿堂。内容截图： ...

第1章 集合论基础1．1 逻辑记号1．2 集合1．2．1 集合与性质1．2．2 一些重要集合1．2．3 集合的构造1．2．4 基本公理1．3 关系与函数1．3．1 入记号1．3．2 复合关系与复合函数1．3．3 关系的正象与逆象1．3．4 等价关系1．4 进一步阅读资料第2章 操作语义2．1 imp--一种简单的命令式语言2．2 算术表达式的求值2．3 布尔表达式的求值2．4 命令的执行2．5 一个简单的证明2．6 另一种语义 内容简介：本书是形式语义方面的一本经典之作，被国内外很多大学选作教材。书中包括集合论基础、指称语义、操作语义、公理语义、归纳原理、归纳定义、完备性、域论、递归方程、递归技术、高阶类型语言、信息系统、递归类型、不确定性和并行性、不完备性和不可判定性等内容。　　 本书始终强调指称语义和操作语义的联系，并给出它们的一致性证明。书中包含了丰富的练习。 本书以作者在剑桥大学和aarhus大学的讲义为基础编写而成，可以作为计算机专业和数学专业的本科生和研究生形式语义课程的教材，也适用于软件开发人员参考。　　 本书是以作者在剑桥大学和aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。　　本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。　　本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书内容截图： ...

内容介绍：天文学是研究宇宙空间天体、宇宙的结构和发展的学科，内容包括天体的构造、性质和运行规律等，主要通过观测天体发射到地球的辐射发现并测量它们的位置，探索它们的运动规律，研究它们的物理性质、化学组成、内部结构、能量来源及其演化规律，天文学是一门古老的科学，自有人类文明史以来，天文学就有重要的地位，本丛书包括《关于外星人》、《来去匆匆的彗星客》、《撩起地球的面纱》、《燃烧的太阳》、《认识月球》、《生死有命的恒星族》、《太空旅行不是梦》等。内容截图： ...