摘要:李未男,1943年生,北京市人,文化程度博士,国务院学位委员会委员、国有智能计算机专家组副组长等。系统地解决了实用并行程序设计语言,特别是并行及通讯结构的语义问题,在并行程序语言翻译正确方面做出创始性贡献。还提出开放逻辑理论,建立了形式系统序列的极限理论等,证明了正交设计的最优性,在研究和使用硅编译技术及智能计算机研究等做出突出的成绩。 人物简介1943年6月8日出生,北京人,北京航空航天大学校长,中国科学院院士,计算机专家。1961年09月—1968年06月,就读于北京大[阅读全文]