操作系統(tǒng)形式化驗證實踐教程(1) - 證明第一個定理 形式化方法分為三個主要部分：系統(tǒng)建模(System Modeling)、形式規(guī)約(Formal Specificatio...
發(fā)簡信
IP屬地：北京
-
操作系統(tǒng)形式化驗證實踐教程(1) - 證明第一個定理 -
Standard ML快餐教程(1) - 初識
Standard ML快餐教程(1) - 初識 好久沒寫快餐教程了，下面開始一個新的系列，關(guān)于函數(shù)式編程語言的系列。打算寫三種語言：Standard ML，ocaml和Has...
-
“李達(dá)康”的成功學(xué)作為《人民的名義》中的配角，吳剛飾演的京州市委書記李達(dá)康火了。這位一身正氣但又帶點(diǎn)狡黠，追求政績但又不忘初心，愛惜羽毛但又敢闖敢拼，性格暴躁但又是非分明的復(fù)雜人物，極大顛覆了...
-
刨根問底求真理<br>談天論地說古今
-
在研究Deflate樹的時候你就會覺得我似乎還有些沒寫
ZIP壓縮算法的來龍去脈
一 壓縮算法的原理 最近自己實現(xiàn)了一個ZIP壓縮數(shù)據(jù)的解壓程序，覺得有必要把ZIP壓縮格式進(jìn)行一下詳細(xì)總結(jié)，數(shù)據(jù)壓縮是一門通信原理和計算機(jī)科學(xué)都會涉及到的學(xué)科，在通信原理中，...
-
ZIP壓縮算法的來龍去脈
一 壓縮算法的原理 最近自己實現(xiàn)了一個ZIP壓縮數(shù)據(jù)的解壓程序，覺得有必要把ZIP壓縮格式進(jìn)行一下詳細(xì)總結(jié)，數(shù)據(jù)壓縮是一門通信原理和計算機(jī)科學(xué)都會涉及到的學(xué)科，在通信原理中，...
-
Springer數(shù)學(xué)書系列(持續(xù)更新)
1 SUMS Springer Undergraduate Mathematics Series 斯普林格大學(xué)本科數(shù)學(xué)系列（SUMS）是為全球數(shù)學(xué)和科學(xué)專業(yè)的本科生設(shè)計的系列...
-
injective, surjective,bijective區(qū)別
文章源自https://www.mathsisfun.com/sets/injective-surjective-bijective.html 1 函數(shù)的定義 A funct...
-
firebug停止開發(fā)的原因是其項目負(fù)責(zé)人去開發(fā)Chrome的調(diào)試器了
強(qiáng)烈推薦 10 款珍藏的 Chrome 瀏覽器插件
Firebug 的年代，我是火狐（Mozilla Firefox）瀏覽器的死忠；但后來不知道為什么，該插件停止了開發(fā)，導(dǎo)致我不得不尋求一個新的網(wǎng)頁開發(fā)工具。那段時間，不少人開...
個人介紹