逻辑极小是一个创新，灵活的应用程序，用于简化卡诺图和逻辑表达式一步一步来。它非常适合那些参与工程领域，更精确地数字化，形式逻辑学者和学术界，数字设备的构造函数或参与任何与逻辑表达式。凭借其强大的最小化功能和全面的功能，你可以用各种形式逻辑表达式的工作。 产品特点： 最小化布尔和命题公式多达24个变量; 转换布尔公式为SOP，POS和十进制; 与卡诺图，真值表和套计算工作; 突出对卡诺图最小期限; 绘制逻辑电路与各种类型的逻辑门; 优化简化布尔公式与异或门; 转换命题公式为DNF和CN...
线性代数解码是一个旨在帮助学生线性代数的问题的程序。它提供了有关矩阵，行列式，线性方程组，向量空间和线性变换60个不同的问题的一步一步的解决方案，详细说明理由。 它具有在那里使用复杂的算法，以确保该解决方案，以每一问题满足其数值是适合于在测试中使用的施加于它的配置的条件，并产生问题，考试发生器工具，提供给教师生成能力和打印考试从提出的问题的详细说明，将包含。 它有一个方便的接口，提供援助，在任何时候，有两种不同的模式输入数据的问题要解决：表格或文字。 这是一个多语言的软件，其中包含配送英语为默认语言，和西班...
该方案的算术，数学计算。计算所用的所有的表达形式为文本。表达式作为文本的表示是很舒服的大，难以计算。对数学文字拼写的规则很简单，直观明了。 要求： 在Windows 2000 / XP / 2003服务器/ Vista的 限制： ...
学校，高中，大学，工程师完美的计算器解决方案。 CLK-计算器是一个可换肤的计算器为Windows。该处理是特别简单明了。您可以选择您喜欢的输入方式代数或RPN。单位转换，矩阵计算，复数，向量处理和绘图功能完成特别简单。 CLK-计算器可以在RPN和代数模式中使用。如果你使用了HP...
MathGraph目标在一个变量的函数的研究，也可以在两个方向：图形结构和数学计算。该方案有可能：绘制直角坐标，极坐标的图表和参数化功能，寻找方程f（x）= 0给定区间上的根，找到衍生的分析类型从给定功能，绘制功能衍生物的曲线图，画出切线，法线，垂直，和水平的曲线图在点的功能，以及计算的函数确定的积分和变异。 。1.2版可能包括未指定的更新，改进或缺陷修复 要求： 在Windows 95/98 / ME / 2000 / XP / 2003服务器 < P> 限制： ...
你怎么知道如果你的孩子准备采取国家数学考试吗？找出与灰太狼游戏，为孩子们准备的标准化数学考试的形式和风格的创新解决方案。狼游戏：数学可完全控制给老师/家长还没有让数学评估和考试辅导乐趣为学生 要求： 在Windows 95/98 / ME / NT / 2000 / XP 限制： ...
数学测验创建者给出父母或教师完全控制的类型和用于其测验产生算术问题的困难。可以创建任意数量的测验中，每个人都可以包含任意多的问题，问题类型的任何你想要的组合。精确控制问题难度级别意味着你可以匹配你的测验学生的能力。 2.0版可能包括未指定的更新，改进或缺陷修复 是什么在此版本中是新的： 2.0版可能包括未指定的更新，改进或缺陷修复。 要求： 在Windows 2000 / XP / 2003服务器/ Vista的 限制：...
AceIT Grapher是一个全面的，易于使用的图形包。它的2D绘图功能包括矩形，极性，或参数图。一旦图形绘制，您可以通过详尽找到自己的零点，最大值，最小值，并绘制其切线或衍生对其进行分析。你甚至可以继续进行的无数演算功能之一：寻找一个曲线下围成的区域，面积两条曲线，体积革命，革命的表面，弧长，质量中心之间的界限。当然，你可以通过改变其颜色，款式，或线宽调整图的根据自己的喜好的外观。不仅能为贵情节的2D绘图，但你也可以生成与旋转的情节和创建多个视图的能力美丽的三维表面 要求： 视窗95 / 98 /...
