软件名称：[B]DC证明1.0_DC Proof 1.0[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：2.44 MB
官方主页：Home Page
更新时间：2013-03-08 10:44:00
软件简介:

一个新的学习辅助教逻辑和证明的基本原理

DC证明应用程序的设计是基于PC的，教育软件。
DC证明被认为是一个直观的，交互的窗口，现代逻辑学和数学的本质，让学生写证明，使用便捷的下拉菜单的规则和公理，每行验证输入。

下面是一些主要特点“DC的神器出山:www.shenqi73.com证明”：

·完全互动的，自学教程，可以作为介绍符号逻辑和数学的基础，在高中，学院或大学水平
·颜色编码的变量指示在什么样的概括，可以一目了然，可得出的结论


要求：

·MS Internet Explorer中，第4版或更高版本

[url=http://www.sot9.com/soft/132342.html][B]DC证明1.0_DC Proof 1.0[/B][/url]

点这里下载->DC证明1.0_DC Proof 1.0 [ 下载地址 ]