数学逻辑全部资料下载-4861个数学逻辑技术资源-虫虫下载站

该程序是matlab范例程序数学数值处理，包括最优化算法等相关程序，此程序是只作为共享作用，请勿做商业用途，谢谢！...

📅 2015-06-02

这是EWB做的关于数字逻辑的课程设计其中红灯的时间可以自行修改还设了人行道的红绿灯...

📅 2015-06-03

表达式分析, 支持算术运算,括号,关系运算,逻辑运算,字符串的like运算等。采用了有限自动机做词法分析, 语法分析用算符优先分析方法，正负号算符使文法不是OPG，因此这里作了特殊处理。分析的结果是逆...

📅 2013-12-30

科学发现的逻辑》是波珀的代表作，也是现代科学哲学颇享盛名的主要代表作之一。本书主要讨论知识理论的两个基本问题：划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性，科学的方法不是归纳...

📅 2014-01-09

用lattice expert8.3实现的三电机控制系统调节器的转换逻辑...

📅 2015-06-07

用lattice expert8.3实现的三电机控制系统核心逻辑，配合80c196kc单片机实现直流无刷电机阵列控制...

📅 2015-06-07

用lattice expert8.3实现的三电机控制系统核心逻辑，配合80c196kc单片机实现直流无刷电机阵列控制。较之一代增加了测速部分逻辑。...

📅 2015-06-07

用lattice expert8.3实现的三电机控制系统核心逻辑，配合80c196kc单片机实现直流无刷电机阵列控制。较之二代增加了can总线通讯逻辑（sja100+82c250)。...

📅 2015-06-07

从事数学计算或是软件开发的人，都会遇到这样一个问题。如果两个极大整数做各种运算，经常会因为数据太大导致溢出，而无法得到正确结果。大整数计算器正好为您解决此方面的烦恼。它理论上是支持无限位数的10进制和...

📅 2015-06-08

用于逻辑分析仪的组合字触发程序,带四级触发字和一个屏蔽字,当满足触发条件是输出高电平,复位后清零...

📅 2015-06-08

📚 数学逻辑技术资料