登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站
在 大書城 以“ 精确 模式”搜“ 李未熟、高池主编 李未熟、高池主編 ”共有 7 结果： 同時支援繁體 / 正體 / 简体字輸入搜索
R-演算：一种信念修正的逻辑（英文版）（R-Calculus： A logic of belief revision） R-演算：一种信念修正的逻辑（英文版）（R-Calculus： A logic of belief revision）
『简体书』 作者：李未，眭跃飞　　出版：科学出版社　　日期：2023-10-01
信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出，它是任何一个合理的信念修正算子应该满足的最基本条件。本书作者李未院士在20世纪80年代中期提出了R-演算，这是一个满足AGM公设、非单调的并且类似于Gentzen推理系统的信念 ...		 詳情>>
售價：HK$ 149.5

与您同行 聆听自然与人文碰撞的声音 与您同行 聆听自然与人文碰撞的声音
『简体书』 作者：李未 著　　出版：中国旅游出版社　　日期：2020-10-01
您走过天路探访蓝色星球上*后一片净土稻城亚丁吗？您到过西域了解七味新疆的魅力吗？您进过闽西欣赏东方建筑明珠客家土楼吗？您来过南海一睹西沙群岛的风采吗？ 您去过五彩斑斓的巴黎吗？您见过圣托里尼岛的彩色世界吗？您尝过原汁原味的巴西烤肉吗？您去过五味杂陈的日本都市特色街吗？ 世界那么大，风景这么好约您同往，与您同行！聆听 ...		 詳情>>
售價：HK$ 89.8

R-演算： 一种信念修正的逻辑 R-演算： 一种信念修正的逻辑
『简体书』 作者：李未，眭跃飞　　出版：科学出版社　　日期：2021-04-01
信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的*基本条件。本书*作者李未院士在20世纪80年代中期提出R-演算，这是一个满足AGM公设，非单调的，并且类似于Gentzen推理系统的 ...		 詳情>>
售價：HK$ 172.5

新闻通讯员实务（第二版） 新闻通讯员实务（第二版）
『简体书』 作者：李未熟、高池主编　　出版：武汉大学出版社　　日期：2014-08-01
本书专为新闻专业学生、广大新闻通讯员量身定做。本书内容包括：新闻通讯员简史，当今通讯员必须具备的知识，新闻生产中最重要最常用的三个问题——消息、通讯、评论，如何与媒体记者打交道，如何与媒体建立良好关系，如何把本单位的工作变为新闻，在遇到危机事件的时候，如何利用媒体化解危机，如何当好一名新闻发言人。本 ...		 詳情>>
售價：HK$ 72.8

计算之美：计算机女科技工作者成长之路 计算之美：计算机女科技工作者成长之路
『简体书』 作者：胡启恒 李未 陈左宁等　　出版：科学普及出版社　　日期：2017-12-01
本书是一本关于杨芙清院士、胡启恒院士、史元春、黄河燕等21位中国计算机领域女科学及专家的访谈录，本书将讲述了她们在计算机科学领域勇攀科学高峰的科研故事。中国计算机领域的飞速发展，离不开这一群杰出的巾帼英雄的贡献，她们工作中是什么样子的，她们科研路上*难忘的故事是哪些，她们的人生求学历程是怎样的。本书将为大家展现，计算机 ...		 詳情>>
售價：HK$ 46.4

计算机科学与软件研究——李未院士七十华诞纪念文集 计算机科学与软件研究——李未院士七十华诞纪念文集
『简体书』 作者：怀进鹏,徐宝文,许可　　出版：科学出版社　　日期：
...		 詳情>>
售價：HK$ 442.2

数理逻辑：基本原理与形式演算（第二版） 数理逻辑：基本原理与形式演算（第二版）
『简体书』 作者：李未 著　　出版：科学出版社　　日期：2014-03-01
《信息科学与技术基础丛书·数理逻辑：基本原理与形式演算（第二版）》的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括：版本序列及其极限理论、修正 ...		 詳情>>
售價：HK$ 254.8

>>> （頁碼:1/1　行數:20/7） 1  

 

如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”


書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.