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

由中科院数学机械化研究所开发的数学机械化平台（Dos平台运行）能进行各类复杂的数学运算。包括数值运算和多项式运算等。挺不错的...

📅 2016-02-29

近代数学,《近世代数基础》课后习题答案.pdf...

📅 2014-01-18

EPP和51的接口逻辑Verilog源代码.rar...

📅 2013-12-06

可编程逻辑器件画时序图的工具软件，便于大家设计时使用！...

📅 2016-03-03

根据光伏电池相关的理论和数学模型，利用PSIM建立一种简单并且准确的光伏阵列模型。同时，在此模型的基础上建立具有MPPT功能的直流变换器仿真模型。比较不同环境下的输出曲线的仿真结果以及实验数据。仿真结...

📅 2016-03-03

现代信号分析中,对于常见的具有各态历经的平稳随机信号,不可能用清楚的数学关系式来描述,但可以利用给定的N个样本数据估计一个平稳随机信号的功率谱密度叫做功率谱估计(PSD)。它是数字信号处理的重要研究内...

📅 2016-03-03

简单的泊车程序,数据结构课程的实验.理解栈和队列的逻辑结构和存储结构，进一步提高使用理论知识指导解决实际问题的能力。...

📅 2014-01-10

基于复杂可编程逻辑器件(CPLD)的120MHz高速A_D采集卡的设计...

📅 2014-01-04

一本matlab地数学手册，关于matlab在数学上的应用的讲解非常详细...

📅 2016-03-04

该程序主要用于实现97年的全国大学生数学建模竞赛B题零件的参数设计...

📅 2014-01-21

📚 数学逻辑技术资料