c的各种演算

本专辑为您列举一些c的各种演算方面的下载的内容,c的各种演算等资源。把最新最全的c的各种演算推荐给您,让您轻松找到相关应用信息,并提供c的各种演算下载等功能。本站致力于为用户提供更好的下载体验，如未能找到c的各种演算相关内容，可进行网站注册，如有最新c的各种演算相关资源信息会推送给您。

阅读全文

c的各种演算

: C语言课程精讲 C语言在我们生活应用非常的广泛，必须十分的重视。本课介绍一些C语言一些基本的常识。
评级：0 浏览量：53 收藏量：0 资源大小：43KB 上传时间：2013-03-13

: stlc:简单类型λ演算的优化类型推断这是用于简单类型（或“单态”）λ演算的优化类型推断算法。编写该算法的简单实现非常简单，但是在Haskell之前，我对C中“文字”方法的效率低下感到不满，为每个术语和每种类型分配一个结构，等等。所以我尽我所能...
评级：0 浏览量：83 收藏量：0 资源大小：5KB 上传时间：2021-04-30

: STLC-to-SKI:从STLC到SKI演算的转换这是简单类型的lambda演算与类型的SKI组合器之间的最小转换。其中包括翻译正确性的经过验证的证明。
评级：0 浏览量：42 收藏量：0 资源大小：2KB 上传时间：2021-05-02

: lambda:lambda演算解释器用C ++编写的小型lambda演算解释器。它支持α转换和β减少，以及精确跟踪替换和重命名的输出。如何：支持标准的lambda演算语法，例如： (λz.(((λx.(λy.x)) z) ((λx.(λy.x)) z))) 请注意，变量名称可以是...
评级：0 浏览量：129 收藏量：0 资源大小：157KB 上传时间：2021-04-01

: 离散数学谓词演算推理理论PPT学习教案.pptx 离散数学谓词演算推理理论PPT学习教案离散数学谓词演算推理理论是指在数学逻辑中，使用谓词演算来描述和推理的方法。谓词演算推理理论是一种形式系统，用于描述和推理具有量词和谓词的命题。在谓词演算推理理论...
评级：0 浏览量：120 收藏量：0 资源大小：126KB 上传时间：2021-10-05

: dependent_typed:从简单类型 Lambda 演算到依赖类型 Lambda 演算依赖类型 Lambda 演算概括这是我在围绕依赖类型扭曲我的头的存储库。贡献是的，请这样做！有关指南，请参阅。执照参见。版权所有 (c) 2015 Jeremy Bi。
评级：0 浏览量：74 收藏量：0 资源大小：5KB 上传时间：2021-06-23

: 常见程式演算笔记.rar “常见程式演算”主要收集一些常见的程式练习题目，您可以藉这些题目培养一些程式设计逻辑的感觉，对题目的分类只是个大概，方便索引而已，实作的部份是使用 C 及 Java。
评级：0 浏览量：58 收藏量：1 资源大小：677KB 上传时间：2010-09-08

: 经典算法-常见程序演算「常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。
评级：0 浏览量：95 收藏量：0 资源大小：680KB 上传时间：2009-08-07

: lambda-calculator：lambda演算解释器 lambda演算解释器这是lambda演算解释器lc的代码。 lc会按正常顺序（从最左到最先）减少beta和eta。 lc将重命名绑定变量以防止捕获变量。建筑我没有做GNU风格的autoconf脚本。我确实编写了相当严格的ANSI C（我...
评级：0 浏览量：111 收藏量：0 资源大小：86KB 上传时间：2021-02-18

: nanohs:自托管lambda演算编译器 NanoHaskell：一个自托管的lambda演算编译器该实验的目标是用最少的Haskell样式代码创建一个自托管的lambda演算编译器（和解释器）。语言是（严格）lambda演算+数据构造函数+简单模式匹配+递归let + IO效果。选择...
评级：0 浏览量：58 收藏量：0 资源大小：199KB 上传时间：2021-05-17

: implicitcalculus:隐式演算的解释器隐式演算解释器隐式演算[1]是旨在提供隐式编程基础的核心演算。有关详细信息，请参阅草稿。... [1] Bruno C. d。 S. Oliveira，Tom Schrijvers，Chon Wontae Choi，Wonchan Lee，Kwangkeun Yi，Philip Wadl
评级：0 浏览量：55 收藏量：0 资源大小：14KB 上传时间：2021-05-25

: fcpp：有效实现字段演算的C ++库 Pure Field Calculus的高效C ++ 14实现，用于快速有效地仿真普适计算场景，并部署在微控制器架构上。用户：入门从该项目的开始，同时保留便利性。该存储库设置为通过或在虚拟环境中运行。另外，您可以通过...
评级：0 浏览量：117 收藏量：0 资源大小：276KB 上传时间：2021-02-16

