• 红软基地:您身边最放心的安全下载站!
您所在的位置:首页 > 软件 > 应用软件 > 教育学习 > Simple Solver(设计与分析布尔方程和状态)

Simple Solver(设计与分析布尔方程和状态)

软件类型:
国产软件
软件语言:
英文
软件大小:
1 MB
软件授权:
免费软件
软件评级:
4
更新时间:
2017-05-11
应用平台:
WinXP, Win7, WinAll
软件简介

Simple Solver(设计与分析布尔方程和状态)提供了一套四个设计工具:布尔,合成,置换和随机数。设计与分析布尔方程和状态机往往是一项极其复杂和耗时的任务。即使找到解决办法可以是非常困难的分析或修改。

软件功能

1。布尔方程(贝克)处理器颠倒,最大限度地减少并产生一个或真值表的布尔方程组。算格式支援多种语言,包括:阿贝尔,c语言,C + +,PALASM,Verilog语言VB和VHDL语言。
2。合成功能(SYN)的设计和提供自动从真值表或波形输入数字逻辑电路仿真。所有的电路类型和配置支持:组合,连续,同步和异步。
简单的求解是一个有用的公差,这将帮助您创建和评估各种设计。

相关介绍

布尔(Boole·George)英国数学家及逻辑学家。1815年11月2日生于林肯:1864年12月8日卒于爱尔兰的科克。
  布尔是鞋匠之子,他完全靠自己的力量爬上去。他原想做牧师,但是他十六岁时在私立学校教数学,到1835年他自己开办一所学校。1849年,(尽管他没有学位)他被任命为科克的女王学院的数学教授,从此他才有了比较安稳的生活保证。他一直在此学院度其余生。
  布尔的大发现就是用一套符号来进行逻辑演算,大约二百年前莱布尼兹曾经摸索过一些。他通过仔细地选择/使这些符号及运算类似于代数的符号及运算。在布尔代数中,符号可以按照固定的规则来处理。而得出合乎逻辑的结果。 布尔的前辈对是否进行这种研究一直犹豫不决。(它牵涉到改进亚里士多德的工作,、而人们对于改进亚里士多德的工作的尝试总有点犹豫不决。)然而布尔敢于这么干。1847年他出版了这方面的第一本书。书并不厚,但足以使他出名而使科克的学院聘他任教。1854年,他出版了《思维规律的研究》一书,其中完满地讨论了这个主题并奠定了现在所谓的符号逻辑的基础。
  逻辑的数学化(好比亚里士多德把音乐数学化)并没有很快给当时的数学家留下印象。或许人们认为它只不过是错综复杂的文字游戏而已。然而,后来发现,‘符号逻辑对于建立数学的哲学是非常有用的(并且叹实是必不可少的)。尝试把数学建立在严格逻辑基础上(从欧几里得时起,已经整整二十一个世纪了,对于古人和一直到洛巴切夫斯基时代的追随者们,欧几里得似乎已经成功地完成这项任务)首先是弗雷格在进行,而怀特黑德和罗素使之达到顶峰:布尔代数就是用于这个目的。

软件截图

Simple Solver(设计与分析布尔方程和状态)

软件下载地址
Simple Solver(设计与分析布尔方程和状态)
软件推荐
下载排行

精品软件

热门关键词

热门软件推荐