促进中部崛起专家论坛在郑举行

<正>2006年10月18日～19日,2006年促进中部崛起专家论坛在郑州举行.中国科协副主席、中国工程院院士谢克昌,中国工程院副院长、中国工程院院士杜祥琬出席开幕式,省委副书记陈全国致辞,副省长徐济超主持.本次论坛由中国科协、中国工程院和河南省人民政府联合主办,主题是以科技创新促进经济转型,实现中部地区跨越式发展.两院院士王浩、钟香崇、李俊贤、王家耀以及来自中部六省的科技界代表400余人参加了论坛。     

王浩算法的Java实现

用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。     

学术生涯与爱国情怀——王浩先生访谈

王浩先生（1921-1995年）是20世纪杰出的逻辑学家、数学家、哲学家。他是华人学者的优秀代表，享有崇高的国际声誉。1983年，国际人工智能联合会与美国数学会共同将首届“里程碑奖”（Milestone Award）授予先生，可谓名至实归。     

王浩院士来校讲学并受聘为我校兼职教授

7月1日，应我校水电学院盛邀，中国工程院院士、中国水利水电科学研究院水资源研究所所长、博士生导师王浩教授来校进行了学术访问和交流．     

迈向数学机械化:从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.     

迈向数学机械化：从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入因境，评价了塔斯基在理论上给出了定理判定的方法意义。特别指出是王浩首次在计算机上实现了高效证明定理的方法，并明确提出“迈向数学机械化”。