: 嵌入式机器人开发2大作业+源代码+文档说明+pdf+视频+演算过程嵌入式机器人开发2大作业+源代码+文档说明+pdf+视频+演算过程不懂运行，下载完可以私聊问，可远程教学该资源内项目源码是个人的课程设计，代码都测试ok，都是运行成功后才上传资源，答辩评审平均分达到96分，放心...
评级：0 浏览量：22 收藏量：0 资源大小：15.99MB 上传时间：2023-12-17

: 常見程式演算主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。
评级：0 浏览量：43 收藏量：0 资源大小：695KB 上传时间：2018-09-16

: lambda_calculus_evaluator:一个简单的Lambda演算评估器 Lambda演算评估器介绍这是一个简单的lambda演算评估程序，它支持以下具体语法：表达式：=标识符| （lambda标识符表达式）| 表达式表达式为了使它真正纯净，当前不支持常量。它应用alpha转换和beta减少来减少...
评级：0 浏览量：79 收藏量：0 资源大小：22KB 上传时间：2021-05-01

: 命题逻辑等值演算PPT课件.pptx 命题逻辑等值演算PPT课件本资源摘要信息对应的PPT课件主要讲解了命题逻辑等值演算的概念和应用。课件共81页，主要内容包括等值式的定义、性质、十六组重要的等值式、等值演算和置换规则等。等值式的定义：设A、B...
评级：0 浏览量：78 收藏量：0 资源大小：409KB 上传时间：2021-10-07

: java常见程序演算常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。
评级：0 浏览量：76 收藏量：0 资源大小：762KB 上传时间：2008-11-28

: 计算命题演算公式真值(数据结构C语言版)实习报告.pdf 计算命题演算公式真值(数据结构C语言版)实习报告.pdf
评级：0 浏览量：57 收藏量：0 资源大小：153KB 上传时间：2021-11-09

: 离散数学之等值演算PPT课件.pptx 离散数学之等值演算PPT课件.pptx 本PPT课件主要讲解了离散数学中的等值演算，覆盖了等值式的定义、基本等值式、置换规则、等值演算的应用等方面的内容。等值式的定义：若等价式AB是一个重言式，则称A与B等值，...
评级：0 浏览量：53 收藏量：0 资源大小：209KB 上传时间：2021-10-09

: lambda-calculus:各种编程语言中的无类型lambda演算插图，包括一些Lisp方言关于如何在各种lisp方言中实现lambda演算原语的插图。目前，已为以下Lisp方言实现了该功能： Clojure（在1.6.0版上测试） Common Lisp（在SBCL 1.2.2上测试）方案（已在tinyscheme和scheme48上进行了测试，最新...
评级：0 浏览量：73 收藏量：0 资源大小：32KB 上传时间：2021-05-11

: base_convert：10または16进数のビット演算を行うCプログラムです “＃base_convert”
评级：0 浏览量：31 收藏量：0 资源大小：2KB 上传时间：2021-02-13

: CC竞猜频道LOL演算 CC竞猜频道共三页的演算法，详细查看软件帮助，易语言编写，杀毒软件会误报，使用前关闭杀毒软件！
评级：0 浏览量：70 收藏量：0 资源大小：1.34MB 上传时间：2016-06-26

: 常见程式演算(Java/C) “常见程式演算”主要收集一些常见的程式练习题目，您可以藉这些题目培养一些程式设计逻辑的感觉，对题目的分类只是个大概，方便索引而已，实作的部份是使用 C 及 Java。本人已亲手制作成CHM格式的电子书，方便...
评级：0 浏览量：63 收藏量：0 资源大小：706KB 上传时间：2009-10-09

: 离散数学命题逻辑等值演算PPT课件.pptx 离散数学命题逻辑等值演算PPT课件本PPT课件主要介绍了离散数学中的命题逻辑等值演算的概念和应用。课程内容涵盖了等值式的定义、自反性、对称性、传递性等基本性质，以及十六组重要的等值式，如双重否定律、幂等律...
评级：0 浏览量：83 收藏量：0 资源大小：277KB 上传时间：2021-10-09

: C，C++ 数据结构课程设计之计算命题演算公式的真值本程序用C语言编写，为数据结构课程设计中的计算命题演算公式的真值程序，编写时考虑周到，在满足题目的基本要求下，功能更为完善 PS：内附详解报告，解释流程，原理及用法
评级：4 浏览量：266 收藏量：8 资源大小：282KB 上传时间：2009-12-14

: Talos:由RPI的RAIR Labs设计的DCEC *的自动定理证明器，即Deontic认知事件演算 DCEC* 的自动定理证明器，在 RPI 的 RAIR 实验室设计的道义认知事件演算，可在此处找到： ://rair.cogsci.rpi.edu/projects/the-deontic-cognitive-event-calculus 这是建立在 SPASS 系统上的，可以在这里找到： : ...
评级：0 浏览量：63 收藏量：0 资源大小：1.42MB 上传时间：2021-05-31

