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