黃宇,南京大學計算機科學與技術系教授,博士生導師,主要研究方向為分布式算法、分布式系統(tǒng)和軟件方法學。曾主持兩項國家自然科學基金項目,并作為主要成員參與了國家973計劃、國家自然科學基金創(chuàng)新群體項目等多項國家重大科研項目。2014年獲得南京大學登峰人才支持計劃資助,2011年獲教育部技術發(fā)明獎。所指導的博士論文榮獲2016年中國計算機學會博士學位論文獎。已在IEEE Trans on Computers、IEEE Trans on Parallel and Distributed Systems、IEEE PerCom等重要國際期刊及會議上發(fā)表多篇論文。
圖書目錄
前言 教學建議 第一部分計算模型 第1 章抽象的算法設計與分析 2
11 RAM 模型的引入 2
111 計算的基本概念 2
112計算模型的基本概念 3 113RAM 模型 3
114計算模型的選擇:易用性與精確性 5 12 抽象算法設計 6
121 算法問題規(guī)約 6
122 算法正確性證明:數學歸納法 7
13 抽象算法分析 8
131 抽象算法的性能指標 8 132 最壞情況時間復雜度分析 9
133 平均情況時間復雜度分析 10
14 習題 11 第2 章從算法的視角重新審視數學的概念 14 21 數學運算背后的算法操作 14
211 取整 x 和 x 14 212 對數log n 14 213 階乘n! 15 214 常用級數求和f (i) 16 215 期望E[X] 18