“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　旅行前请提前了解俄罗斯当地安全情况、宗教文化、入境要求、天气情况，理性选择出行城市、线路、项目，稳妥选择正规旅行公司，尽量避免单人“自由行”、“探险行”等，及时将旅游路线、规划及自身状况告知家人。　　新京报讯 据中国驻缅甸使馆官微消息，8月23日上午，2名电信诈骗犯罪嫌疑人在仰光国际机场由缅甸警方移交给中国警方工作组押解回国。这是继今年6月押解6名在缅电诈犯罪嫌疑人回国后第二次押解。上述2人均涉嫌诈骗罪，其中一人为赌诈团伙骨干头目，是打击电诈犯罪的重点对象。日前中泰缅老四国警方启动合作打击赌诈集团专项联合行动，旨在严厉打击本区域电信网络诈骗和网络赌博犯罪，坚决扭转人口贩运及绑架、拘禁等犯罪高发态势。　　住房和城乡建设部表示，各地应建立城市体检机制，将城市体检作为城市更新的前提。坚持问题导向，划细城市体检单元，从住房到小区、社区、街区、城区，查找群众反映强烈的难点、堵点、痛点问题。坚持目标导向，以产城融合、职住平衡、生态宜居等为目标，查找影响城市竞争力、承载力和可持续发展的短板弱项。坚持结果导向，把城市体检发现的问题短板作为城市更新的重点，一体化推进城市体检和城市更新工作。　　《指导意见》要求，各地要强化组织领导，压紧压实县级政府属地化管理责任，强化基层后续扶持工作人员力量配备。要强化政策支持，将大型安置区后续发展项目纳入县城、市辖区建设项目库，加大新增建设用地计划指标对搬迁人口大县的倾斜支持力度，稳妥适度增设行政区划建制并优化管辖范围，支撑大型安置区及相关区域提升管理和服务水平。要强化资金保障，按照“钱随人走”的原则，通过农业转移人口市民化奖励机制，对吸纳搬迁人口落户多的地区给予财政支持。要将符合条件的安置区融入新型城镇化相关项目纳入中央及省级财政衔接乡村振兴补助资金和地方政府专项债券支持范围。