1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4.计算前请选择变元个数(默认为3元)并对变元赋值。变元个数最高为5,基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。
资源简介:1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式...
上传时间: 2013-12-13
上传用户:txfyddz
资源简介:能计算数学函数的计算器,有一千多行代码的程序.这个计算器可用 set 命令自定义变量,也可以用 view 今天查看变量的值,在程序里有一个设置小数显示数度的全局变量 prec 可以用 set 对它重新赋值,值的范围是 0 - 100 的整数,默认是 6 ,将 sin arcsin tan l...
上传时间: 2014-01-20
上传用户:hakim
资源简介:能计算数学函数的计算器 这个计算器可用 set 命令自定义变量,也可以用 view 今天查看变量的值,在程序里有一个设置小数显示数度的全局变量 prec 可以用 set 对它重新赋值,值的范围是 0 - 100 的整数,默认是 6 ,将 sin arcsin tan ln 等数学函数转换成内...
上传时间: 2016-12-15
上传用户:ikemada
资源简介:这个程序是按照离散数学教材上给出的算法写的,是字典序的全排列算法。空间复杂度是O(n),时间复杂度基本上是O(n^2)。缺点是只用于打印并没有储存所有的结果。
上传时间: 2015-03-24
上传用户:chenjjer
资源简介:USBPort的编译说明 -- 01(VC知识库) 1. 安装DDK 2. 把DDK的inc路径填在头文件的包含路径中 3. 把DDK的lib路径填在库文件的包含路径中 4. 注释掉原代码中的HIDD_ATTRIBUTES结构 // 不知作者为什么要添加这个结构定义 5. 添加setupapi.lib 如果不想...
上传时间: 2015-06-10
上传用户:zukfu
资源简介:USBPort的编译说明 -- 01(VC知识库) 1. 安装DDK 2. 把DDK的inc路径填在头文件的包含路径中 3. 把DDK的lib路径填在库文件的包含路径中 4. 注释掉原代码中的HIDD_ATTRIBUTES结构 // 不知作者为什么要添加这个结构定义 5. 添加setupapi.lib 如果不想...
上传时间: 2013-12-27
上传用户:xinyuzhiqiwuwu
资源简介:0-1背包问题算法在java语言的实现程序
上传时间: 2014-05-26
上传用户:古谷仁美
资源简介:离散数学的多种方法
上传时间: 2014-10-10
上传用户:xc216
资源简介:一个帮你解决令人头疼的离散数学的方案.希望对一些想提高效率的人有帮助
上传时间: 2013-12-31
上传用户:aysyzxzm
资源简介:一些离散数学的课程设计,是通过C++ Builder 编的!包括判断真值,求数组元素个数,和最短路径!
上传时间: 2015-06-11
上传用户:teddysha
资源简介:s3c2410 UCOS操作系统下,lcd驱动可用在大部分lcd的数字屏,另外还带有模拟屏的显示
上传时间: 2014-01-13
上传用户:csgcd001
资源简介:这个是sqlserver2000的示例数据库northwind,便于大家在学习数据库的编写过程中,直接使用、修改,非常方便
上传时间: 2013-12-24
上传用户:372825274
资源简介:这个是IDES470在Win2003上的安装说明文档,大家可以借鉴
上传时间: 2013-12-22
上传用户:xiaoyunyun
资源简介:离散数学及其应用的写作目标就是向读者展示离散数学的衫性,为计算机专业学生提供一切必要的数学基础.
上传时间: 2016-01-14
上传用户:huql11633
资源简介:matlab的在离散方式的图像缩放MATLAB 的名称源自 Matrix Laboratory ,由美国MathWorks公司推出。它是一种科学计算软件,专门以矩阵的形式处理数据。 MATLAB 将高性能的数值计算和可视化集成在一起,构成了一个方便的、界面友好的用户环境,并提供了大量的内...
上传时间: 2013-12-30
上传用户:杜莹12345
资源简介:这个是我在microchip公司的网站下载的PIC18系列单片的一些驱动程序,如果有需要的可以看看,免得自己在那么多的代码种去找了。
上传时间: 2014-11-12
上传用户:a6697238
资源简介:这个是我在microchip公司的网站下载的PIC18系列单片的一些驱动程序,如果有需要的可以看看,免得自己在那么多的代码种去找了。
上传时间: 2013-12-11
上传用户:顶得柱
资源简介:这个是我在microchip公司的网站下载的PIC18系列单片的一些驱动程序,如果有需要的可以看看,免得自己在那么多的代码种去找了。
上传时间: 2014-01-02
上传用户:chenlong
资源简介:钓鱼小程序.c++开发.不过一般用户请不要下.因为这个程序是在Unix开发的
上传时间: 2016-09-04
上传用户:LouieWu
资源简介:这个是我在网上找的双开软件的资料,感觉不错哦,大家可以借鉴一下
上传时间: 2014-08-08
上传用户:qoovoop
资源简介:AVR的学习,本人只学了C51,但我觉的这个比较有用,这个也是在网上找的,
上传时间: 2014-01-23
上传用户:firstbyte
资源简介:贪吃蛇源程序 本程序为贪吃蛇游戏,想必大家都玩过这个游戏,程序源代码用TC2.0编译通过,需要图形驱动文件的支持,在TC2.0的集成环境中有. 本程序利用数据结构中的链表,来将蛇身连接,同时当蛇吃到一定数目的东西时会自动升级,及移动速度会加快,程序会时刻将...
上传时间: 2017-06-21
上传用户:zl5712176
资源简介:本手册当前版本时间为2001年4月1日。手册中的内容在此日期后发生的变动或更新将在本手册的更新版本中出现。
上传时间: 2017-09-11
上传用户:ukuk
资源简介:该程序用于在一个给定的数组中寻找素数,它使用一个1很经典的算法,效率很高。
上传时间: 2015-03-22
上传用户:坏坏的华仔
资源简介:一个仿windows优化大师的界面,开发环境:Windows 2000 server、pb 9.0 在最上边的标签事件中加上一个自定义事件 事件类型:pbm_lbuttondown 代码: Send(Handle(parent),274,61458,0) return 1
上传时间: 2013-12-20
上传用户:xinyuzhiqiwuwu
资源简介:本文介绍了基于DS18B20单线数字温度传感器的电子孵化器的设计实现。设计中基本涵盖了对单线数字温度传感器DS18B20的原理的运用。在电子孵化器的制作过程中,硬件电路由单线数字温度传感器DS18B20和继电器的连接,电路可以把温度转化成数字用LED数码显示器显示...
上传时间: 2013-12-01
上传用户:一诺88
资源简介:遗传算法(Genetic Algorithm,GA)是一种抽象于生物进化过程的基于自然选择和生物遗传机制的优化技术. 遗传算法的基本原理 在遗传算法的执行过程中,每一代有许多不同的种群个体(染色体 )同时存在。这些染色体中哪个保留(生存)、哪个淘汰(死亡),是根据 它...
上传时间: 2016-07-05
上传用户:lizhizheng88
资源简介:一个windows记事本c#源码 在编辑菜单中的"查找下一个"没有实现 实现方法,在查找窗体的关闭事件中添加this.visual=false 或者把search类中的 biaoji()函数改为 string biaoji() 提供个值 本期项目产生的问题 1.拦载windows窗体中的关闭事件 HREF 属...
上传时间: 2013-12-29
上传用户:时代电子小智
资源简介:达拉斯 1-Wire 主机通信 这份资料展示了如何把 1-Wire 主机通信在应用到一个AVR系统中,不仅仅是在软件方面,还有U(S)ART模式下的应用。
上传时间: 2017-09-10
上传用户:lijinchuan
资源简介:【文件介绍】 人事薪资管理系统。 【使用介绍】 在Windows系统的管理工具中,选择Internet信息服务,进入web页面管理界面。设置默 认web站点的路径为本目录的绝对路径。 确保您的机器上安装了SQL Server 2000或以上的版本,建立一个新的数据库ASPData,再将 ...
上传时间: 2013-12-23
上传用户:ddddddos