虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

离散化

  • 1.这个计算器可用在离散数学的数理逻辑中

    1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4.计算前请选择变元个数(默认为3元)并对变元赋值。变元个数最高为5,基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能,如果判断功能有误,麻烦您告诉我您的表达式。

    标签: 计算器 离散 数理 逻辑

    上传时间: 2013-12-13

    上传用户:txfyddz

  • 通过基于Windows的图形化界面

    通过基于Windows的图形化界面,可以很方便的配置使用,包括在线测试各种可能遇到的问题,支持多域名,每个域名都支持没有限制的用户数目。其它功能包括:反垃圾邮件功能,查杀病毒支持,基于IP的访问列表,邮件转发,转发限制,ORL/RBL过滤,服务日志,统计信息和Windows服务,支持ESMTP/POP3/IMAP4

    标签: Windows 图形化

    上传时间: 2014-01-03

    上传用户:离殇

  • 这是一个自适应矢量化算法(VQ)源程序。用于人工智能算法

    这是一个自适应矢量化算法(VQ)源程序。用于人工智能算法

    标签: 算法 矢量化 源程序 人工智能

    上传时间: 2015-09-12

    上传用户:athjac

  • 离散数学中求解二元关系2到100间的所有素数传递闭包的问题.

    离散数学中求解二元关系2到100间的所有素数传递闭包的问题.

    标签: 100 离散 二元关系

    上传时间: 2015-09-13

    上传用户:stampede

  • 哈夫曼码的编/译码系统,实现功能:1.初始化 2.编码 3.译码 4.印代码文件 5.印哈夫曼树

    哈夫曼码的编/译码系统,实现功能:1.初始化 2.编码 3.译码 4.印代码文件 5.印哈夫曼树

    标签: 译码 初始化 代码

    上传时间: 2013-12-27

    上传用户:

  • 离散算法

    离散算法,硕士论文一部分,希望对大家有所帮助。

    标签: 离散 算法

    上传时间: 2015-09-14

    上传用户:onewq

  • 记数器。记录你刷新页面的次数。数据库要初始化

    记数器。记录你刷新页面的次数。数据库要初始化

    标签: 记数 记录 数据库 初始化

    上传时间: 2013-12-27

    上传用户:tedo811

  • Google的汉化征途上

    Google的汉化征途上,李开复到来之前,Google就不得要领的巨人在中国市场上耕作,这是史前时代;李开复到来之后,Google开始变化,施展武艺开始有了掌法,却也难免磕磕碰碰,是为创世纪,“谷歌”诞生,Google就此在中国市场名正言顺

    标签: Google 汉化

    上传时间: 2015-09-15

    上传用户:thinode

  • Google的汉化征途上

    Google的汉化征途上,李开复到来之前,Google就不得要领的巨人在中国市场上耕作,这是史前时代;李开复到来之后,Google开始变化,施展武艺开始有了掌法,却也难免磕磕碰碰,是为创世纪,“谷歌”诞生,Google就此在中国市场名正言顺

    标签: Google 汉化

    上传时间: 2015-09-15

    上传用户:siguazgb

  • Google的汉化征途上

    Google的汉化征途上,李开复到来之前,Google就不得要领的巨人在中国市场上耕作,这是史前时代;李开复到来之后,Google开始变化,施展武艺开始有了掌法,却也难免磕磕碰碰,是为创世纪,“谷歌”诞生,Google就此在中国市场名正言顺

    标签: Google 汉化

    上传时间: 2014-01-17

    上传用户:虫虫虫虫虫虫