<正>理論計(jì)算機(jī)科學(xué)是整個(gè)計(jì)算機(jī)科學(xué)的理論根基。自從Alonzo Church和Alan Turing分別使用形式語(yǔ)言與自動(dòng)機(jī)來(lái)為人類的計(jì)算行為進(jìn)行理論建模開(kāi)始,理論計(jì)算機(jī)科學(xué)領(lǐng)域的學(xué)者們就將計(jì)算本身作為一種客觀存在,以"格物,致知"的態(tài)度來(lái)探究計(jì)算的本質(zhì)原理�，F(xiàn)代計(jì)算機(jī)科學(xué)與技術(shù)及其相應(yīng)工程與應(yīng)用的蓬勃發(fā)展,為這一基礎(chǔ)學(xué)科提供了創(chuàng)新的舞臺(tái),使其充滿了活力。傳統(tǒng)上,理論計(jì)算機(jī)科學(xué)因所使用的數(shù)學(xué)語(yǔ)言與理論工具的不同,被分為兩大分支:一類專注于對(duì)算法和計(jì)算復(fù)雜性的研究,而另一類則關(guān)注程序語(yǔ)言以及形式化方法。前者往往使用組合數(shù)學(xué)、概率、分析等更加具體的數(shù)學(xué)工具,研究計(jì)算問(wèn)題的算法上界或者計(jì)算復(fù)雜性下界;而后者則更多地使用邏輯、代數(shù)、范疇論等抽象的數(shù)學(xué)工具,為計(jì)算建立抽象模型,探索抽象模型 

【文章來(lái)源】：計(jì)算機(jī)科學(xué). 2020,47(05)北大核心CSCD

【文章頁(yè)數(shù)】：1 頁(yè)


本文編號(hào)：3293393