“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　三是加快电网规划投资建设。加快推进跨省跨区特高压输电工程规划建设，提升重要通道和关键断面输送能力，发挥跨省跨区电网错峰支援、余缺互济作用，持续提高大型风电光伏基地外送规模和新能源消纳能力。强化电网骨干网架，全力提升重大自然灾害等极端条件下电力系统安全稳定运行水平。加快智能配电网建设，促进新能源就地就近开发利用。　　当地时间12日，岸田文雄将与斯托尔滕贝格举行会谈，届时也要发表ITPP文件，预计会加强海洋安全保障、虚假信息应对等领域的合作，把2014年签署的日本与北约《个别伙伴合作计划》（IPCP）提升到新高度。　　在幸福院的几年里，她把自己当成了工作人员，拿出工资给大伙买营养品，自己动手擦地板、补衣服，还为附近学校的学生建成“幸福学习小组”，指导孩子们学习。　　近日，澎湃新闻记者采访3名扎根在上海社区卫生服务中心的全科医生，她们均为医学硕士，或毕业于上海交通大学医学院，或毕业于复旦大学上海医学院，她们都曾在上海三甲医院经历过三年的住院医师规范化培训，最终来到社区卫生服务中心，成为一名家庭医生。