探索与实践 规划与计划工作十年

李未著2006 年出版271 页ISBN：7507320995

本书对城市规划及经济发展等问题进行了探讨与实践总结。

李未院士文集

李未著2000 年出版355 页ISBN：7200038334

李未，1943年 6月出生。1966年毕 业于北京大学， 1983年获英国爱丁 堡大学计算机科学 博士学位。现为北 京航空航天大学计 算机系教授、软件 开发环境国家重点 实验室主任、中国 ...

变革中的大学 李未教育文存

李未著2012 年出版332 页ISBN：9787040362961

本书系李未院士关于教育的有关文章和论述。主要内容包括五部分：办学思路，建言献策，媒体之声，教育思考，问学求道等。本书主要反映21世纪初我国高等教育大变革大发展的十年北航开展改革的一些重要举措，个人关于教.....

数理逻辑 基本原理与形式演算 第2版

李未著2014 年出版289 页ISBN：9787030401557

本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

数理逻辑：基本原理与形式演算

李未著2008 年出版255 页ISBN：9787030200969

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

手风琴练习曲集

李未明编著2000 年出版204 页ISBN：7540422327

哈拉哈河岸

丁素，李未芒著1958 年出版94 页ISBN：10151·6

数码钢琴入门

李未明主编2011 年出版184 页ISBN：7544436625

向阳门第 独幕话剧

李未芒编剧1961 年出版31 页ISBN：10078·1867

俄汉图解词典

李未青编；李素绚译1984 年出版791 页ISBN：17093·31