📚 数学逻辑技术资料

📦 资源总数：4861
📄 技术文档：1
💻 源代码：6668

🔥 数学逻辑热门资料

查看全部4861个资源 »

Haskell是一种程序语言。特别的，它是多态类型，懒惰的，纯的函数式语言，与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言，基于lambda演算。 为什么使用Haskell？ 写一个能工作的大型的软件系统是很困难的而且很昂贵的...

📅 👤 362279997
Haskell 程序 语言

1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入...

📅 👤 txfyddz
计算器 离散 数理 逻辑

📄 数学逻辑技术文档

查看更多 »
📄
matlab数学建模实例与编程教程
matlab 数学建模 教程

💻 数学逻辑源代码

查看更多 »
💻
readme.txt
💻
readme.txt
💻
强盗分金算法.txt
💻
进书逻辑.txt
💻
退书逻辑.txt
💻
库存书维护逻辑.txt
📂 数学逻辑资料分类
🔥 热门资料 查看最受欢迎的资源 📄 技术文档 技术手册与Datasheet 💻 源代码 程序代码与工程文件 📚 全部资料 4861 个资源