李未著2000 年出版355 页ISBN：7200038334
李未，1943年 6月出生。1966年毕 业于北京大学， 1983年获英国爱丁 堡大学计算机科学 博士学位。现为北 京航空航天大学计 算机系教授、软件 开发环境国家重点 实验室主任、中国 ...
李未著2012 年出版332 页ISBN：9787040362961
本书系李未院士关于教育的有关文章和论述。主要内容包括五部分：办学思路，建言献策，媒体之声，教育思考，问学求道等。本书主要反映21世纪初我国高等教育大变革大发展的十年北航开展改革的一些重要举措，个人关于教.....
李未著2014 年出版289 页ISBN：9787030401557
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
李未著2008 年出版255 页ISBN：9787030200969
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
