信息理論基礎(chǔ)

本書提出了一個框架，用于分析程序設(shè)計語言的語法、操作和語義性質(zhì)，該框架基于稱為類型化λ演算的數(shù)學(xué)系統(tǒng)

本書是理論計算機科學(xué)領(lǐng)域的名作，是計算機科學(xué)核心主題的導(dǎo)論性教材。全書分為可計算性、文法與自動機、邏

《電影理論基礎(chǔ)》的研究范圍和內(nèi)容構(gòu)成主要是圍繞電影學(xué)學(xué)科建設(shè)，圍繞本科生和研究生的教學(xué)與研究，選題都

本書是為中等音樂學(xué)校編寫的“基本樂理”試用教材。書中重點介紹了五線譜的樂理知識。全書共分十五章，包括

計算理論是計算機科學(xué)的理論基礎(chǔ)?！队嬎憷碚摶A(chǔ)》(第2版)介紹了計算理論最核心、最基本的內(nèi)容，包括形