标签 布尔差分法

魏道政先生是我国最早从事计算数学和计算机应用研究的学者，是我国计算机辅助设计、辅助测试和容错计算领域的主要开拓者之一，曾获第二届国家自然科学奖、中国计算机学会“中国计算机事业 60 年杰出贡献特别奖”和“终身成就奖”。