一个极小不可满足公式子类改名的复杂性研究

改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子类,给出了该子类的改名算法,并证明了对该子类中改名问题可以在多项式时间内判定.     

对教育技术学专业改名的思考

对新颁布的《普通高等学校本科专业目录》中所修改名称专业的横向比较显示,"教育技术学"专业的改名不符合整体的专业"宽口径"取向,也不符合专业的成熟地位;专业改名的历史分析表明,当前的"教育技术学"专业改名既不合理又不合情,改名代价巨大;对专业名称进行语言学意义的思考进一步证明专业改名缺乏必要性。     

中国人民政治协商会议第一届全体会议隆重开幕

1949年9月21日,中国人民政治协商会议第一届全体会议在中南海怀仁堂隆重开幕。会议选举中华人民共和国中央人民政府委员会,选举毛泽东为中央人民政府主席。会议通过了北平为中华人民共和国首都,并改名为北京。     

改名风波

我有一个好听的名字,叫王谦瑞,还有一个曾用名叫王甲鹏。听爸爸妈妈说,我们家还是民主取名字!爷爷觉得叫王家宽好,奶奶觉得叫王家富好,爸爸、妈妈却觉得叫王甲鹏好,意见不统一啊,家长们     

狐仙不灵了

近几天,我班某村的几个学生先后找我要求改名,我很纳闷。一问,才知道他们村近几天来了一个狐仙,会测字,会算命,经她测的名字可前途无量,飞黄腾达。当我拒绝这些学生的要求后,他们的家长竟一齐来找我。尽管我大讲特讲这是封建迷信,但他们仍坚持要给孩子改名。有一个家长气呼呼地说:老师,也许你说的有道理,可如果算命     

教学楼改名不能“家长制”

大学教学楼被悄然改名为真维斯楼,非但公众突兀、惊讶,就连与该校朝夕相伴的师生们也错愕不已、莫名其妙,因为挂牌当天他们才知道第四教学楼已经改名,之前没有公示。听说以前食堂改名都是征集学生意见的,这次没有事先听说。不声不响地就将真维斯牌子挂上去     

期刊改名原因种种

期刊改名原因种种于鸣镝（大连轻工业学院图书馆）世间万物，凡为人所知晓者，皆有其名。庄子曰：“名者，实之宾也。”这就是说，物是名之实，名是物之称，二者的关系是“名副其实”，实主其名。期刊的名称之间应该名、实相符，一旦不符，就要改名。而不能留名改刊，因为...     

确定中文连续出版物改名的原则问题初探

确定中文连续出版物改名的原则问题初探谈金铠一、问题的提出连续出版物改名的情况是经常发生的。在连续出版物管理工作中，对于这个问题的处理也是最令人头疼的事。根据国际标准著录的要求，连续出版物改名后采用“连续款目著录法”（Ｓｕｃｃｃｓｓｉｖｅｅｎｔｒｙｃａ...     

陈佳3+2

"陈佳3+2。"赵老师大声叫着。"陈佳3+2。"赵老师又叫了一次,他在发作业本。是谁呢?同学们你看看我,我看看你,最后目光都集中到了我身上,因为我姓名是陈佳迅,与"陈佳3+2"最接近。可我并没有改名啊,我心里     

重在提升判断能力——作文《重拾自信,回归传统——从频繁改名谈起》例说

中学生写议论文,常有畏难情绪。究其难处,多在于说理不清。"说理不清",看起来是表达的问题,实则仍是认识的问题。古人有言,"理弱者苦贫","理定而后辞畅"(《文心雕龙》)。"理"既"贫","弱",焉能不"苦"?"理"不能"定",怎有"辞畅"?