: LambdaSki：滑雪转换器编译器的简单Lambda演算这是一个简单的程序，可将lambda演算表达式转换为sk组合器表达式。需要构建Haskell平台和Megaparsec。输出格式可选参数用于确定输出格式，其中“ f”确定将调用项放在哪里，“ x”确定将自变量放在哪里。例子...
评级：0 浏览量：104 收藏量：0 资源大小：6KB 上传时间：2021-02-20

: llang:命题演算中良构公式的解释器很高兴向您介绍llang - 用 JavaScript（浏览器和 node.js）编写的命题演算中格式良好的公式的解释器。使用很简单，只需传递一个公式，并在公式中输入对变量的求值，然后查看结果。而且还会有更多！我将制作...
评级：0 浏览量：98 收藏量：0 资源大小：14KB 上传时间：2021-07-03

: 常見程式演算的经典算法「常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。
评级：0 浏览量：47 收藏量：0 资源大小：688KB 上传时间：2011-11-08

: minilzo壓縮演算源代碼.7z LZO 是一個用 ANSI C 編寫的便攜式無損數據壓縮庫。是LZO 庫的一個非常輕量級的子集，旨在輕鬆包含在您的應用程序中。它是從 LZO 源代碼自動生成的，包含最重要的 LZO 函數。非常易於使用 - 只需幾分鐘即可將數據壓...
评级：0 浏览量：51 收藏量：0 资源大小：62KB 上传时间：2021-09-10

: lambda-calculus:在列表中实现的 Lambda 演算抽象 λ演算在 Racket 中实现的教堂编码。版权所有 (c) 2015，Alexander cosm Smoktal 保留所有权利。如果满足以下条件，则允许以源代码和二进制形式重新分发和使用，无论是否修改：源代码的重新分发必须保留上述...
评级：0 浏览量：43 收藏量：0 资源大小：2KB 上传时间：2021-06-04

: Java和C语言实现各种经典算法_含代码图例 “常见程式演算”主要收集一些常见的程式练习题目，您可以藉这些题目培养一些程式设计逻辑的感觉，对题目的分类只是个大概，方便索引而已，实作的部份是使用 C 及 Java。
评级：5 浏览量：69 收藏量：1 资源大小：677KB 上传时间：2011-11-23

: silc:C 语言中的简单 Lisp 实现它只是为了好玩，主要是为了演示 lambda 演算解释。它具有可移动的垃圾收集器，非常适合在受限环境中使用（所有分配都在有限的堆区域中进行）。如何构建在根目录中执行./configure && make repl 。然后做： $ ...
评级：0 浏览量：145 收藏量：0 资源大小：39KB 上传时间：2021-07-21

: 基于Pytorch的高性能演化计算库python源码+演算计算报告.zip 基于Pytorch的高性能演化计算库python源码+演算计算报告.zip OPTIMISERS │ EA_all.m 演化算法模版 │ EA_cauthy_adaptive.m 示例：柯西自适应策略算法 │ EA_normal.m 示例：正态策略算法 │ EA_normal_...
评级：0 浏览量：27 收藏量：0 资源大小：24.67MB 上传时间：2023-12-29

: STLC_2Cap:这是将第二类能力形式化为简单型lambda演算的形式的仓库具有无限生命周期的二等值一流的功能以牺牲静态保证为代价，大大提高了表达能力。在ALGOL或PASCAL中，可以将函数作为参数传递，但永远不要逃脱其定义范围。因此，函数自变量可以用作临时访问令牌或功能，使被调用...
评级：0 浏览量：57 收藏量：0 资源大小：83KB 上传时间：2021-03-10

: 常用算法演算主要收集一些常见的算法,实现部分主要是C以及JAVA
评级：0 浏览量：50 收藏量：0 资源大小：693KB 上传时间：2007-07-25

: shen-c:Shen 编程语言的 AC 实现 Shen 是由开发的一种可移植的函数式编程语言，它提供模式匹配Lambda 演算一致性用于定义领域特定语言的宏可选的懒惰评估基于可选静态类型检查一个集成的全功能 Prolog 一个内置的编译器，Shen-YACC Shen-C被实现为...
评级：0 浏览量：108 收藏量：0 资源大小：213KB 上传时间：2021-05-30

: tenscalc:使用符号张量演算进行非线性优化的Matlab工具箱 C代码可以在Matlab内部使用（自动生成的）cmex接口使用，也可以在独立应用程序中使用。独立代码不需要库。可在在线找到TensCalc的用户指南。 TensCalc背后的算法的技术描述可以在找到安装 TensCalc工具箱支持...
评级：0 浏览量：95 收藏量：0 资源大小：1.71MB 上传时间：2021-04-02

