“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。

　　据微信公众号“东丽人大”消息，4月26日，天津市东丽区十八届人大常委会召开第十二次会议，任命连欣为东丽区副区长。据微信公众号“北辰人大”消息，4月27日，天津市北辰区十八届人大常委会召开第十三次会议，任命杨占雷为北辰区副区长。

　　2018年11月，在美旅居了15年的“高高”回到中国大熊猫保护研究中心都江堰青城山基地（下称“都江堰青城山基地”）“养老”，都江堰青城山基地也被称作全球最大的“大熊猫养老院”，基本职责是做好大熊猫的养老科研服务工作。