“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　据东航介绍，从C919商业运营伊始，在各个服务环节深度融合“精准、精致、精细——精彩”的“四精”服务理念：为C919客机提供“玖”系列主题餐食，定制了纪念纸杯、清洁袋，并配备具有国风特色的专属航空安全须知视频。7月1日开始，东航在C919执飞航班的餐食“上新”，新增本帮熏鱼、本帮蝴蝶酥等具有上海特色的航空餐食，提升旅客乘机体验。（总台央视记者 王善涛）　　2013年10月后的多次见面中，雅各布会拿着事先准备好的提纲，逐一向侯某某提问，问题专业性强、涉密程度深、每次问答时间至少持续1小时。完成“口头咨询”后，雅各布都会塞给侯某某一个信封，里面装着1000美元的酬劳。　　9月4日上午，随着清脆的“砰砰砰”声响，参加中泰“蓝色突击—2023”海军联合训练的双方海军陆战分队在泰国海军陆战队轻武器射击场展开冲锋枪、手枪实弹射击，标志着本次联训活动全面展开。　　“美国的挑衅只会加剧东盟的风险”，俄罗斯卫星通讯社称，发展经济合作和维护地区安全稳定是东盟峰会和东亚合作领导人系列会议的主要议题。然而，美国企图煽动东盟与中国对抗，用所谓“中国军事扩张”和“经济胁迫”来恐吓东盟。报道称，这次美国总统拜登不参加东盟系列会议，却赴印度参加G20峰会，并紧接着访问越南。美国是一心要分裂东盟，用亲美集团取代东盟。