Discrete Structures Logic and Computability

docpei 27 0 EPUB 2019-09-07 07:09:51

这是关于离散结构与逻辑，可计算性的电子书，最新版本，经典著作，英文版

推荐下载

QuantumComputationandLogic:HowQuantumComputersHaveInspiredLogicalInvestigations(TrendsinLogic)By作者:M

Thisisaslightyrevisedversionofthe1985editionofmylogicbook.Manyty-posanderrorshavebeencorrectedandthe

Saleae逻辑分析仪配套软件用于Saleae逻辑分析仪显示波形

HandbookofMathematicalLogic(Studiesinlogicandthefoundationsofmathematics)(JonBarwise)

大学高级数理逻辑教程,包括一阶谓词逻辑,完全定理。

模式逻辑

Xlinix Logic Logic_Representations entrance level

这是基于符号逻辑的C源代码扫描器。它分析C源代码(尤其是针对Linux内核的源代码)的编程错误和漏洞。测试由用户定义。

本书有助于数学建模人员建立人口模型,免费提供公式

用户评论

请输入评论内容

评分：

暂无评论