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

搜索资源列表

  1. [数理] 递归论 PDF

  2. 绪论 第一章 算子 第二章 初等函数集 第三章 原始递归函数 第四章 递归函数集 第五章 递归可枚举集 第六章 判定问题 第七章 谱系及计算复杂性

  3. 所属分类：专业指导

    • 发布日期：2009-05-24
    • 文件大小：4mb
    • 提供者：jonny0750

  1. PHP技术内幕 php

  2. 第1章 PHP概述1.1 深入分析1.1.1 编程基础1.1.2 PHP的优点1.1.3 PHP41.1.4 PHP与Apache1.1.5 PHP语法概述1.2 快速解决方案1.2.1 Apache配置1.2.2 特殊的Apache函数1.2.3 PHP配置1.2.4 诊断1.2.5 错误1.2.6 记录1.2.7 输出控制1.2.8 安全性1.2.9 正则表达式第2章 数据2.1 深入分析2.1.1 数据类型2.1.2 数据处理2.1.3 日期与时间2.1.4 算术2.2 快速解决方案2.

  3. 所属分类：PHP

    • 发布日期：2009-05-25
    • 文件大小：14mb
    • 提供者：cofli_l

  1. 可计算性与复杂性-周长林 李占山 编

  2. 可计算性与复杂性——周长林 李占山 编 目录 第一部分 预备知识 第一章 导 引……………………………………………………………….1 1.1集合的概念与相关运算………………………………………..2 1.2关系…………………………………………………………..3 1.2.1关系的基本概念及其性质………………………………...3 1.2.2等价关系…………………………………………………...7 1.2.3部分序关系………………………………………………...7 1.3映射………………………………………

  3. 所属分类：专业指导

  1. 计算理论PPT

  2. 一. 本课的性质以及研究的内容 任何一门学科都有它的基础和它的基本问题，如物质的本质是什么？有机体生命的基础和起源是什么？ 什么是计算机科学的基础？什么是计算机科学的基本问题？ 诸如什么是形式语言？什么是计算？什么是能计算的？什么是不能计算的？什么是算法？如何评价算法？什么样的算法是可行的？这些问题能否判定？这又引出什么是可判定的？什么是不可判定的？ 这些问题就是计算理论要讨论的问题。 1.1 形式语言基本概念（ 1 ） 1.2 文法概念（ ） 1.3文法的分类（ ） 2.1确定的有限自动机（

  3. 所属分类：专业指导

    • 发布日期：2011-10-18
    • 文件大小：1mb
    • 提供者：ruhailiu126

  1. 递归论.rar rar

  2. 密码是：www.xpbook.com 都是关于递归的，挺详细， 不错！看完你就变高手。 目录：绪论；一、算子；二、初等函数集；三、原始递归函数；四、递归函数集；五、递归枚举性……

  3. 所属分类：其它

    • 发布日期：2008-08-31
    • 文件大小：4mb
    • 提供者：pz0513

  1. 第2章 原始递归函数

  2. 由原始递归函数经过合成或原始递归得到的函数仍是原始递归函数.

  3. 所属分类：讲义

    • 发布日期：2015-05-04
    • 文件大小：182kb
    • 提供者：sinat_16638165

  1. C#递归树的生成级Treeview空间的应用实例源码

  2. //设定生成树的原始数据 void getdatable() { tblDatas.Columns.Add("groupid", Type.GetType("System.String")); tblDatas.Columns.Add("groupname", Type.GetType("System.String")); tblDatas.Columns.Add("parentid", Type.GetType("System.String")); tblDatas.Rows.Add(new

  3. 所属分类：C#

    • 发布日期：2015-07-15
    • 文件大小：38kb
    • 提供者：qq_27231127

  1. 可行性与计算复杂性

  2. 第二章 可计算函数 1 1、原语言 1 2、可计算函数 1 第三章 递归函数 3 1、算子 3 2、原始递归函数 3 3、原始递归谓词 3 4、受囿取极小 4 5、递归与可计算性 5 习 题 5 第四章 POST-TURING程序和TURING机 8 1、P-T程序 8 2、Turing机 9 3、P-T程序编码 10 4、一些定理 10 习 题 11

  3. 所属分类：专业指导

    • 发布日期：2018-12-25
    • 文件大小：893kb
    • 提供者：baobaoqiyue

  1. 一个VC 正则函数库-支持中文字符.rar

  2. 一个VC 正则表达式解析库函数库-支持中文字符，原始作者 : lanzhengpeng(兰征鹏)，在北京写于创意鹰翔公司。 　　rf_return= 0x0001,//\r转义为\r，否则，转义为r 　　rf_multi_line = 0x0002,//全文作为多行匹配。^匹配行起始，$作为行结束 　　//否则作为单行匹配。则^匹配起始地址，$匹配结束地址，.则能匹配\n 　　rf_nocase= 0x0004,//不区分大小写 　　rf_endasenter= 0x0008,//结束作为

  3. 所属分类：其它

    • 发布日期：2019-07-10
    • 文件大小：16kb
    • 提供者：weixin_39840914

  1. RecFeatureSelect:基于相关阈值和特征重要性得分的特征选择递归函数-源码

  2. RecFeatureSelect（递归特征选择）。 通过递归删除最相关的对来进行特征选择。 功能重要性得分用作排名，决定在每次调用时删除哪个变量。 可以从源文件夹RecFeatureSelect中找到主要功能。 输入数据包括原始协方差矩阵，特征重要性得分，spearman相关阈值和原始数据。 运行后，该功能会将最终协方差矩阵保存为文件“ cov.csv”。 所有相关将小于输入阈值。 较长的说明： 此功能通过在每次调用时过滤最相似的对来选择用于建模实验的去相关特征。 当所有特征对都在Sp

  3. 所属分类：其它

  1. loda:LODA是一种汇编语言，一种计算模型和一种用于挖掘整数序列程序的工具-源码

  2. LODA：词典顺序下降大会 LODA是一种汇编语言，一种计算模型和一种用于挖掘整数序列的工具。您可以使用它来搜索从计算序列的程序。 文件夹包含从OEIS生成整数序列的程序。所有这些程序都是使用loda mine命令自动生成的。警告：这些程序仅针对OEIS数据库下载版本中序列的第一项进行了验证。不能保证任何特定程序都是正确的，即生成正确的（无限）序列。 :sweat_droplets: :eyes: :woman: :man: 程式 以下程序包括一些整数序列和函数的经典示例。 ：Ac

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：29mb
    • 提供者：weixin_42179184

  1. primitive-recursive-functions:在锈病的类型层面上实现生活游戏和一堆原始递归函数的实现。-源码

  2. 在Rust中， 处于类型级别。 Output for BLINKER type: Generation 1: - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - X X X - - - - - - - - - - - - - - - - - -

  3. 所属分类：其它

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

  1. csci374-sp21-lab4-baboomerang:GitHub Classroom创建的csci374-sp21-lab4-baboomerang-源码

  2. 实验4：递归 问题 在本实验中，您将编写递归函数。 !!! 请勿使用循环，可变变量，模式匹配或任何库函数。 只能进行递归！！！ 允许的库函数： List.head ， List.tail ， List.isEmpty 问题1 编写一个递归函数prod: (lst:int list) -> int ，该函数返回整数列表中元素的乘积。 问题2 编写一个递归函数map: (f:(int -> 'a) -> int list -> 'a list) ，该map: (f:(

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：293kb
    • 提供者：weixin_42109598

  1. recursive_ftp_download：使用FTP函数使用php下载递归文件-源码

  2. recursive_ftp_download 使用FTP函数使用php下载文件递归 原始资源可以在以下找到： : 作者：cukabeka脚本名称：recursive_ftp_download.php

  3. 所属分类：其它

  1. 漂移：用于推断细化类型的基于抽象解释的静态分析-源码

  2. 数据流细化类型推断工具（DRIFT） DRIFT实现了基于抽象解释的静态分析，以推断功能程序中的细化类型。 该分析概括了Liquid类型推断，并且与用于表示类型细化的抽象域是参数化的。 DRIFT以OCaml的子集为目标。 当前，它支持高阶递归函数，对原始类型（例如整数和布尔值），数组和列表的操作。 该工具会自动检查所有数组访问是否在范围内。 此外，它支持验证用户提供的断言。 安装要求 版本> = 4.06 版本> = 2.0.4 请使用opam install安装以下opam

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：12mb
    • 提供者：weixin_42110038

  1. AdventOfCode2017：代码到来2017-源码

  2. 代码到来2017 变更日志 第一天：2021-02-05 第二天：2021-02-05 第三天：2021-02-05 第四天：2021-02-05 第五天：2021-02-05 第六天：2021-02-05 第七天：2021-02-06 第1部分：使用字典的简单树导航 第2部分：计算塔重量和树搜索的递归函数 第八天：2021-02-06 用于增加和减少寄存器值的编程指令。 使用defaultdict存储值，以避免必须预处理寄存器名称。 第9天：2021-02-07 字符串处理

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：837kb
    • 提供者：weixin_42143161

  1. bow：:bow_and_arrow:Bow是Swift中类型化函数编程的跨平台库。-源码

  2. Bow是Swift中类型化函数编程的跨平台库。 文献资料 所有文档和API参考均在。 指向库关键方面的一些链接： 模组 Bow分为多个模块，可以独立使用。 这些模块是： Bow ：核心库。 包含高级种类类型仿真，函数操作实用程序，类型类，数据类型，Monad变形器和原始类型的实例。 BowOptics ：与不同的光学器件一起工作的模块。 BowRecursionSchemes ：用于递归方案的模块。 BowFree ：与Free Monads一起使用的模块。 BowGeneric ：用

  3. 所属分类：其它

  1. python 递归调用返回None 解决方案

  2. 今天在做python获取邮件时需要递归调用解析函数才可以解析邮件内容，最后想要将解析出的内容返回时发现返回的是None 可以内容却可以打印出来，很费解。后来在网上找到了解决方案，才想明白 在这里记录下。 原文：https://blog.csdn.net/qq_43125439/article/details/85238828 原始测试代码如下： def print_info(msg, indent=0): if indent == 0: for header in ['

  3. 所属分类：其它

    • 发布日期：2021-01-21
    • 文件大小：31kb
    • 提供者：weixin_38721252

  1. python 递归调用返回None的问题及解决方法

  2. 今天在做python获取邮件时需要递归调用解析函数才可以解析邮件内容，最后想要将解析出的内容返回时发现返回的是None 可以内容却可以打印出来，很费解。后来在网上找到了解决方案，才想明白 在这里记录下。 原文：https://www.jb51.net/article/182765.htm 原始测试代码如下： def print_info(msg, indent=0): if indent == 0: for header in ['From', 'To', 'Subject']:

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：36kb
    • 提供者：weixin_38551376

  1. 含核函数切换的风电功率短期预测新方法

  2. 为了降低大规模风电接入对电网造成的潜在威胁，提出基于核函数切换机制的混沌时间序列预测新方法，以进一步提高短期风电功率预测性能。首先，结合互信息法和虚假邻近点法实现原始风电功率序列的相空间重构，通过递归图和最大Lyapunov指数验证了风电功率是来自含确定性和随机性的混沌系统，说明了混沌预测方法的可行性。其次，给出了使用核函数进行混沌时间序列预测的实现方法，结合训练样本分析了该方法优于传统预测方法，并结合训练结果提出了使用支持向量机（SVM）训练最优核函数的切换机制，进一步提高了预测精度。最后，以

  3. 所属分类：其它

« 12 3 4 »