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