“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　这在老旧小区上体现很明显。近年来，各地都在积极推进老旧小区改造，其出发点是“谁投资、谁受益”，但由于公共区域短板太大，业主没有付费习惯，都在等财政、管线单位花钱改造，资金无法平衡。根源就在于，要补的太多，公共维修基金根本不够。　　锦州这座东北四线工业小城，十年人口净流出达42万人，在辽宁省排名第一。留下的人就业机会少，工资不高，房价却不低。看似安逸的背后，各行各业的人内心都同样焦灼不安。　　财联社11月13日电，银行存款利率又迎调整。记者发现，10月下旬以来，多家农商行、村镇银行发布存款利率调整通知，对一年期、三年期、五年期等长期限存款利率做出下调，下调幅度从10个基点至40个基点不等。业内人士表示，这些中小银行可能是对今年9月国有银行和股份制银行集体下调存款利率的跟进。展望后续，东吴证券固收首席分析师李勇分析，当前存款利率整体呈现出下调频率变高、期限越长下调幅度越大的特点。基于这一特征和当前的宏观环境，存款利率有再次下调的空间。 （中证金牛座）　　会议同时免去刘国周的深圳市人民政府副市长、市公安局局长职务，免去胡嘉东的深圳市水务局局长职务，免去李忠的深圳市市场监督管理局局长职务。