• <video id="abmqw"><input id="abmqw"></input></video>
  • <strong id="abmqw"><noscript id="abmqw"></noscript></strong>
  • <i id="abmqw"><sub id="abmqw"></sub></i>
      <video id="abmqw"></video>
      <output id="abmqw"></output>

    1. <video id="abmqw"><ins id="abmqw"><table id="abmqw"></table></ins></video>

      <wbr id="abmqw"><input id="abmqw"></input></wbr>
    2. <thead id="abmqw"><span id="abmqw"></span></thead>
    3. 知識科學(xué)中的基本問題研究

      • 所屬分類:
        高職高專計..
      • 作者:
        劉大有 主編
      • 出版社:
        清華大學(xué)出版社
      • ISBN:9787302129837
      • 出版日期:2006-10-1
      • 原價:
        ¥68.00元
        現(xiàn)價:¥51.70元
      • 本書信息由合作網(wǎng)站提供,請前往以下網(wǎng)站購買:

        京東商城

         

        當(dāng)當(dāng)網(wǎng)

      圖書簡介

      由國家自然科學(xué)基金委員會信息學(xué)部主辦,吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院、軟件學(xué)院,教育部符號計算與知識工程重點實驗室和吉林省計算機學(xué)會承辦的“知識科學(xué)與計算科學(xué)高級研討會”于2003年8月24日至25日在吉林省長春市召開。本書即是在該研討會的基礎(chǔ)上形成的。本書內(nèi)容共分為八個部分: 形式語義和程序驗證,量子計算,時空知識表示理論,定理證明和自動規(guī)劃,機器學(xué)習(xí)和數(shù)據(jù)分析,Agent技術(shù),因特網(wǎng)和軟件工程中的知識表示和處理,生命信息學(xué)。本書主要總結(jié)、分析了近年來國內(nèi)外在知識科學(xué)研究方面所取得的新進展。本書輯錄的所有文章均由相關(guān)領(lǐng)域的著名專家撰寫,對學(xué)術(shù)研究有重要的參考價值。
      本書適合高校計算機和自動化專業(yè)中知識工程和人工智能領(lǐng)域的師生、科研院所及其他機構(gòu)的工程技術(shù)人員和科研人員參考。
      目錄

      前言
      第一部分 形式語義和程序驗證
      1 PN機理論
      1.1 并發(fā)現(xiàn)象的起源
      1.2 并發(fā)系統(tǒng)的典型模型
      1.3 三種模型的比較
      1.4 PN機模型
      1.5 PN機性質(zhì)
      1.6 PN機應(yīng)用
      參考文獻
      2 程序規(guī)范與程序驗證
      2.1 Hoare程序規(guī)范
      2.2 Dijkstra規(guī)范
      2.3 模型檢驗與計算樹邏輯
      2.4 計算樹邏輯的語義
      2.5 多Agents系統(tǒng)與多模態(tài)邏輯
      參考文獻
      第二部分 量子計算
      3 量子計算理論:綜述
      3.1 引言
      3.2 量子自動機理論
      3.3 量子形式語言理論
      3.4 量子可計算性理論
      3.5 量子計算復(fù)雜性理論
      3.6 量子算法設(shè)計技術(shù)
      參考文獻
      4 量子計算
      4.1 背景
      4.2 量子比特
      4.3 簡單量子門
      4.4 量子算法
      4.5 量子復(fù)雜性
      4.6 結(jié)論
      參考文獻
      5 兩體量子糾纏純態(tài)的相互轉(zhuǎn)換
      5.1 引言
      5.2 預(yù)備知識
      5.3 LOCC下的兩體糾纏轉(zhuǎn)換
      5.4 糾纏輔助下的LOCC
      5.5 多拷貝糾纏轉(zhuǎn)換
      5.6 糾纏輔助轉(zhuǎn)換和多拷貝轉(zhuǎn)換的關(guān)系
      5.7 總結(jié)
      參考文獻
      第三部分 時空知識表示理論
      6 時空信息表示、推理和應(yīng)用
      ……
      7 空間知識的定性表示與推理
      第四部分 定理證明和自動規(guī)劃
      8 智能規(guī)劃的研究和應(yīng)用
      9 基于表演算的方法與技術(shù)
      10 基于擴展規(guī)則的定理證明和知識編譯
      第五部分 機器學(xué)習(xí)和數(shù)據(jù)分析
      11 一種新的基于概率的分類方法
      12 多示例學(xué)習(xí)
      第六部分 Agent技術(shù)
      13 移動Agent技術(shù)研究熱點分析
      14 面向Agent的軟件工程研究進展
      第七部分 因特網(wǎng)和軟件工程中的知識表示和處理
      15 語義Web與NKI
      16 管理不一致的軟件需求:研究進展和展望
      第八部分 生命信息學(xué)
      17 圖像紋理研究及其人工生命解決方案
      18 真核生物啟動子識別和模糊文法
      19 基因芯片數(shù)據(jù)分析綜述
      參考文獻

      同類熱銷圖書

      書名 作者 出版社 價格 購買
      Office 2007辦公軟件應(yīng)用教程:工作任務(wù)匯編 陳靜,張爽.. 化學(xué)工業(yè)出版社

      ¥49.00

      ¥39.20
      詳情
      跟我動手學(xué) S7-300/400PLC(附DVD) 廖常初 主.. 機械工業(yè)出版社

      ¥32.00

      ¥24.50
      詳情
      Jewel CAD珠寶設(shè)計實用教程(第2版) 王晨旭,劉.. 人民郵電出版社

      ¥68.00

      ¥54.40
      詳情
      優(yōu)秀動漫游系列教材--游戲制作人生存手冊 (英)愛爾.. 中國科學(xué)技術(shù)出版..

      ¥59.00

      ¥39.60
      詳情
      現(xiàn)代辦公自動化教程(Microsoft Office Specialist 2010 .. 靳廣斌 主.. 中國人民大學(xué)出版..

      ¥35.00

      ¥28.00
      詳情
      VB6.0 程序設(shè)計實訓(xùn)教程——21世紀(jì)高高專規(guī)劃教材 楊克玉 主.. 機械工業(yè)出版社

      ¥22.00

      ¥16.50
      詳情
      Windows Server 2003網(wǎng)絡(luò)管理(21世紀(jì)高職高專規(guī)劃教材—.. 姜玉波 等.. 清華大學(xué)出版社

      ¥29.00

      ¥21.80
      詳情
      計算機網(wǎng)絡(luò)安全技術(shù)實驗教程 周緋菲,何.. 北京郵電大學(xué)出版..

      ¥24.00

      ¥18.90
      詳情
      UG NX7.5 基礎(chǔ)與實例教程(高職高專機電類工學(xué)結(jié)合模式教.. 將建國,張.. 清華大學(xué)出版社

      ¥32.00

      ¥24.30
      詳情
      網(wǎng)頁設(shè)計與制作(Dreamweaver+Flash+Photoshop版)(第2版.. 九州書源 .. 清華大學(xué)出版社

      ¥36.80

      ¥27.60
      詳情
      路由與交換技術(shù) 鄧秀慧 電子工業(yè)出版社

      ¥35.00

      ¥28.00
      詳情
      EDA技術(shù)與Verilog HDL 潘松,黃繼.. 清華大學(xué)出版社

      ¥38.00

      ¥28.90
      詳情
      中文版Excel 2007電子表格實用教程(計算機基礎(chǔ)與實訓(xùn)教材.. 謝啟祥 編.. 清華大學(xué)出版社

      ¥30.00

      ¥20.70
      詳情
      Windows Server 2008服務(wù)器搭建與管理(網(wǎng)絡(luò)工程師實用培.. 李書滿,杜.. 清華大學(xué)出版社

      ¥35.00

      ¥26.60
      詳情
      網(wǎng)頁設(shè)計與制作教程(配光盤)(高職高專“工作過程導(dǎo)向”.. 孫永道,高.. 清華大學(xué)出版社

      ¥35.00

      ¥26.30
      詳情
      Linux操作系統(tǒng)(第2版) 邵國金 電子工業(yè)出版社

      ¥45.00

      ¥36.80
      詳情
      計算機網(wǎng)絡(luò)基礎(chǔ)/高職高專“十一五”計算機類專業(yè)規(guī)劃教材 顧可民 主.. 機械工業(yè)出版社

      ¥19.00

      ¥14.30
      詳情
      零起點學(xué)辦公自動化——Office 2007視頻教程(配光盤)(I.. 徐軍,郭晶.. 清華大學(xué)出版社

      ¥29.00

      ¥23.20
      詳情
      VC++程序設(shè)計基礎(chǔ)教程(高職高專計算機教學(xué)改革新體系規(guī)劃.. 宋金珂,高.. 清華大學(xué)出版社

      ¥28.00

      ¥22.40
      詳情
      (教材)教育部高等學(xué)校高職高專計算機類專業(yè)建設(shè)參考方案 溫濤 等編.. 中國鐵道出版社

      ¥40.00

      ¥32.00
      詳情
      VB語言與測量程序設(shè)計(附光盤) 佟彪 主編 中國電力出版社

      ¥39.80

      ¥31.10
      詳情
      網(wǎng)站推廣(國家骨干高職院校建設(shè)成果 電子商務(wù)專業(yè)工作過.. 孫丹 主編 清華大學(xué)出版社

      ¥26.00

      ¥19.80
      詳情
      綜合布線技術(shù)項目教程(第2版) 禹祿君 主.. 電子工業(yè)出版社

      ¥39.00

      ¥29.20
      詳情
      SQL Server2005數(shù)據(jù)庫實用教程(新世紀(jì)高職高專計算機專業(yè).. 屈武江,梁.. 大連理工大學(xué)出版..

      ¥35.00

      ¥28.00
      詳情
      網(wǎng)絡(luò)廣告設(shè)計與制作——21世紀(jì)高職高專藝術(shù)設(shè)計規(guī)劃教材 謝成開,王.. 清華大學(xué)出版社

      ¥38.00

      ¥26.30
      詳情
      国产人片18禁免费看片_1024国产精品免费观看_一级特黄少妇自慰AAA_欧美欧美午夜AⅤ在线观看
    4. <video id="abmqw"><input id="abmqw"></input></video>
    5. <strong id="abmqw"><noscript id="abmqw"></noscript></strong>
    6. <i id="abmqw"><sub id="abmqw"></sub></i>
        <video id="abmqw"></video>
        <output id="abmqw"></output>

      1. <video id="abmqw"><ins id="abmqw"><table id="abmqw"></table></ins></video>

        <wbr id="abmqw"><input id="abmqw"></input></wbr>
      2. <thead id="abmqw"><span id="abmqw"></span></thead>
      3. 一本久久a久久免费精品顶级 | 丝袜美腿一区二区三区 | 亚洲精品电影05在线观看 | 在线播放免费人成视频观看 | 在线精品精品第一区二区三区 | 视频在线精品综合 | 頁面加載時間:0.051656秒