具体描述
作者简介
李未，1943年
6月出生。1966年毕
业于北京大学，
1983年获英国爱丁
堡大学计算机科学
博士学位。现为北
京航空航天大学计
算机系教授、软件
开发环境国家重点
实验室主任、中国
科学院院士、国务
院学位委员会委
员。李未在实用并
发语言语义、并发
语言的翻译理论等
方面取得了开创性
研究成果。曾获国
家自然科学二等
奖、何梁何利科技
进步奖等多项奖励。
目录信息
自述
科研论著
第一部分 程序理论
An Operational Semantics of Multitasking and Exception
Handling in Ada
A Syntax-Directed Approach for implementing the Rendez-
vous Mechanism in Ada
A Structural Operational Semantics for an Edison-like Langu-
age (!)
A Structural Operational Semantics for an Edison-like Langu-
age (2)
An Operational Translation Theory
第二部分 开放逻辑及其应用（英文）
An Open Logic System
A Logical Framework for Evolution of Specifications
The Inductive Process: A Logical Framework for In-
ductive Inference
第三部分 中文学术论文
关于离散型试验的最优设计
一个开放的逻辑系统
归纳推理和归纳进程
形式化方法的局限性
第四部分 其他
对智能机基础研究的几点看法
从80年代各国计算机计划看“八六三”智能机主题“九五’
调整
关于博士生的自我培养
论著目录
· · · · · · (收起)
读后感
用户评价
这本书的独特魅力还在于其兼具的时代感和前瞻性。作者似乎拥有穿越时空的能力，总能在看似寻常的现象中，捕捉到未来发展的关键脉络和潜在的危机。他不仅仅是在总结过去和描述当下，更是在预判和塑造未来。书中对新兴趋势的洞察力令人印象深刻，那些在当时看来或许还略显边缘的观点，如今看来却已经成为了主流的讨论焦点。这种“先知先觉”的智慧，源于作者深厚的积累和对人类社会发展规律的深刻洞察。阅读这本书，不仅是回顾历史，更像是在参与一场与未来世界的对话，让人对接下来的世界发展充满了期待和准备。这本书的价值在于它的超前性。
读完这本书，我最大的感受是作者那股扑面而来的批判精神和创新勇气。在很多既定的观点和传统的框架面前，他没有盲从，而是敢于提出质疑，并用扎实的论据支撑起自己全新的视角。这种挑战权威、探索未知的精神，在当前的学风中显得尤为珍贵。书中对现有理论的梳理和解构，体现了一种极高的学术自觉性，他不仅在建设自己的体系，更在对已有的知识进行一次彻底的“体检”。这种对“常识”的反思和挑战，极大地激发了我的独立思考能力。我开始审视自己过去接受的许多既有观念，并尝试从更本质的层面去重新理解它们。这本书像一剂强心针，注入了批判性思维的活力。
这本书的结构布局设计得非常精妙，简直是一部典范的学术著作编排范例。内容从宏观的背景介绍逐步过渡到微观的具体案例分析，逻辑链条完整而紧密，让人在阅读过程中始终能保持对全局的把握。作者在章节之间的衔接处理得极为自然，前后的呼应和铺垫都做得天衣无缝，读起来丝毫没有跳跃感或断裂感。特别是那些引用的资料和前沿的研究成果，都经过了作者的深度消化和整合，呈现出来的是一种全新的、高度提炼的信息。这不仅仅是知识的堆砌，而是一次系统的知识重构。对于希望系统学习某一领域深度知识的读者来说，这本书提供的框架和路径规划，是极具参考价值的。
这本书简直是知识的海洋，每一次翻阅都能带来新的启发。作者的思考深度和广度令人叹为观止，他对复杂问题的剖析总是那么透彻有力。尤其是在论述理论框架时，那种层层递进、逻辑严密的笔法，让人仿佛置身于一场高水平的学术研讨会中。我特别欣赏作者在文字中流露出的那种对真理的执着追求，他不仅提出了观点，更重要的是，他展示了如何一步步构建起一个严谨的论证体系。对于那些真正热爱思考、渴望深入理解事物本质的读者来说，这本书无疑是一份宝贵的财富。它不是那种快餐式的读物，需要沉下心来细细品味，但投入的时间和精力绝对是值得的。读完之后，你会感觉到自己的思维层次得到了显著提升，看待问题的角度也更加开阔了。这本书为我提供了一个思考的范本，让我明白学术研究的魅力所在。
这本书的文笔实在是太流畅了，简直可以用“如行云流水”来形容。虽然主题可能涉及一些较为深奥的领域，但作者的表达方式却能将复杂的概念阐述得清晰易懂，没有丝毫晦涩难懂的感觉。他巧妙地运用比喻和类比，让抽象的理论变得生动起来，即便是初涉此领域的读者也能迅速抓住要点。我尤其喜欢作者在叙述中穿插的那些富有洞察力的随笔和思考片段，它们如同点缀在宏大叙事中的珍珠，让人在严肃的阅读过程中感受到一丝轻松和愉悦。这种行文的节奏感把握得非常好，读起来一点也不觉得枯燥乏味，反而让人产生一种想要一口气读完的冲动。这本书证明了学术著作也可以拥有文学性的美感，知识的传达与美学的享受可以完美结合。
