面向無窮數(shù)據(jù)的形式模型綜述
大?。?/span>1.04 MB 人氣： 2018-01-16 需要積分：3
標(biāo)簽：數(shù)據(jù)(87965)
無窮數(shù)據(jù)廣泛存在于計算機(jī)程序和數(shù)據(jù)庫系統(tǒng)中．受到形式驗證與數(shù)據(jù)庫兩方面應(yīng)用需求的推動，面向無窮數(shù)據(jù)的形式模型已經(jīng)成為理論計算機(jī)科學(xué)的研究熱點(diǎn)之一．對面向無窮數(shù)據(jù)的形式模型（邏輯與自動機(jī)）進(jìn)行了相對全面而詳細(xì)的總結(jié)．主要按照不同自動機(jī)模型對無窮數(shù)據(jù)的處理方式加以組織，并關(guān)注相關(guān)判定問題，即：自動機(jī)的非空性問題、語言包含問題以及邏輯的可滿足性問題的可判定性與復(fù)雜性．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
面向無窮數(shù)據(jù)的形式模型綜述下載
相關(guān)電子資料下載
- 物通博聯(lián)工業(yè)智能網(wǎng)關(guān)采集三菱Q系列PLC配置操作 132
- 巴西禁止Meta使用用戶數(shù)據(jù)訓(xùn)練AI 415
- 賽思×太平洋保險 | 賦能金融智慧大腦，硬核加筑太保“時間安全鎖” 105
- 卷煙工業(yè)制絲設(shè)備物聯(lián)網(wǎng)系統(tǒng)解決方案 72
- 工業(yè)互聯(lián)網(wǎng)數(shù)據(jù)大屏是什么 75
- 斷點(diǎn)續(xù)傳技術(shù)在工業(yè)物聯(lián)網(wǎng)網(wǎng)關(guān)的價值 102
- 數(shù)據(jù)分析除了spss還有什么 113
- 數(shù)據(jù)倉庫與數(shù)據(jù)庫的主要區(qū)別 94
- 數(shù)據(jù)分析的工具有哪些 76
- 數(shù)據(jù)分析有哪些分析方法 82