: 一回路光锥QCD，对胶子和QCD RFT演算的有效作用调节胶子的有效作用是基于全球... 提出并讨论了类似于在Gribov（Sov Phys JETP 26：414，1968）中引入的RFT的用于重胶子的RFT演算。通过计算A +和A-调节胶子场的传播子，验证了结果的正确性，并讨论了所得结果的应用。
评级：0 浏览量：128 收藏量：0 资源大小：590KB 上传时间：2020-04-23

: 基于进程演算的公钥密码体制安全性自动化证明系统 (2012年) 文章设计并实现了一套公钥密码体制安全性自动化证明系统，使用一种概率多项式时间进程演算描述可证安全模型，借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在c语言环境下实现，已...
评级：0 浏览量：51 收藏量：0 资源大小：491KB 上传时间：2021-05-28

: lambda-calculus-nim：一个用Nim编写的lambda演算解释器项目 Lambda微积分解释器，用Nim编写这是我正在做的个人项目。我喜欢Lambda微积分，并且对Nim（我最近发现的一种编程语言）非常感兴趣。我将采用半功能方法来编写此解释器。... nim c -r main.nim 当然，您需要安装Nim。
评级：0 浏览量：95 收藏量：0 资源大小：65KB 上传时间：2021-02-11

: 计算机C语言基础知识.pdf 关系数据库中的关系演算包括元组关系演算和域关系演算。二者都是由原子公式组成的公式。数据库管理系统是位于用户与操作系统之间的一层系统管理软件，是一种系统软件，是用户与数据库之间的一个标准接口。其总是...
评级：0 浏览量：23 收藏量：0 资源大小：110KB 上传时间：2021-10-12

: 算法常見程式演算程式練習題目「常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。
评级：0 浏览量：48 收藏量：0 资源大小：3.89MB 上传时间：2010-05-18

: 常見程式演算 chm 主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。
评级：0 浏览量：64 收藏量：0 资源大小：713KB 上传时间：2007-12-30

: 合适公式真值表的演算此C程序能轻松写出三个以内的合适公式的真值表，但注意看代码里面的合适公式的写法！
评级：0 浏览量：94 收藏量：1 资源大小：623B 上传时间：2009-09-30

: C#串口上位机显示STM32F1. MPU6050陀螺仪测试（硬件I2C版本）并含可藉由第二个I2C端口连接其他厂牌之加速器、磁力传感器、或其他传感器的数位运动处理(DMP: Digital Motion Processor)硬件加速引擎，由主要I2C端口以单一数据流的形式，向应用端输出完整的9轴融合演算技术...
评级：5 浏览量：252 收藏量：1 资源大小：18.84MB 上传时间：2022-04-22

: click-and-collect:一个用于在线性逻辑的后续演算中构建证明的Web交互式工具，其后端用OCaml编写 C1ick⅋c⊗LLec⊥ 该存储库包含用于线性逻辑的在线交互式后续证明者的前端和后端代码。部署安装依赖项sudo apt-get install opamopam initsudo apt-get install libgdbm-dev libsqlite3-devopam depext ocsigen-...
评级：0 浏览量：61 收藏量：0 资源大小：195KB 上传时间：2021-04-06

: Johann:贝叶斯归纳程序，à la Solomonoff 约翰贝叶斯归纳程序，à la Solomonoff Johann 是一个方程定理证明系统和贝叶斯推理引擎，用于组合代数（相当于 lambda 演算）的各种扩展，特别使用了无类型并发 lambda 演算中的类型化 lambda 演算的解释。...
评级：0 浏览量：69 收藏量：0 资源大小：684KB 上传时间：2021-06-17

: tanalysis:从 code.google.comptanalysis 自动导出为了做到这一点，我们提出了一个健全的污点分析演算，它也包含一个污点依赖序列 (TDS) 演算，明确控制和数据依赖的序列，为了使变量被污染，必须满足这些顺序。我们通过处理所有可能的依赖类型来扩展先前在执行的...
评级：0 浏览量：45 收藏量：0 资源大小：2.47MB 上传时间：2021-06-18

: 常見程式演算題目與筆記心得「常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。
评级：0 浏览量：48 收藏量：0 资源大小：688KB 上传时间：2009-05-15

资源推荐

相关资源标签

算法,c,java,排序,搜索数据结构经典算法 Java CHM格式制作 C，C++ 程式练习題目 java 常見程式演算代码 c的各种演算 Open Access lambda-calculus Haskell MATLAB OCaml Agda 工程技术论文 Racket JavaScript 信源編碼數據壓縮专业资料专业课件 STM32 I2C 课程设计课程大作业毕业设计期末大作业