嫩BBB槡BBBB3槡BBBB「僕はべつにかまいませんけど」　　“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。uFgUSE9A-3GSWhFs4eATocU8j-加拿大温哥华华人少女遇害案被告被裁定犯一级谋杀罪

　　这意味着被告人将面临无期徒刑，且25年内不得假释。

　　该案发生后引发华人社区广泛关注。案件庭审的结案辩论自11月30日开始以来，当地不少华人到法院外示威，声援受害者家庭，并呼吁严惩凶手，维护社区安全。

　　2017年7月18日，生活在大温哥华地区本拿比市(Burnaby)的一名13岁申姓(音译)华人女孩于傍晚出门后失踪，其家人当天深夜报警。警方于午夜在本拿比中央公园发现其遗体并认定死于他杀。经过一年多调查，警方在2018年9月拘捕当时28岁的男性嫌犯阿里。其DNA在遇害女孩体内被发现。

　　阿里是叙利亚难民，于被捕前17个月进入加拿大，且已获该国永久居留权。警方早前曾表示，嫌犯没有犯罪前科，此案属随机作案。

　　该案于今年4月5日在卑诗省高等法院开庭，首度展开陪审团参与的聆讯审理。庭审原本预计持续约3个月，但由于被告的精神和身体健康状况、对辩护律师的暴力威胁等情况，庭审一再延误，最终持续了约8个月。

　　检方指控被告将受害女孩拖入公园树林实施性侵 ，并将其杀害。数十名检方证人先后出庭作证，而辩方在庭审期间未传任何证人出庭。