社区首页
博客
论坛
文库
评测
芯语
活动
商城
更多
社区
论坛
博客
问答
评测中心
面包芯语
E币商城
社区活动
资讯
电子工程专辑
国际电子商情
电子技术设计
CEO专栏
eeTV
EE|Times全球联播
资源
在线研讨会
视频
白皮书
小测验
供应商资源
ASPENCORE Studio
EE直播间
活动
IIC Shanghai 2023
2023(第四届)国际 AIoT 生态发展大会
全球 MCU 生态发展大会
第四届临港半导体产业高峰论坛暨司南科技奖颁奖盛典
IIC Shenzhen 2023
第四届中国国际汽车电子高峰论坛
更多活动预告
杂志与服务
免费订阅杂志
电子工程专辑电子杂志
电子技术设计电子杂志
国际电子商情电子杂志
社区每月抽奖
登录|注册
帖子
帖子
博文
电子工程专辑
电子技术设计
国际电子商情
资料
白皮书
研讨会
芯语
文库
首页
分类
专题
技术白皮书
电子杂志
帮助
创建专题
上传文档
我的上传
我的下载
我的收藏
登录
下载首页
分类
专题
技术白皮书
帮助
面包板社区
博客
论坛
E币商城
面包芯语
帖子
帖子
博文
资料
资料
专题
热门搜索:
python
HarmonyOS
嵌入式
电源
C语言
华为
电子竞赛
单片机
PCB
首页
分类列表
基础知识
书籍
面向计算机科学的数理逻辑:系统建模与推理
推荐星级:
类别:
基础知识
时间:2022-07-06
大小:11.82MB
阅读数:506
上传用户:
西风瘦马
查看他发布的资源
下载次数
11
所需E币
1
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
资料介绍
面向计算机科学的数理逻辑:系统建模与推理(第2版)[(德)Michael.Huth (英)Mark.Ryan].pdf
展开阅读全文
所属专题
计算机编程书籍
展开资源列表
高清书籍,PDF 下载
MATLAB数值计算[(美)Cleve.B.Moler].pdf
离散数学(第5版)
离散数学导学[(英)Andrew.Simpson].pdf
离散数学及其应用(本科教学版)
离散数学及其应用(第5版)
离散数学及其应用(第6版)[(美)Kenneth.H.Rosen].pdf
面向计算机科学的数理逻辑:系统建模与推理
应用逻辑(第2版)
组合数学(第4版)
计算机算法(C++版)
计算机算法的设计与分析[(美)
数据结构(C语言版)
数据结构:Java语言描述(第3版)[(美)Michael.Main].pdf
数据结构:从应用到实现(Java版)[(美)Sesh.Venugopal].pdf
数据结构与STL[(美)William.J.Collins].pdf
数据结构与算法(Java语言版)[(美)Adam.Drozdek].pdf
数据结构与算法分析:C语言描述(第2版)[(美)Mark.Allen.Weiss].pdf
数据结构与算法分析:Java语言描述(第2版)[(美)Mark.Allen.Weiss].pdf
算法:C语言实现(第1-4部分)基础知识、数据结构、排序及搜索
算法:C语言实现(第5部分)图算法(第3版)[(美)Robert.Sedgewick].pdf
算法导论(第2版)
算法导论(第3版)
算法分析导论[(美)
算法设计与分析导论
计算复杂性:现代方法[(美)Sanjeev.Arora Boaz.Barak].pdf
计算复杂性[(美)Christos.H.Papadimitriou].pdf
计算理论导引(第2版)[(美)Michael.Sipser].pdf
计算理论导引[(美)Michael.Sipser].pdf
形式语言与自动机导论(第3版)[(美)Peter.Linz].pdf
语言与机器:计算机科学理论导论
自动机理论、语言和计算导论(第2版)
编程原本[(美)Alexander.Stepanov Paul.McJones].pdf
程序设计语言原理(第8版)[(美)Robert.W.Sebesta].pdf
计算机程序的构造和解释(第2版)
计算机科学
数理
逻辑
系统建模
推理
0
收藏
举报
版权说明:本资料由用户提供并上传,仅用于学习交流;若内容存在侵权,请进行举报,或
联系我们
删除。
PARTNER CONTENT
换一换>
更多>
新蓝牙6.0协议扩展应用范围
Silicon Labs(芯科科技)蓝牙产品经理Parker Dorris
2024-12-16
概伦电子:以开放心态共绘EDA产业新蓝图
概伦电子
2024-12-30
SK海力士开发出适用于AI数据中心的高容量固态硬盘‘PS1012 U.2’
SK海力士
2024-12-18
相关评论
(下载后评价送E币
我要评论
)
发送
取消
没有更多评论了
加载更多评论
可能感兴趣
关注本资料的网友还下载了
技术白皮书
新概念模拟电路-运放电路的频率特性和滤波器
所需E币:1
时间:2019-05-22
大小:8.47MB
上传者:
牛渔曦
立即下载
LED路灯光照强度自适应控制方法
所需E币:1
时间:2019-05-23
大小:1.94MB
上传者:
curton
立即下载
74HC4511
所需E币:1
时间:2019-05-22
大小:129.64KB
上传者:
lyyinhe_xi
立即下载
车内噪声主动控制算法研究
所需E币:1
时间:2019-05-23
大小:1.86MB
上传者:
curton
立即下载
基于区间二型模糊摩擦补偿的鲁棒自适应控制
所需E币:1
时间:2019-05-28
大小:1.49MB
上传者:
curton
立即下载
输入受限的非仿射无人帆船航向系统自适应动态面控制
所需E币:1
时间:2019-05-24
大小:601.62KB
上传者:
curton
立即下载
《电力电子器件及其应用》-宋昌才-化学工业出版社-2009.09
所需E币:1
时间:2019-06-18
大小:5.04MB
上传者:
JC丶
立即下载
安富莱_STM32-V5开发板_DSP教程
所需E币:0
时间:2019-05-24
大小:16.7MB
上传者:
xld0932
立即下载
阿里技术参考图册-算法篇
所需E币:1
时间:2019-05-24
大小:27.4MB
上传者:
xld0932
立即下载
程序设计与数据结构
所需E币:0
时间:2020-01-03
大小:25.81MB
上传者:
xld0932
立即下载
uC/GUI_Embedded Graphical User Interface User's Manual V5.26.00
所需E币:1
时间:2019-05-24
大小:12.86MB
上传者:
xld0932
立即下载
uT/OS开源实时嵌入式操作系统内核源代码V1.7.00
所需E币:1
时间:2019-05-24
大小:16.41MB
上传者:
xld0932
立即下载
图灵电子与电气工程丛书-无线通信基础
所需E币:1
时间:2019-05-24
大小:32.03MB
上传者:
牛渔曦
立即下载
5-S7软件基础
所需E币:0
时间:2019-05-27
大小:2.04MB
上传者:
崴
立即下载
7-S7_程序设计2
所需E币:0
时间:2019-05-27
大小:3.12MB
上传者:
崴
立即下载
轻轻松松学电工:电路篇
所需E币:5
时间:2019-05-27
大小:39.48MB
上传者:
牛渔曦
立即下载
轻轻松松学电工:识图篇
所需E币:5
时间:2019-05-27
大小:38.44MB
上传者:
牛渔曦
立即下载
轻轻松松学电工:应用篇
所需E币:5
时间:2019-05-27
大小:30.52MB
上传者:
牛渔曦
立即下载
电感&抗干扰元件指南
所需E币:2
时间:2019-05-27
大小:9.97MB
上传者:
Elearch
立即下载
运放参数的详细解释和分析-合集(1-25)
所需E币:2
时间:2019-05-27
大小:5.44MB
上传者:
Elearch
立即下载
一种超低功耗全CMOS基准电路
所需E币:3
时间:2019-05-27
大小:1.89MB
上传者:
royalark_912907664
立即下载
整车原理设计规范
所需E币:1
时间:2019-05-27
大小:721.64KB
上传者:
四季豆
立即下载
Python地理空间分析指南第2版.pdf
所需E币:1
时间:2019-05-27
大小:12.48MB
上传者:
我的果果超可爱
立即下载
Python高级编程(清华).pdf
所需E币:1
时间:2019-05-27
大小:36.35MB
上传者:
我的果果超可爱
立即下载
Python数据分析基础教程:NumPy学习指南(第2版).pdf
所需E币:1
时间:2019-05-27
大小:5.54MB
上传者:
我的果果超可爱
立即下载
Scikit-Learn_教學:Python_與機器學習_(Article).pdf
所需E币:1
时间:2019-05-27
大小:1.85MB
上传者:
我的果果超可爱
立即下载
基于ZigBee网络的室内定位系统的设计与实现
所需E币:1
时间:2019-05-27
大小:274.22KB
上传者:
牛渔曦
立即下载
从零开始学电气控制与PLC技术.高广海.李凤伟.鲁金
所需E币:1
时间:2019-05-27
大小:31.85MB
上传者:
追忆流年寻梦少年
立即下载
历届全国大学生电子设计竞赛获奖作品选编
所需E币:5
时间:2019-05-28
大小:17.78MB
上传者:
牛渔曦
立即下载
基于Python实现的微信好友数据分析
所需E币:1
时间:2019-05-28
大小:1.86MB
上传者:
我的果果超可爱
立即下载
深入Python3中文版
所需E币:1
时间:2019-05-28
大小:4.76MB
上传者:
我的果果超可爱
立即下载
Advanced-Python-for-Biologists
所需E币:0
时间:2019-05-28
大小:886.3KB
上传者:
我的果果超可爱
立即下载
ArcGIS-Blueprints-Explore-the-robust-features-of-Python-to-create-real-world-ArcGIS-applications-through-exciting-hands- ...
所需E币:0
时间:2019-05-28
大小:26.8MB
上传者:
我的果果超可爱
立即下载
Arun Teaches Python A Step by Step Guide to Programming in Python
所需E币:0
时间:2019-05-28
大小:1.8MB
上传者:
我的果果超可爱
立即下载
A-Whirlwind-Tour-of-Python.pdf
所需E币:0
时间:2019-05-28
大小:3.32MB
上传者:
我的果果超可爱
立即下载
AD0809在数据采集中的应用
所需E币:2
时间:2019-05-28
大小:103.84KB
上传者:
feiniao2008
立即下载
Building Python Real-Time Applications with Storm - Kartik Bhatnagar.pdf
所需E币:0
时间:2019-05-28
大小:2.62MB
上传者:
我的果果超可爱
立即下载
Building-RESTful-Python-Web-Services.pdf
所需E币:0
时间:2019-05-28
大小:10.93MB
上传者:
我的果果超可爱
立即下载
Coding_the_Matrix__Linear_Algeb_-_Philip_Klein.pdf
所需E币:0
时间:2019-05-28
大小:8.7MB
上传者:
我的果果超可爱
立即下载
开关电源拓扑与原理
所需E币:1
时间:2019-05-28
大小:17.22MB
上传者:
hujia19851111_481538516
立即下载
更多资源
点击登录
全站已有
275870
份文档
上传我的文档
热门资料
基础知识
电源/功率
PCB
单片机/嵌入式
FPGA
模拟/数字
处理器/DSP
传感器
测试测量
通信/RF/网络
软件/EDA/IP
采购/供应链/管理
问答互动,点亮电子技术新火花!
2024面包板原创奖励活动
【直播】3D磁传感器的汽车安全应用方案
【直播】深度分析汽车智能座舱域控制器
【直播】精密半导体参数测试解决方案
一次集齐!热门下载资料Top100
推荐白皮书
1
毫米波转换器方案评估
2
基于ADI最新射频器件的5G毫米波基站和NTN地面终端平台方案-睿查森电子演讲PPT资料
3
未来智能工业现场的关键技术
4
利用降噪技术改善开关模式电源
5
为智能工厂提供的解决方案
6
mPower基础:全新电源完整性设计方案
7
ADC和音频测试的全新方案
8
超详细指南:数字预失真故障排除和微调
热门专题
1
常用封装尺寸资料
2
单片机管理技术
3
一次集齐!2023热门下载资料Top100
4
单片机管理技术
5
电源资料
6
DSP控制资料的介绍
7
关于CPLD及EDA设计资料集合
8
关于嵌入式开发必备的综合性资料
下载排行榜
本周
本月
本年
用户贡献榜
本周
本月
本年
EE直播间
更多
精密半导体参数测试解决方案
直播时间: 01月08日 10:00
第三代功率半导体器件测试解决方案
直播时间: 03月06日 10:00
在线研讨会
更多
多路有光·精准不凡——KSW-SGM01模拟信号源发布会
重塑机器人未来:揭秘创新芯片解决方案的颠覆力量
迈来芯Triaxis® 3D磁传感器:汽车安全应用的优选方案
适用于安全连接的新一代PIC32CK SG/GC系列单片机
×
举报
报错
恶意重复上传
无法下载或打开失败
资源不完整或内容不详
恶意重复上传骗E币
资源E币售价虚高
标题与资源内容不符
含反动色情暴力或病毒
广告垃圾内容
版权问题,侵犯版权
其他
举报说明
上传
本网页已闲置超过10分钟,按键盘任意键或点击空白处,即可回到网页
X
最新资讯
升压转换器的输出范围该怎么增加?
英伟达50系列显卡发布,RTX 5090D近乎“零提升”?
哪吒汽车官网突发崩溃,正遭遇连环危机
ECIA:2025年1月电子元件销售热情有所提升
小米超级电机V8s项目组获“千万技术大奖”,背后有什么黑科技?