“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　2019年1月，哈尔滨市纪委监委通报：对在五常市露天焚烧秸秆问题中履职不力、监管不严的70名党员干部及相关人员进行了严肃处理。时任五常市委书记张希清，受到批评教育。　　陈明的单位离互联网总部聚集的上地更近，原本打算在上地“入门”，但今年“幼升小”结果显示，在2019年1月1日后购房的家庭，被调剂到清河北外附，“上地也不稳了”。　　9月份中国制造业采购经理指数（PMI）为50.2%，较上月上升0.5个百分点，在连续5个月运行在50%以下后回到扩张区间，同时指数连续4个月上升，且环比上升幅度连续扩大，显示经济恢复态势趋好。在调查的21个行业中，有11个行业采购经理指数位于临界点以上，比上月增加2个，制造业景气面有所扩大。　　记者联系深圳市宝安区、龙岗区多所学校，校方均否认采用预制菜。“我们教育集团的学校都是自营食堂，每天采用新鲜食材，菜品都是现炒的。”一位不愿具名的学校教务处主任告诉记者。