没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
a mathematical introduction to logic
a mathematical introduction to logic
mathematical
introduction
logic
需积分: 9
39 下载量
92 浏览量
2017-10-25
22:36:43
上传
评论
2
收藏
36.69MB
PDF
举报
温馨提示
立即下载
a mathematical introduction to logic cropped for kindle
资源推荐
资源评论
A mathematical introduction to logic
浏览:46
5星 · 资源好评率100%
A mathematical introduction to logic, 2nd edition, djvu format
Introduction to Mathematical Logic, Sixth Edition
浏览:24
5星 · 资源好评率100%
数理逻辑,经典本科教材,英文第六版,略讲二阶逻辑。
logic 2007 习题解答 12
浏览:89
第一章propositional logic和第二章predicate logic答案
Mathematical logic for computer science
浏览:149
5星 · 资源好评率100%
经典的面向计算机科学的逻辑学,这是第三版了!
Mathematical Logic-2nd-Ebbinghaus
浏览:150
5星 · 资源好评率100%
非常好的数理逻辑入门书籍,清晰明白。 比国内的中文书籍讲的好。
Lectures in Logic and Set Theory. Volume 1 -- Mathematical Logic.pdf
浏览:74
Lectures in Logic and Set Theory. Volume 1 -- Mathematical Logic.pdf
Mathematical Logic.pdf 高清
浏览:118
Mathematical Logic.pdf 高清 Joseph R. Shoenfield 英文
concise of mathematical logic
浏览:27
大学高级数理逻辑教程,包括一阶谓词逻辑,完全定理。
An introduction to logic programming through Prolog
浏览:45
4星 · 用户满意度95%
国外大学COMPUTER SCIENCE 专业三年级用书
A problem course in mathematical logic
浏览:89
A problem course in mathematical logic
数字逻辑 introduction to logic design PPT课件
浏览:100
《INTRODUCTION TO LOGIC DESIGN》(《逻辑设计基础》) 第五版的ppt课件 ,没有书上的习题。
A mathematical introduction to robotic manipulation
浏览:91
Presents a slightly more abstract (mathematical) formulation of the kinematics, dynamics, and control of robot manipulators. DLC: Robotics.
数理逻辑入门 A Friendly Introduction to Mathematical Logic
浏览:180
数理逻辑入门 A Friendly Introduction to Mathematical Logic
Introduction to Mathematical Logic
浏览:177
4星 · 用户满意度95%
Introduction to Mathematical Logic
数学逻辑入门(Vilnis Detlovs等)Introduction to Mathematical Logic (Vilnis Detlovs, et al)
浏览:93
本书探讨了数学逻辑的主要主题。 它涵盖命题逻辑,一阶逻辑,一阶数论,公理集理论和可计算性理论。 讨论Gödel,Church,Kleene,Rosser和Turing的主要结果。
友好的数学逻辑导论(Chris Leary)A Friendly Introduction to Mathematical Logic (Chris Leary)
浏览:101
在这本用户友好的书中,向没有进行过本领域研究的读者介绍了模型理论,证明理论和可计算性理论的基础知识,从而为戈德尔的第一和第二不完全性定理提供了严格的证明。
A.Course.in.Mathematical.Logic.for.Mathematicians.1441906142.pdf
浏览:43
5星 · 资源好评率100%
A.Course.in.Mathematical.Logic.for.Mathematicians.1441906142.pdf
Set theory and logic.pdf
浏览:164
Set theory and logic.pdf
Introduction to Logic Circuits Logic Design with Verilog
浏览:105
verilog逻辑设计国外经典书籍,适合数字IC工程师入门学习。
逻辑学导论(第十一版).pdf
浏览:95
此乃逻辑思想深入讲解的书籍,想要学编程也要把思想给学好 感谢原作者
A mathematical introduction to robotic Manipulation
浏览:158
A mathematical introduction to robotic Manipulation 旋量理论在机器人中的应用经典教程
(机器人数学基础)Murray_Li_Sastry_A mathematical introduction to robotic manipulation.pdf
浏览:39
(机器人数学基础)Murray_Li_Sastry_A mathematical introduction to robotic manipulation.pdf
An introduction to mathematical statistics and its applications, 5th
浏览:55
国外经典统计学习教材,Larsen and Marx,基本概念和实例讲解清楚,适合于自学。英文原版,有目录树!
Philosophical and Mathematical Logic (Springer原版超清)
浏览:132
2018 Release Finelybook 出版日期: 2018-11-28 pages 页数: (539 ) $49.99 This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the ...
CamBridge.3D.Computer Graphics.A.Mathematical.Introduction.with.OpenGL.2005
浏览:187
4星 · 用户满意度95%
A Mathematical Introduction with OpenGL This book is an introduction to 3-D computer graphics with particular emphasis on fundamentals and the mathematics underlying computer graphics. It includes ...
Introduction to Artificial Intelligence [2016]
浏览:167
4星 · 用户满意度95%
Introduction to Artificial Intelligence by Mariusz Flasiński 2016 | ISBN: 3319400207 | English | 321 pages | PDF | 6 MB In the chapters in Part I of this textbook the author introduces the ...
《计算理论书籍合集》(Computation Theory Book Collection)
浏览:105
01. A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Complexity - Shawn Hedman(djvu) 02. Advanced Complexity Theory Lctn - Madhu Sudan(pdf) 03. Algorithm and ..
A Modern Perspective on Type Theory
浏览:2
An Introduction to Mathematical Logic and Type Theory -- To Truth Through Proof ©2005 Springer Science + Business Media, Inc.
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
qq_40790657
粉丝: 0
资源:
4
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
eventemitter2.js
弱电通信工程FTTH(光纤入户)合同.doc
55555555555555
45454984984857484554
微服务系统和数据库设计方案.doc
Object-C语言教程.docx
微机接口习题解答.doc
基于EP4CE6E22C8 cyclone4 FPGA读写DS1302 RTC实验Verilog逻辑源码Quartus工程+文档
窗口的子类化与超类化原理及其实例
L08 单头输出原始数据程序.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功