没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
An Introduction to Proof Theory
An Introduction to Proof Theory
Proof
Theory
需积分: 10
17 下载量
54 浏览量
2009-08-29
08:18:34
上传
评论
收藏
631KB
PDF
举报
温馨提示
立即下载
An Introduction to Proof Theory
资源推荐
资源评论
Theory_An_Introduction.
浏览:158
Theory_An_Introduction.
An_Introduction_to_Game_Theory
浏览:96
An_Introduction_to_Game_Theory,2009 by Oxford University Press
Introduction to Decorrelation Theory
浏览:61
In order to make the decorrelation theory more easily accessable, here is an easy introduction. This "decorrelation manual" will be subject to frequent updates. (It is mainly under construction at thi
Introduction to Superstring Theory
浏览:128
Introduction to Superstring Theory Introduction to Superstring Theory Introduction to Superstring Theory
Estimation Theory - Introduction
浏览:166
Estimation Theory - Introduction
A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Complexity
浏览:13
5星 · 资源好评率100%
A first Course in An Introduction To Model Theory Proof Theory
An Introduction to Formal Language Theory that Integrates Experimentation and Proof
浏览:154
5星 · 资源好评率100%
An Introduction to Formal Language Theory that Integrates Experimentation and Proof
《计算理论书籍合集》(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 ..
Graph Theory and Complex Networks: An Introduction
浏览:42
5星 · 资源好评率100%
To motivate students and to show that even these basic notions can be extremely useful, the book also aims to provide an introduction to the modern field of network science. Mathematics is often ...
Introduction to Graph Theory
浏览:96
Introduction to Graph Theory Introduction to Graph Theory
Hypergraph Theory, An Introduction
浏览:164
4星 · 用户满意度95%
Hypergraph Theory, An Introduction
Introduction to Theory of Computation
浏览:153
This is a free textbook for an undergraduate course on the Theory of Computation, which we have been teaching at Carleton University since 2002.Until the 2011/2012 academic year, this course was offer
Introduction to Queueing Theory
浏览:99
5星 · 资源好评率100%
主要讲述排队论在数据网络中的应用,适合初学者。
A Modern Perspective on Type Theory
浏览:120
An Introduction to Mathematical Logic and Type Theory -- To Truth Through Proof ©2005 Springer Science + Business Media, Inc.
WaveletTheoryAnElementaryApproachwithApplications.PDF
浏览:96
Exploring the growing relevance of wavelets in the field of mathematics, Wavelet Theory: An Elementary Approach with Applications provides an introduction to the topic, detailing the fundamental ...
Charles.River.Media.Algorithms.and.Data.Structures.The.Science.of.Computing.2004.chm
浏览:95
5星 · 资源好评率100%
Chapter 3 - Proof: An Introduction to Theory Chapter 4 - Experimentation: An Introduction to the Scientific Method Part II - Program Design Chapter 5 - Conditionals Chapter 6 - Designing ...
Graph Theory 3E Adrian Bondy, U.S.R Murty
浏览:103
5星 · 资源好评率100%
"A text which is designed to be usable both for a basic graph theory course … but also to be usable as an introduction to research in graph theory, by including more advanced topics in each chapter...
算法导论--Introduction.to.Algorithms
浏览:48
5星 · 资源好评率100%
from classical algorithms in graph theory to special algorithms for string matching, computational geometry, and number theory. The revised third edition notably adds a chapter on van Emde Boas trees
Introduction to The Theory of Computation
浏览:12
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
Introduction to the Theory of Games
浏览:10
数学以及博弈论领域的经典著作,对博弈论有兴趣的不要错过啊
Introduction To The Theory Of Computation
浏览:57
Introduction To The Theory Of Computation
Automata Theory and its Applications
浏览:54
asks the reader to check the correctness of some segments of the proof. Most parts of this book have been taught in graduate and undergraduate courses for mathematics and computer science students at
Exploring Mathematics -- Problem-Solving and Proof, Springer 2018.pdf
浏览:59
Introduction Have you ever faced a mathematical problem and had no idea how to approach it? Or perhaps you had an idea but got stuck halfway through? This book guides you in developing your creativity
Advanced Mathematics Thinking
浏览:121
4星 · 用户满意度95%
This book is the first ... They provide a wide overview and an introduction to current thinking which is highly appropriate for the college professor in mathematics or the general mathematics educator
数论与特殊函数英文版 [吴振斌 著] 2011年版
浏览:184
thus a beginner reader can use this book as a quick introductionto complex analysis and special functions, and an advanced readercan use it as a source book of many research problems. e.g. in ...
understanding machine learning theory-algorithms
浏览:75
1 Introduction 19 1.1 What Is Learning? 19 1.2 When Do We Need Machine Learning? 21 1.3 Types of Learning 22 1.4 Relations to Other Fields 24 1.5 How to Read This Book 25 1.5.1 Possible Course Plans .
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
xzb000
粉丝: 0
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
一幅动图,搞定 Elasticsearch 核心基础原理!
南京市历史天气情况统计分析平台建设
EP4CE22F17C8+SDRAM+WM8731+HR911105A网口 cycloen4e fpga开发板硬件原理图PCB
斑马线人行横道检测数据集VOC+YOLO格式192张1类别.7z
从零开始,Windows系统安装MySQL 8.0.35全攻略.zip
MySQL 8.0.35安装与配置:Windows系统详细步骤.zip
基于深度学习的movielens推荐模型源代码+详细代码注释
Python面向对象 Python基础
ALU 课设支持各种运算
AS5600中文数据手册
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功