注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理，(英文版) 介绍的内容包括逻辑表达，模型检测，程序验证等

  3. 所属分类：专业指导

    • 发布日期：2009-11-13
    • 文件大小：2mb
    • 提供者：yuxizi1987

  1. 面向计算机科学的数理逻辑系统建模与推理.PDF

  2. 面向计算机科学的数理逻辑系统建模与推理.PDF

  3. 所属分类：专业指导

    • 发布日期：2010-03-23
    • 文件大小：2mb
    • 提供者：lvxinliang

  1. 人工智能（哈工大）-赵铁军-2009 ppt

  2. 8个部分共9章，覆盖了人工智能研究的核心内容 8个部分9章是： 人工智能概述—第1章 第1部分 搜索(问题求解)—第2章 第2部分 逻辑与推理—第3章 第3部分 知识表示—第4章 不确定性推理—第5章 第4部分 学习—第6章 第5部分 自然语言理解简介—第7章 第6部分 规划简介—第8章 第7部分 多Agent系统—第9章 第8部分

  3. 所属分类：专业指导

    • 发布日期：2010-05-18
    • 文件大小：9mb
    • 提供者：lgmmgl

  1. 面向计算机科学的数理逻辑系统建模与推理 中文版 logic in computer science

  2. 面向计算机科学的数理逻辑系统建模与推理（原书第二版） 绝对中文版

  3. 所属分类：专业指导

    • 发布日期：2010-11-21
    • 文件大小：11mb
    • 提供者：tianshuo001

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2008-04-08
    • 文件大小：2mb
    • 提供者：kittyjie

  1. 面向计算机科学的数理逻辑课后习题答案 1-5章

  2. 面向计算机科学的数理逻辑 系统建模与推理 原书第2版 的课后习题1-5章的英文答案，虽然是英文，不过对照习题，很容易看懂。

  3. 所属分类：专业指导

    • 发布日期：2012-02-17
    • 文件大小：444kb
    • 提供者：zchtcl

  1. 面向计算机科学的数理逻辑:系统建模与推理(英文版)

  2. 面向计算机科学的数理逻辑:系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2012-03-28
    • 文件大小：2mb
    • 提供者：luckyhouc

  1. 面向计算机科学的数理逻辑

  2. 英文原版 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2012-10-04
    • 文件大小：2mb
    • 提供者：oyangbanxian

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. The aim of logic in computer science is to develop languages to model the situations we encounter as computer science professionals, in such a way that we can reason about them formally. Reasoning about situations means constructing arguments about

  3. 所属分类：专业指导

    • 发布日期：2012-11-19
    • 文件大小：2mb
    • 提供者：hfc001

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理.pdf login in computer science modeling and reasoning about systems

  3. 所属分类：专业指导

    • 发布日期：2013-02-03
    • 文件大小：2mb
    • 提供者：starry225

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2014-01-02
    • 文件大小：2mb
    • 提供者：zhaojq6624

  1. 面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文

  2. 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

  3. 所属分类：其它

    • 发布日期：2014-07-22
    • 文件大小：11mb
    • 提供者：hrjzsb

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：讲义

    • 发布日期：2017-01-01
    • 文件大小：2mb
    • 提供者：baidu_37223029

  1. 面向计算机科学的数理逻辑系统与建模1-2章课后习题答案

  2. 面向计算机科学的数理逻辑系统建模与推理1-2章的课后习题答案，答案为英文版，与中文版的课后习题一致，需要者可下载！

  3. 所属分类：讲义

    • 发布日期：2017-10-15
    • 文件大小：2mb
    • 提供者：u010705932

  1. 本文介绍了DSS决策支持系统相关理论及决策的意义。决策者依据决策来指导工作，

  2. 决策支持系统概述 摘要：本文介绍了DSS决策支持系统相关理论及决策的意义。决策者依据决策来指导工作， 预测本部门事业未来，高效地控制企事业行为，帮助部门实现规划目标 关键词：决策支持；辅助；智能 。1，决策支持系统(DSS，Decision Support System)是以管理科学、运筹学、控制论和行为科 学为基础，以计算机技术、人工智能技术和信息技 术为手段，智能化地支持决策活动的计算机系统。 决策支持系统通过人机对话进行分析、比较和判 断，识别问题，建立或修改模型，帮助决策者明确 决策目

  3. 所属分类：专业指导

    • 发布日期：2009-01-07
    • 文件大小：31kb
    • 提供者：longmarcher

  1. 面向计算机科学的数理逻辑 系统建模与推理（全部） 答案

  2. 面向计算机科学的数理逻辑 系统建模与推理 答案（全部） logic in computer science modelling and reasoning about systems solutions

  3. 所属分类：专业指导

    • 发布日期：2018-08-15
    • 文件大小：400kb
    • 提供者：qq_17759721

  1. 计算机科学的数理逻辑 、系统建模与推理的答案

  2. 课程作业，面向计算机科学的数理逻辑 系统建模与推理的答案，针对这个课程，可以进行强化训练

  3. 所属分类：讲义

    • 发布日期：2018-12-22
    • 文件大小：378kb
    • 提供者：zq131466

  1. 模糊命题逻辑系统的计量化与近似推理

  2. 模糊命题逻辑系统的计量化与近似推理，黎丽，，利用赋值集的随机化方法，在模糊命题逻辑系统中引入了命题公式的随机真度，同时引入了命题公式间的随机相似度和随机伪距离，建立

  3. 所属分类：其它

    • 发布日期：2020-02-11
    • 文件大小：414kb
    • 提供者：weixin_38716872

  1. 通信与网络中的浅谈语义Web与推理系统的应用

  2. 语义Web发展很重要的目的就是要建立人与机器都可以理解的知识系统，将信息用语义Web本体论的思想来表达可以部分解决机器无法理解人类所描述知识的问题。在语义Web本体论的基础上建立机器进行自动推理的方法，将所描述的知识进行推理并重新组织加工。目前，具有通用性的推理系统主要是专家系统，在专家系统中所使用的知识呈现多元化，其中包含语义网络、框架、法则、逻辑等。虽然这些知识的表示方法各有其优点，但在建立推理系统时都存在各种各样的缺点和不足。传统的框架表示知识无法表现的交集、合集等概念；语意网络表示的知识

  3. 所属分类：其它

    • 发布日期：2020-10-22
    • 文件大小：161kb
    • 提供者：weixin_38701952

  1. 浅谈语义Web与推理系统的应用

  2. 语义Web发展很重要的目的就是要建立人与机器都可以理解的知识系统，将信息用语义Web本体论的思想来表达可以部分解决机器无法理解人类所描述知识的问题。在语义Web本体论的基础上建立机器进行自动推理的方法，将所描述的知识进行推理并重新组织加工。目前，具有通用性的推理系统主要是系统，在系统中所使用的知识呈现多元化，其中包含语义网络、框架、法则、逻辑等。虽然这些知识的表示方法各有其优点，但在建立推理系统时都存在各种各样的缺点和不足。传统的框架表示知识无法表现的交集、合集等概念；语意网络表示的知识由于表现

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：156kb
    • 提供者：weixin_38622227
« 12 3 4 5 »