“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　山东省农业科学院党委副书记贾无介绍，近年来该院创新实践“乡村振兴科技合伙人”模式，就是要让农民用上最好的技术，用最好的成果、最好的技术，支撑国家粮食安全和种业安全。　　据《海南日报》报道，4月29日晚，海南省委书记冯飞在海口以“四不两直”方式暗访调研“五一”假期社会治安、安全生产工作和旅游消费市场情况，看望慰问一线值班值守人员。　　政知君了解到，滇中引水工程是国务院确定的172项节水供水重大水利工程中的标志性工程，也是中国西南地区规模最大、投资最多的水资源配置工程，是我国在建最大引水工程。　　广东也是较早组团出海的外贸大省。早在11月中旬，深圳就组织了22家医疗器械企业赴德国杜塞尔多夫参加行业最为重要的展会，拿下4200万美元的订单。除了各省都格外注重的欧洲市场，广东也极为重视自己更有优势的东盟市场。广州、东莞、中山等地近70家企业组团参加了在新加坡举办的亚太区美容展特别展；47家企业包机赴马来西亚参展，对接采购商约520人，意向成交额达3000万元人民币；18家深圳企业包机赴印尼雅加达参展，达成意向订单约4500万美元。