点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 谓词
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
oracle入门基础
第一部分 Oracle SQL*PLUS基础 23 第一章 Oracle数据库基础 23 §1.1 理解关系数据库系统(RDBMS) 23 §1.1.1 关系模型 23 §1.1.2 Codd十二法则 24 §1.2 关系数据库系统(RDBMS)的组成 24 §1.2.1 RDBMS 内核 24 §1.2.2 数据字典概念 25 §1.3 SQL、SQL*Plus及 PL/SQL 25 §1.3.1 SQL和SQL*PLUS的差别 25 §1.3.2 PL/SQL语言 27 §1.4 登录 到
所属分类:
其它
发布日期:2009-07-20
文件大小:3145728
提供者:
ddcgy
浙江理工大学的离散数学课件
包括集合论、关系、函数、命题逻辑、谓词逻辑、图论、代数结构基础
所属分类:
专业指导
发布日期:2009-07-27
文件大小:1048576
提供者:
unaverse
2009年 软设大纲
2009年 软设大纲 一、考试说明 1.考试要求: (1) 掌握数据表示、算术和逻辑运算; (2) 掌握相关的应用数学、离散数学的基础知识; (3) 掌握计算机体系结构以及各主要部件的性能和基本工作原理; (4) 掌握操作系统、程序设计语言的基础知识,了解编译程序的基本知识; (5) 熟练掌握常用数据结构和常用算法; (6) 熟悉数据库、网络和多媒体的基础知识; (7) 掌握C程序设计语言,以及C++、Java、Visual、Basic、Visua
所属分类:
其它
发布日期:2009-08-31
文件大小:88064
提供者:
sanjifeng
马尔科夫逻辑网工具包
马尔科夫逻辑网工具包 一种将概率模型和一阶谓词逻辑结合起来的机器学习算法
所属分类:
其它
发布日期:2009-09-08
文件大小:2097152
提供者:
zongliang
turbo prolog 2.0
turbo prolog2.0 Dos版本的prolog,有开发界面,可以编译成可执行文件,语法和visual-prolog相同,不过内部谓词有许多出入。
所属分类:
Java
发布日期:2009-09-18
文件大小:899072
提供者:
NAOKO
离散数学蔡之华编----课件
1命题逻辑.ppt 2-3谓词逻辑.ppt 4集 合.ppt 5关 系.ppt ..............
所属分类:
专业指导
发布日期:2009-11-01
文件大小:6291456
提供者:
fjnu2008
IBM DB2通用数据库SQL入门
IBM DB2通用数据库SQL入门:简介,关系数据库和SQL、 组织数据、创建表和试图、使用SQL语句存取数据、表达式和子查询、在查询中使用运算符和谓词、高级SQL、定制和增长数据操作
所属分类:
其它
发布日期:2009-11-03
文件大小:958464
提供者:
jie19830918
人工智能_实现递归谓词remove(X,Y,Z)
从表Y中除去所有整型数X的倍数值后得到新表Z
所属分类:
专业指导
发布日期:2009-11-12
文件大小:243
提供者:
zyx8763041
基于规则的动物识别系统C++源代码
1. 根据动物识别系统的规则建立合理的数据结构或数据库来表示知识。 2. 利用所选开发语言来建立推理过程。 3. 利用控制台或者图形界面给出合理的交互接口,实现基本演示功能。 知识库由谓词演算事实和有关讨论主题的规则构成,综合库又称为上下文,用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为,。知识采集系统是领域专家把相关领域的知识表示成一定的形式,并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构,并将专家知识以易理解的方式并把知识解释给用户。
所属分类:
C++
发布日期:2009-11-18
文件大小:900
提供者:
Mount_DU
高级数理逻辑 教案 北京邮电
逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容: 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。
所属分类:
专业指导
发布日期:2009-11-23
文件大小:783360
提供者:
haha0832
Solaris动态跟踪指南(带书签)
Dtrace中文手册,加书签 DTrace允许所有Solaris用户执行以下操作: 动态地启用和管理数以千计的探测器 动态地将逻辑谓词和操作与探测器相关联 动态地管理跟踪缓冲区和缓冲区策略 显示和检查来自实时系统或故障转储的跟踪数据 DTrace允许Solaris开发者和管理员执行以下操作: 实现使用DTrace工具的自定义脚本 实现使用DTrace检索跟踪数据的分层工具
所属分类:
其它
发布日期:2010-01-06
文件大小:2097152
提供者:
noodle1983
PHP程序开发范例宝典II
让你短时间内由一名菜鸟到高手绝对没问题! 由于权限有限,分3部份下载 PHP程序开发范例宝典 内容提要 《PHP程序开发范例宝典》全面介绍了应用PHP进行网站开发的各种技术和技巧。《PHP程序开发范例宝典》分为20章,内容包括PHP的运行环境配置、表单及表单元素的应用、CSS与Javascr ipt脚本的应用、验证控件、构建PHP动态网页、PHP与MySQL的数据库技术、PHP与其他数据库技术、SQL查询相关技术、MySQL高级应用技术、字符串的处理技术、PHP面向对象编程技术、文件管理、图像
所属分类:
PHP
发布日期:2010-01-07
文件大小:12582912
提供者:
bookting
PHP程序开发范例宝典III
让你短时间内由一名菜鸟到高手绝对没问题! 由于权限有限,分3部份下载 PHP程序开发范例宝典 内容提要 《PHP程序开发范例宝典》全面介绍了应用PHP进行网站开发的各种技术和技巧。《PHP程序开发范例宝典》分为20章,内容包括PHP的运行环 境配置、表单及表单元素的应用、CSS与Javascr ipt脚本的应用、验证控件、构建PHP动态网页、PHP与MySQL的数据库技术、PHP与其他数据库技 术、SQL查询相关技术、MySQL高级应用技术、字符串的处理技术、PHP面向对象编程技术、文件管理、
所属分类:
PHP
发布日期:2010-01-07
文件大小:8388608
提供者:
bookting
人工智能课件(AI.PPT)
第一部分 基础知识 第1章 人工智能概述 第2章 知识表示方法 第3章 AI编程基础 第二部分 编程指南 第4章 Visual Prolog概述 第5章 Prolog基础 第6章 Visual Prolog编程 第7章 类与对象 第8章 编写CGI程序 第9章 编码风格 第三部分 语言参考 第10章 Visual Prolog语言元素 第11章 Visual Prolog数据元素 第12章 Visual Prolog程序元素 第13章 编译单元 第14章 内部论域、谓词和常量 第15章 与其他
所属分类:
专业指导
发布日期:2010-01-28
文件大小:1048576
提供者:
xueren502
SQL相关查询技术(有程序代码配合语句)
COMPUTE BY计算 COMPUTE计算 DATEDIFF函数计算 FORMAT格式化函数改变日期 FROM字句多表查询 GROUP BY查询销售总金额 HAVING多表连接应用 HAVING过滤分组数据 IN查询表中的记录 IN子查询范围条件 left outer join查询 MID函数取位子 NOT与谓词进行组合条件查询 right outer join查询 等。。。
所属分类:
其它
发布日期:2010-02-03
文件大小:453632
提供者:
zoushunliang1
形式化方法资料
形式化方法的课件,北大裘宗燕老师的课件
所属分类:
专业指导
发布日期:2007-12-06
文件大小:3145728
提供者:
happyskynet
2009 达内Unix学习笔记
集合了 所有的 Unix命令大全 登陆服务器时输入 公帐号 openlab-open123 telnet 192.168.0.23 自己帐号 sd08077-you0 ftp工具 192.168.0.202 tools-toolss 老师测评网址 http://172.16.0.198:8080/poll/ 各个 shell 可互相切换 ksh:$ sh:$ csh:guangzhou% bash:bash-3.00$ 一、注意事项 命令和参数之间必需用空格隔开,参数和参数之间也必需用空格隔开
所属分类:
C
发布日期:2010-02-10
文件大小:31744
提供者:
lq_1987
Oracle8i_9i数据库基础
第一部分 Oracle SQL*PLUS基础 23 第一章 Oracle数据库基础 23 §1.1 理解关系数据库系统(RDBMS) 23 §1.1.1 关系模型 23 §1.1.2 Codd十二法则 24 §1.2 关系数据库系统(RDBMS)的组成 24 §1.2.1 RDBMS 内核 24 §1.2.2 数据字典概念 25 §1.3 SQL、SQL*Plus及 PL/SQL 25 §1.3.1 SQL和SQL*PLUS的差别 25 §1.3.2 PL/SQL语言 27 §1.4 登录到S
所属分类:
其它
发布日期:2010-03-03
文件大小:544768
提供者:
mayudong1
Oracle8i_9i数据库基础.pdf
第一部分 Oracle SQL*PLUS基础............................................................. 24 第一章 Oracle数据库基础....................................................................... 24 §1.1 理解关系数据库系统(RDBMS)................................................. 2
所属分类:
其它
发布日期:2010-03-10
文件大小:2097152
提供者:
yuchuanfeng
人工智能实验 prolog
PROLOG语言编程,描述亲属关系的PROLOG程序,路径查询程序,候选人名单程序,实现递归谓词remove(X,Y,Z),它用于从表Y中除去所有整型数X的倍数值后得到新表Z。
所属分类:
专业指导
发布日期:2010-03-19
文件大小:6144
提供者:
maxiaoheng
«
1
2
3
4
5
6
7
8
9
10
...
27
»