我前几天说过，最近几年世界政要拜年，感觉至少有三个层次：第一个层次，说吉利话拜年；第二个层次，学一两句中国话再拜年；第三个层次，不仅说中国话，也穿上中式喜庆衣服拜年。　　“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　乌克兰空军发言人伊格纳特4日在乌克兰电视节目中宣称乌军击中的是俄黑海舰队最新型的22800型“阿斯科利德”号小型导弹舰。根据俄黑海舰队发布的信息，该舰于2022年10月底开始海试，还没有正式入列黑海舰队。（总台记者 王晋燕 王斌）　　“大约全国去了32人，别人摊位是一个公司，我们则是一个国，摊位小而拥挤，但毕竟突破了‘零’。”黄令仪曾在自述中写道，“归国的大巴走了约一半车程，被通知我送的专利被评为银奖，高兴之余，写了几句歪句：神州之尊重泰山，赤子荣辱轻鸿毛；灵台无计四十载，不觉青丝已成雪。纽伦堡夜星光灿，启明银座落中华；十年耻痛今宵去，芳草天涯迷人还。”　　多位了解涿州市水利的受访者均指出，北拒马河上游没有水利工程，是导致涿州市多处被淹的一个重要原因。程晓陶提到，北拒马河上游没有水库拦蓄洪水，导致几条河流的洪峰集中在涿州市交汇，使河道难以承受。“河道行洪能力是有限的，大石河源短流急，如果北拒马河上游有水库拦截，让大石河的洪峰先过去，再把下一个洪峰放过来，就像汽车排队上高速一样，一天可以走很多车。但如今连高架的车也挤过来，就会造成交通堵塞。”程晓陶对《中国新闻周刊》说。