“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　三是加强与其他部门的沟通协调。与国家卫健委、国家疾控局、交通运输、出入境等部门保持密切沟通，参加国务院联防联控机制春运工作专班，配合做好2023年春运期间游客安全有序出行工作。　　对阵澳大利亚女篮，日本队在后三节26投16中；对阵新西兰女篮，日本女篮三分39投14中，这支平均身高只有1.76米的队伍，将小快灵的风格发挥到了极致。　　2005年1月，1岁多的申聪在增城的出租屋内被人抢走，当时，正在做饭的晓莉被人捆绑并蒙上了头，等到挣脱时，儿子申聪已经不见。后来，晓莉患上了精神分裂症，而申军良为了寻找儿子，辞去了工作，常年奔波在寻子路上。　　1-4月份，全国固定资产投资（不含农户）147482亿元，同比增长4.7%，比1-3月份回落0.4个百分点。分领域看，基础设施投资同比增长8.5%，制造业投资增长6.4%，房地产开发投资下降6.2%。全国商品房销售面积37636万平方米，同比下降0.4%；商品房销售额39750亿元，增长8.8%。分产业看，第一产业投资同比增长0.3%，第二产业投资增长8.4%，第三产业投资增长3.1%。民间投资增长0.4%。高技术产业投资同比增长14.7%，其中高技术制造业和高技术服务业投资分别增长15.3%、13.4%。高技术制造业中，电子及通信设备制造业、医疗仪器设备及仪器仪表制造业投资分别增长19.9%、19.4%；高技术服务业中，科技成果转化服务业、专业技术服务业投资分别增长42.1%、33.9%。社会领域投资增长5.6%，其中卫生、教育投资分别增长13.8%、5.0%。4月份，固定资产投资（不含农户）环比下降0.64%。