搜索结果
找到约 4,861 项符合
数学逻辑 的查询结果
按分类筛选
数学计算 Haskell是一种程序语言。特别的
Haskell是一种程序语言。特别的，它是多态类型，懒惰的，纯的函数式语言，与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言，基于lambda演算。
为什么使用Haskell？
写一个能工作的大型的软件系统是很困难的而且很昂贵的。维护这个系统甚至更加困难和昂贵。函数式程序语 ...
数值算法/人工智能 离散数学重言式判别以及逻辑表达式求值原代码
离散数学重言式判别以及逻辑表达式求值原代码
VC书籍 本书用组合逻辑的观点了阐述算法语程序<组合数学的算法与程序设计>
本书用组合逻辑的观点了阐述算法语程序<组合数学的算法与程序设计>
Java编程 1.这个计算器可用在离散数学的数理逻辑中
1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入， ...
其他书籍 证明与反驳——数学发现的逻辑。程序员需要逻辑思维能力
证明与反驳——数学发现的逻辑。程序员需要逻辑思维能力，该书是经典之作！
单片机编程 单片机的数学基础
单片机的数学基础:本章基本要求：单片机是现代电子智能仪器仪表及嵌入式系统的主要组成部分，应用非常广泛，是现代工程技术人员必须掌握的知识之一。本章要求掌握数的进制及其相互转换、带符号数的表示方法、溢出的判别方法、ASCII 码和BCD 码等单片机的数学基础知识；掌握单片机的概念、特点、应用范围、发展历程等基础知 ...
单片机编程 单片机模糊逻辑控制
单片机模糊模糊控制是目前在控制领域所采用的三种智能控制方法中最具实际意义的方法。模糊控制的采用解决了大量过去人们无法解决的问题，并且在工业控制、家用电器和各个领域已取得了令人触目的成效。本书是一本系统地介绍模糊控制的理论、技术、方法和应用的著作；内容包括模糊控制基础、模糊控制器、模糊控制系统、模糊控 ...
DSP编程 matlab数学建模实例与编程教程
&nbsp;现实世界中有很多问题，它的机理较简单，用静态,线性或逻辑的方法即可建立模型，使用初等的数学方法，即可求解，我们称之为初等数学模型。本章主要介绍有关自然数，比例关系，状态转移，及量刚分析等建模例子，这些问题的巧妙的分析处理方法，可使读者达到举一反三，开拓思路，提高分析, 解决实际问题的能力。
在人 ...
其他书籍 作者】 徐宗本 张讲社 郑亚林 【丛书名】 西安交通大学数学研究生教学丛书 【出版社】 科学出版社 【书号】 7-03-010792-6 【开本】 16开 【页码】 315 【出版日期
作者】 徐宗本 张讲社 郑亚林
【丛书名】 西安交通大学数学研究生教学丛书
【出版社】 科学出版社 【书号】 7-03-010792-6
【开本】 16开 【页码】 315
【出版日期】 2003-5-1 【版次】 1-1
计算智能是以模型(计算模型、数学模型)为基础、以分布并行计算为特征的模拟人的智能求解问题的理论与方法。本书系统讲述计算 ...
数值算法/人工智能 数独游戏:是一种源自18世纪末瑞士的数学智力拼图游戏。拼图是九宫格（即3格宽×3格高）的正方形状
数独游戏:是一种源自18世纪末瑞士的数学智力拼图游戏。拼图是九宫格（即3格宽×3格高）的正方形状，每一格又细分为一个九宫格。在每一个小九宫格中，分别填上1至9的数字，让整个大九宫格每一列、每一行的数字都不重复。
数独的玩法逻辑简单，数字排列方式千变万化。不少教育者认为数独是锻炼脑筋的好方法。 ...