好书天下
大演算
揭開大數據、人工智慧、機器學習的祕密， 打造人類文明史上最強大的科技——終極演算法！ 有一個終極演算法，可以解開宇宙所有的祕密， 現在大家都在競爭，誰能最先解開它！ ．機器學習是什麼？大演算又是什麼？ ．大演算如何運作與發展，機器可以預測什麼？ ．我們可以信任機器學過的東西嗎？ ．商業、政治為什麼要擁抱機器學習？ ．不只商業與政治，醫學與...
标签：演算
计算系统的形式语义
计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系...