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

搜索资源列表

  1. 一阶逻辑等值演算与推理

  2. 一阶逻辑等值演算与推理一阶逻辑等值一阶逻辑等值演算与推理演算与推理

  3. 所属分类：专业指导

    • 发布日期：2010-01-07
    • 文件大小：963kb
    • 提供者：yhgd2009

  1. 离散数学课件

  2. 有关离散数学中命题逻辑等值演算的课件 可以帮助大家更好学习离散

  3. 所属分类：教育

    • 发布日期：2012-12-19
    • 文件大小：588kb
    • 提供者：qianying873580

  1. halcon 繁體說明文件

  2. halcon 繁體中文說明文件 HALCON 可在 UNIX，NT/2000/xp 等等平台下作業，它獨特的 Library 提供了千餘個為影像 分析作業，資料視覺化，除錯等等功能所設計的運算子，使用者可以利用它的功能以 C 及 C++等程式語言自行撰寫影像處理程式。 此外，HALCON 亦支援 Windows NT/2000/XP 下的 COM 介面，所以您也可以透過 Visual Basic 使用它，使得系統的整合更為容易。 HALCON 的設計使得影像區域，邊緣，以及等值線的處理上更方便

  3. 所属分类：C#

    • 发布日期：2013-04-26
    • 文件大小：978kb
    • 提供者：pureforce

  1. 离散数学讲义2

  2. 离散数学的讲义，是关于命题逻辑等值演算的讲义，可以作为一个课的讲义。

  3. 所属分类：讲义

    • 发布日期：2018-05-05
    • 文件大小：165kb
    • 提供者：qq_42140986

  1. 第二章命题逻辑等值演算2.1.docx

  2. 本资料为原书第2版PDF转为WORD形式而成，仅供学习参考！

  3. 所属分类：教育

    • 发布日期：2019-08-14
    • 文件大小：378kb
    • 提供者：freshet

  1. 离散数学期末复习必备考前手写笔记.pdf

  2. 包含内容：ch1命题逻辑的基本概念 ch2命题逻辑的等值演算 ch3命题逻辑和推理理论 ch4 谓词逻辑 ch5 集合代数 ch6 二元关系 ch7图的基本概念 ch8欧拉图 哈密顿图

  3. 所属分类：教育

    • 发布日期：2020-07-10
    • 文件大小：3mb
    • 提供者：particles

  1. STLC_2Cap:这是将第二类能力形式化为简单型lambda演算的形式的仓库-源码

  2. 具有无限生命周期的二等值 一流的功能以牺牲静态保证为代价，大大提高了表达能力。 在ALGOL或PASCAL中，可以将函数作为参数传递，但永远不要逃脱其定义范围。 因此，函数自变量可以用作临时访问令牌或功能，使被调用方可以执行某些操作，但只能在调用过程中执行。 在现代语言中，此类编程模式不再可用。 这项工作的主要目的是在现代语言中与一流实体一起重新引入二等功能和其他价值。 该Scala编译器插件公开了一种编程模型，以对某些对象强制执行不转义策略。 有许多潜在用途： 效果：对象可以充当功

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：83kb
    • 提供者：weixin_42097557