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

搜索资源列表

  1. S7-300梯形逻辑编程.rar

  2. S7-300梯形逻辑编程旨在提供指南，以使用梯形逻辑（LAD）编程语言生成用户程序。 本手册中还包含一个参考章节，阐述了梯形逻辑语言元素的语法和功能。

  3. 所属分类：专业指导

    • 发布日期：2009-10-24
    • 文件大小：2097152
    • 提供者：byou2008

  1. 顶级推荐--逻辑编程大全

  2. 该书为逻辑方面的最权威的书籍，涵盖了一阶逻辑，时态逻辑，模态逻辑和描述逻辑等。 深入讲述了面向逻辑的编程语言，如Prolog等。 该书对于学习逻辑编程人员具有极大的帮助。

  3. 所属分类：专业指导

    • 发布日期：2009-12-20
    • 文件大小：3145728
    • 提供者：early4932

  1. 第4章PLC的5种编程语言 PLC的编程语言与基本逻辑指令

  2. PLC的5种编程语言 1）顺序功能图SFC（Sequential Function Chart） 用来设计顺序控制程序，是位于其它语言之上的图形语言 现在它实际上是一种组织编程的工具（相当于流程图），还必须用其它语言（如梯形图）转换为PLC可执行的程序。 2）梯形图 LD（Ladder Diagram） 是PLC使用最多的一种编程语言，易于被广大的电器工程人员掌握，特别适用于开关量逻辑控制。用线圈、常开触点、常闭触点表示。 3）功能块图FBD（Function Block Diagram） 类

  3. 所属分类：专业指导

    • 发布日期：2010-06-20
    • 文件大小：2097152
    • 提供者：sertina

  1. prolog语言运行系统及相关教程

  2. prolog是一门很有特色的逻辑编程语言，使用它能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序。该资源有prolog的教程及运行系统

  3. 所属分类：其它

    • 发布日期：2011-06-22
    • 文件大小：3145728
    • 提供者：sw000000

  1. Logtalk逻辑编程语言V3.03.0官方安装版

  2. Logtal逻辑编程语言是一个面向对象的逻辑编程语言，可以使用最多的Prolog implementations作为后端编译器。作为一个多模式语言，它支持原型和classes，协议（接口），通过基于分类组成的基于组件的编程，事件驱动程序，和多层次的多线程编程。 版本发布编辑Logtalk 2.43.1 2011年09月12日，Logtalk 2.43.1 发布，这个版本包括一个解析器进行PDDL

  3. 所属分类：其它

    • 发布日期：2019-07-29
    • 文件大小：2097152
    • 提供者：weixin_39841365

  1. ST-结构文本-PLC编程语言-教程

  2. 结构文本是一种高级语言，如果你知道如何使用高级语言来编程，像：Basic、 PACSAL或C，那么你会很轻松的掌握Structured Text（ST）编程；如果不知 道，你会看到ST有着简单、标准的结构，保证程序高效、快速运行并简单易 懂。简介 前提 培训模块: TM210- Automation studio基础 TM211- Automation studio在线通讯 TM213-自动化运行( Runtime)系统 TM223- Automation studio诊断 软件 无 硬件: 无

  3. 所属分类：专业指导

    • 发布日期：2019-03-03
    • 文件大小：1048576
    • 提供者：wewpen

  1. Unified_Code_Count:统一代码计数是一种软件度量工具，可以分析20多种不同的编程语言，以查找逻辑的和物理的代码源行，对给定语言的关键字和各种运算符，数学函数名称等以及循环复杂度进行计数，然后生成各种报告。 此版本包括显着的性

  2. Unified_Code_Count 统一代码计数是一种软件度量工具，可以分析20多种不同的编程语言，以查找逻辑的和物理的代码源行，对给定语言的关键字和各种运算符，数学函数名称等以及循环复杂度进行计数，然后生成各种报告。 此版本包括显着的性能增强和多个线程的功能。 您将看到的大概速度要快2到3倍。 这是南加州大学发布的UCC 2013_04的更改。 原始2013_04源文件可在以下找到： ://csse.usc.edu/ucc在跨平台C ++中编写 此变体包括原始2013_04版本的内容

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：7340032
    • 提供者：weixin_42116585

  1. Programs-In-Java:Java编程语言中的实践问题-源码

  2. Java程序 Java编程语言中的实践问题。 程序设计初学者的一些技巧：-了解代码的逻辑。尝试先自己编写代码。亲自练习代码。它提高了熟练程度。如有需要，请寻求帮助。

  3. 所属分类：其它

    • 发布日期：2021-03-21
    • 文件大小：29696
    • 提供者：weixin_42140625

  1. just-func:只是一种功能编程语言-源码

  2. 恰到好处 just-func只是一种用JSON编写的功能编程语言。 它是同谐的，实现独立。 这意味着它可以用JSON ， YAML或其他可以转换为简单JSON的媒体编写。 它可用于捕获在多种编程语言之间共享的逻辑。 它的典型用例是用数据或某种标记语言定义逻辑，然后可以在运行时或各种编程语言的代码生成中使用该逻辑。 这是REST API的一个世界示例： paths : /hello : get : parameters : - name :

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：53248
    • 提供者：weixin_42122306

  1. powerfx-samples：此存储库包含Power Fx低代码编程语言的示例https：github.commicrosoftPower-Fx-源码

  2. Power Fx样本 该存储库包含社区样本，这些样本演示了Power Fx低代码编程语言的不同用法模式。 我们欢迎社区为该存储库中的samples文件夹做出贡献，以演示不同的Power Fx功能。 请注意，如果您使用第三方库，请确保库许可证允许分发它作为样本的一部分。 有问题或疑问吗？ 在将您的问题提交到正确的位置时，请使用以下逻辑，以确保尽快发现并解决这些问题。 您特定样本使用上有问题。 额外资源 使用样本 要开始使用这些项目，您需要下载要使用的示例的.msapp文件。 转到make.

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：204800
    • 提供者：weixin_42169245

  1. Power-Fx：Power Fx低代码编程语言-源码

  2. Microsoft Power Fx Microsoft Power Fx是一种基于类似电子表格的公式的低代码通用编程语言。 它是一种强类型化，声明性和功能性语言，根据需要可以使用命令式逻辑和状态管理。 Power Fx从Power Apps画布应用程序开始，在其中。 我们正在从该产品中提取语言，以便我们可以在更多的Microsoft Power Platform产品中使用它，并在此处供您使用。 这将需要一些时间，我们将在此处和报告我们的进度。 了语言文档的开头。 与实施一样，它是从Pow

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：19922944
    • 提供者：weixin_42131890

  1. 线性约束与时态逻辑编程语言的集成

  2. 线性约束与时态逻辑编程语言的集成

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：210944
    • 提供者：weixin_38604916

  1. forest-compiler：一种编译为WebAssembly的多语法功能编程语言-源码

  2. 林朗 Forest是一种可编译为WebAssembly的功能性编程语言。 该存储库包含当前在Haskell中实现的编译器和核心语法。 Forest是pre-alpha实验概念研究软件。 将该文档想象成一个可能是Forest的预览版。 设计原则 易于协作胜过所有其他优先事项。 为了协作，我们在结构和语义上达成共识，并在语法上达成共识。 Forest将足够快来制作复杂的游戏，因此普通的Web应用程序将Swift发展。 测试有助于协作，因此应尽可能轻松。 由于我们要编写测试，因此效果执行和逻

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：55296
    • 提供者：weixin_42173218

  1. pl-catalog：编程语言目录-源码

  2. 爱好者的编程语言 语言，环境和围绕它们的工具的目录。 如果我在这里缺少一些很棒的独立项目，请随时发送PR。 语言能力 Bolt是一种内置数据竞赛自由的语言！ Soufflé是Datalog的变体，用于工具设计人员在Horn子句中进行分析。 Soufflé根据逻辑规范合成了本地并行C ++程序。 Mascarpone是Emmental风格的一种自我修改的编程语言。 Dafny是一种带有程序验证程序的编程语言。 当您键入程序时，验证程序会不断抬头并标记任何错误。 Irken是一种强类型的编译语言，

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：1048576
    • 提供者：weixin_42120563

  1. forest-compiler：一种编译为WebAssembly的多语法功能编程语言-源码

  2. 林朗 Forest是一种可编译为WebAssembly的功能性编程语言。 该存储库包含当前在Haskell中实现的编译器和核心语法。 Forest是pre-alpha实验概念研究软件。 将该文档想象成是什么森林的预览。 设计原则 易于协作胜过所有其他优先事项。 为了协作，我们在结构和语义上达成共识，并在语法上达成共识。 Forest将足够快来制作复杂的游戏，因此普通的Web应用程序将Swift发展。 测试有助于协作，因此应尽可能轻松。 由于我们要编写测试，因此效果执行和逻辑应该分开。

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：34816
    • 提供者：weixin_42118770

  1. mlatu：一种静态类型的级联编程语言-源码

  2. Mlatu编程语言 Mlatu是一种静态类型的，基于堆栈的函数式编程语言，旨在简化，提高速度和提高安全性。 非常试验性的：欢迎贡献，但请不要在生产中使用。 关于名字 “Mlatu”是“猫”，它引用了逻辑语字由克里斯托弗·迪金斯，由乔恩·珀迪，而事实上，Mlatu是一个反面的猫enative编程语言。 “ Mlatu”发音为“ melatoo”。 待办事项（无序） 创建一个生成Rust代码的编译器后端 创建一个可以格式化通用文件的格式化程序 基准或配置文件，以便可以优化性能 提示重复通用功能的

  3. 所属分类：其它

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

  1. Pytov：一种具有Python逻辑和所有语言语法的编程语言-源码

  2. 毕托夫 这个想法是采用所有众所周知的语法，并将它们组合成一种具有多种可能性的编程语言。 用法 使用python运行（需要库：运行$ pip install -r requirements.txt ）： $ cd [folder_of_installation] $ python pytov.py [path_to_your_pytov_code] 使用可执行文件运行： $ cd [folder_of_installation] $ cd exe $ pytov [path_to_your_

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：7340032
    • 提供者：weixin_42118160

  1. 逻辑编程语言：开发小型脚本语言以反映伪代码算法和实现的元语法-源码

  2. 逻辑编程语言 逻辑是一种小型脚本语言，旨在反映伪代码算法和实现的元语法。 它支持各种基本的编程概念，例如变量声明，函数调用，条件语句，循环，正确的操作顺序和递归。 语言语法的含义是非常易读和直观：例如，每个函数主体，条件语句主体和循环主体都包装在简单的英语结构中； 循环遵循“从[startingNumber]到[endingNumber]作为[variable]”的语法，变量类型是宽松的，并且在声明时未指定。 下面是包含该语言基于EBNF的语法的repl链接，其后是该语言可以运行的程序的一些示例

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：2048
    • 提供者：weixin_42128537

  1. logtalk3：Logtalk-声明性的面向对象的逻辑编程语言-源码

  2. 该文件是Logtalk 一部分版权所有1998-2021 Paulo Moura SPDX-许可证标识符：Apache-2.0 根据Apache许可版本2.0（“许可”）许可； 除非遵守许可，否则不得使用此文件。 您可以在以下位置获得许可的副本： http://www.apache.org/licenses/LICENSE-2.0 除非适用法律要求或以书面形式同意，否则根据“许可”分发的软件将按“原样”分发，而没有任何明示或暗示的保证或条件。 有关许可下特定的语言管理权限和限制，请参阅许可

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：17825792
    • 提供者：weixin_42099633

  1. sicp-logic：来自SICP第4章的逻辑编程语言的Clojure实现-源码

  2. sicp-logic：来自SICP第4章的逻辑编程语言的Clojure实现

  3. 所属分类：其它

    • 发布日期：2021-02-02
    • 文件大小：12288
    • 提供者：weixin_42171208
« 12 3 4 5 6 7 8 9 10 ... 50 »