3776
2019-08-14 15:33:14
2019-08-14
理論計(jì)算機(jī)科學(xué)（Theoretical Computer Science，TCS）,，即計(jì)算理論或計(jì)算機(jī)科學(xué)的數(shù)學(xué)基礎(chǔ)，它主要研究有關(guān)計(jì)算的相對(duì)更抽象化,、邏輯化和數(shù)學(xué)化的問(wèn)題。盡管形式化算法已經(jīng)存在了數(shù)千年,，但直到1936年,，Alan Mathison Turing,，Alonzo Church和Stephen Cole Kleene才給出了算法在計(jì)算理論中的形式化定義,。早在1703年之前就有了二進(jìn)制和數(shù)理邏輯系統(tǒng),，Gottfried Wilhelm Leibniz建立了真假二元的形式邏輯。1931年,，Kurt Friedrich G?del證明了哥德爾不完備定理,。1948年,， Claude Elwood Shannon通過(guò)將信息的傳遞作為一種統(tǒng)計(jì)現(xiàn)象而引入了信息論。同時(shí),，在四十年代,，Donald Hebb建立了一套大腦學(xué)習(xí)模式的數(shù)學(xué)模型。隨著20世紀(jì)初量子力學(xué)的發(fā)展,，數(shù)學(xué)運(yùn)算的概念被引入了粒子波函數(shù),，從而多重狀態(tài)上的函數(shù)得以計(jì)算。在九十年代,，Peter Shor提出了量子質(zhì)因數(shù)分解算法?，F(xiàn)代理論計(jì)算機(jī)科學(xué)研究在上述基礎(chǔ)上展開，同時(shí)也包含了其它數(shù)學(xué)和跨學(xué)科的問(wèn)題,。
為了進(jìn)一步促進(jìn)理論計(jì)算機(jī)科學(xué)這一領(lǐng)域的科學(xué)研究,、學(xué)術(shù)交流和人才培養(yǎng)，《計(jì)算機(jī)科學(xué)》擬定于2020年第5期出版“理論計(jì)算機(jī)科學(xué)”專欄（正刊）,。該專欄將重點(diǎn)關(guān)注自動(dòng)機(jī)論與形式語(yǔ)言理論,、程序理論、形式語(yǔ)義學(xué),、算法分析和計(jì)算復(fù)雜性理論,，以及機(jī)器學(xué)習(xí)、大數(shù)據(jù),、深度學(xué)習(xí)的基礎(chǔ)理論,、模型與算法等方向，強(qiáng)調(diào)文章內(nèi)容的理論性與創(chuàng)新性,。歡迎廣大師生和研究人員踴躍投稿,！
專欄特邀編審（以姓氏拼音排序）：
操宜新 （香港理工大學(xué)）
何 琨 （華中科技大學(xué)）
孫曉明 （中國(guó)科學(xué)院計(jì)算技術(shù)研究所）
尹一通 （南京大學(xué)）
張馳豪 （上海交通大學(xué)）
01 征文范圍（包括但不限于)
（1）算法設(shè)計(jì)與分析
（2）計(jì)算復(fù)雜性理論（包括通訊復(fù)雜性、具體復(fù)雜性等）
（3）自動(dòng)機(jī)論與形式語(yǔ)言理論
（4）軟件理論與方法
（5）數(shù)據(jù)科學(xué)與機(jī)器學(xué)習(xí)理論
（6）Web科學(xué)基礎(chǔ)理論
（7）計(jì)算模型（量子計(jì)算,、生物信息學(xué),、社會(huì)計(jì)算、云計(jì)算,、并行計(jì)算等）
02 投稿要求
1. 投稿方式：采用“計(jì)算機(jī)科學(xué)在線投稿系統(tǒng)”（http://www.jsjkx.com）投稿,。投稿時(shí)請(qǐng)選擇“理論計(jì)算機(jī)科學(xué)”欄目。
2. 稿件格式：參照《計(jì)算機(jī)科學(xué)》論文格式（官網(wǎng)提供了論文模板,，可供下載）,，中英文稿件均可，內(nèi)容可是原創(chuàng)研究型和綜述型成果,，一般不少于8頁(yè),。
3. 投稿文章未在正式出版物上發(fā)表過(guò)，也不處于其他刊物或會(huì)議的審稿過(guò)程中,，不存在一稿多投現(xiàn)象,；投稿文章需保證合法性（無(wú)抄襲,、剽竊、侵權(quán)等不良行為）,。
4. 其他事項(xiàng)請(qǐng)參閱投稿指南：http://www.jsjkx.com/CN/column/column12.shtml
5. 專欄投稿文章不收審理費(fèi),，錄用后按照正常標(biāo)準(zhǔn)收取版面費(fèi)。發(fā)表之后,，將向作者支付稿酬,，并贈(zèng)送樣刊。
03 重要時(shí)間
征文截止時(shí)間：2020年2月15日
錄用截止時(shí)間：2020年3月15日
出版時(shí)間：2020年5月15日
04 聯(lián)系方式
編輯部電話：（+86）023-67039612
通信地址：重慶市渝北區(qū)洪湖西路18號(hào)（401121）
