简介:本程序为朱福喜、朱三元、伍春香编著的《人工智能原理》(清华大学出版社)一书的关于合一算法的演示程序。
合一算法:文字L1和L2如果经过执行某个代换s,满足L1s=L2s,则称L1与L2可合一,s称为其合一元。
本程序可判断任意两个文字能否合一,若能合一,则给出其合一元。
1.合一:文字1和文字2必须是有效的(目前没有对非法的文字做判别);
2.谓词项中首字母为大写的为常量,小写为变量,函数名首字母应该为小写;
3.表格化:将文字表格化,为合一算法的基础算法。
2023/9/22 1:26:03 196KB 合一 ,算法
1
50道经典习题,简介但不失经典,为c++初学者提供一定的指导,很值得学习
2023/9/21 22:40:30 2KB c++ 练习
1
DIALOG程序是在SAP中,专门用于设计使用者接口的ABAP/4程序技巧;
事实上,所有SAP的FUNCTIONAL模块的操作接口,都是透过DIALOG程序开发出来的。
本章将对DIALOG程序操作的原理以及开发工具的使用进行简介。
2023/9/21 5:44:04 487KB DIALOG
1
抽象代数出版时间:2013年版丛编项:高等学校教材内容简介  《高等学校教材:抽象代数》介绍了抽象代数学中最基本的内容,共4章。
第一章介绍了等价关系、分类和代数系统等预备知识,第二章至第四章则分别介绍了群、环、域和伽罗瓦(Galois)理论等。
在每一章的末尾,还简述了一些有趣的史料和有关数学家的传记。
《高等学校教材:抽象代数》可作为高等学校数学类专业本科高年级学生及研究生的教材,也可作为相关技术人员的参考用书。
目录第一章预备知识第1节集合与映射第2节置换集合S第3节等价关系与分类第4节代数系统附录第二章群第1节群的概念和性质第2节子群第3节正规子群与商群第4节群的同态与同构第5节循环群第6节群的直积与直和第7节群在集合上的作用第8节西罗(Sylow)定理第9节有限交换群附录第三章环第1节环的概念和性质第2节无零因子环及其性质第3节理想与商环第4节环的同态与同构第5节极大理想与素理想第6节整环的分式化第7节唯一分解整环第8节多项式环第9节多项式环的因子分解附录第四章域第1节域的扩张第2节单扩张第3节有限扩张与代数扩张第4节分裂域和正规扩张第5节有限域第6节伽罗瓦基本定理第7节有限可解群第8节根式扩张与解方程第9节尺规作图附录参考文献名词索引符号索引
2023/9/21 3:26:50 42.87MB 抽象代数 王颖 南基洙 2013年
1
《HeadFirstServletsandJSP(中文版)》PDF下载图书目录:引子这本书适合谁?我们知道你的大脑在想什么元认知让你的大脑就范看这本书需要些什么通过证书考试技术审校致谢1为什么使用Servlet&JDP:简介考试要求Web服务器和客户做什么?它们如何交流?HTML速成HTTP协议是什么?HTTPGET和POST请求以及HTTP响应剖析使用URL查找Web页面Web服务、静态Web页面和CGIServlet揭秘:编写、部署和运行Servlet如果在HTTL中引入Java,JSP则应运而生2Web应用体系结构:高层概述考试要求什么是容器,容器能带给你什么?代码里有什么命名servlet,使用DD将Servlet映射到URL故事:Bob构建了一个速配网站(MVC)模型-视图-控制器(MVC)概述和示例一个“实标”的部署描述文件(DD)J2EE如何集成这一切3MVC迷你教程:请求和响应4作为Servle:请求和响应5作为Web应用:属性和监听者6会话状态:bean/实体同步7作为JSP:编写JSP代码8无脚本的页面:编写代元脚本JSP9强大的定制标记:使用JSTL10JSRL也有力不能及的时候:定制标记开发11部署Web应用:Web应用部署12要保密,要安全:Web应用安全13过滤的威力:包装器和过滤器14企业设计模式:模式和StrutsA附录A:最终模拟测验i索引图书目录:引子这本书适合谁?我们知道你的大脑在想什么元认知让你的大脑就范看这本书需要些什么通过证书考试技术审校致谢1为什么使用Servlet&JDP:简介考试要求Web服务器和客户做什么?它们如何交流?HTML速成HTTP协议是什么?HTTPGET和POST请求以及HTTP响应剖析使用URL查找Web页面Web服务、静态Web页面和CGIServlet揭秘:编写、部署和运行Servlet如果在HTTL中引入Java,JSP则应运而生2Web应用体系结构:高层概述考试要求什么是容器,容器能带给你什么?代码里有什么命名servlet,使用DD将Servlet映射到URL故事:Bob构建了一个速配网站(MVC)模型-视图-控制器(MVC)概述和示例一个“实标”的部署描述文件(DD)J2EE如何集成这一切3MVC迷你教程:请求和响应4作为Servle:请求和响应5作为Web应用:属性和监听者6会话状态:bean/实体同步7作为JSP:编写JSP代码8无脚本的页面:编写代元脚本JSP9强大的定制标记:使用JSTL10JSRL也有力不能及的时候:定制标记开发11部署Web应用:Web应用部署12要保密,要安全:Web应用安全13过滤的威力:包装器和过滤器14企业设计模式:模式和StrutsA附录A:最终模拟测验i索引
2023/9/20 18:19:56 104.71MB HeadFirst Servlet JSP PDF
1
虚拟机相关简介,分类,作用.......
2023/9/20 18:30:20 830B VMware虚拟机
1
本项目是机锋市场的完整功能版客户端项目源码并非只有UI布局的项目机锋市场作为国内数一数二的正规安卓市场其客户端项目有非常大的借鉴和学习意义的项目运行以后会提示更新选择否点击任意软件即可下载下载的时候会在下载图片上出现一个圆形进度条下载完成以后点击安装长按删除项目内应用按照分类专题排行等来进行不同展现本项目属于大型项目需要耐心梳理包括82个布局文件38个动画效果文件以及大量的工具类项目中集成使用了统计支付宝谷歌广告等模块现在初步整理软件实现的功能:1可以通过通知栏告知手机上有多少款软件需要更新2搜索页可以搜机锋市场内的应用与机锋论坛里的附件3注册页面可以根据邮箱来注册并且有邮箱密码匹配过滤4有装机必备专题可以一次性下载多个应用5主界面包括首页分类页排行页和管理页6排行页下有应用游戏电子书风向标等几个不同类型的排行7分类页有最新最热精选装机必备等分类8应用详情页会显示应用公司名称评级是否安装简介大小版本下载量评论截图权限等信息9登录后会显示个人中心可以充值购买付费内容也可以开启云推送可以在应用详情页评论吐槽10支持移动联通电信等手机充值卡充值支持支付宝在线充值11支持直接更新或者卸载手机应用注意:本源码不带服务端源码项目内所有数据直接在机锋网获取本项目源码为商业源码售价50专家币以下截图是项目编译后的工程截图截图中的功能都已经实现识货的朋友可以在后台在线充值后下载涉及模块&技术通知栏网络检测支付宝集成登录注册图片缓存文件下载文件扫描充值支付
2023/9/20 1:50:07 3.68MB 机锋市场 应用商店 安卓 客户端
1
Adaboost算法简介
2023/9/19 12:46:38 66KB Adaboost算法
1
flash源码,模板,个人简介模板,很漂亮
2023/9/19 6:45:18 1.41MB 个人简历
1
[主要内容]  用无向网表示你所在学校的校园景点平面图,图中顶点表示主要景点,存放景点的编号、名称、简介等信息,图中的边表示景点间的道路,存放路径长度等信息。
要求能够回答有关景点介绍、游览路径等问题。
[基本要求](1)查询各景点的相关信息;
  (2)查询图中任意两个景点间的最短路径。
  (3)查询图中任意两个景点间的所有路径。
  (4)增加、删除、更新有关景点和道路的信息。
[选作内容]  (1)求多个景点的最佳(最短)游览路径。
  (2)区分机动车道和人行道。
  (3)实现导游图的仿真界面。
2023/9/19 0:34:44 262KB 数据结构 课程设计 校园导游
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