简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:尊敬的全国人大副委员长路甬祥院士,尊敬的全国政协副主席王志珍院士,尊敬的周远清会长、李大潜院士,各位院士、各位领导、各位嘉宾,老师们,同学们:大家上午好.今天,我们很高兴相聚在庄严的人民大会堂,举行全国大学生数学建模竞赛20周年庆典暨2011年高教社杯颁奖仪式。在此,我谨代表教育部高等教育司向长期以来关心和支持教育工作的各位领导表示崇高的敬意.向20年来为全国大学生数学建模竞赛成功举办付出辛勤劳动的所有专家、老师们表示深深的谢意.向今天所有的获奖者表示热烈的祝贺.向一以贯之热情支持竞赛的高等教育出版社领导和同志们表示衷心的感谢.今年4月,胡锦涛总书记在庆祝清华大学建校100周年大会上发表了重要讲话,对高等教育改革发展提