Proofs

In mathematics, a proof is a deductive argument for a mathematical statement.

All categoriesBooks under this sub-category (11 books)

Advances in Proof-Theoretic Semantics

A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.

Advances in Proof-Theoretic Semantics

A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.

An Introduction to Proofs and the Mathematical Vernacular

This textbook helps students make the transition from being a user of mathematics to someone who can critically read and evaluate mathematical statements and being able to write mathematical explanations in clear, logically precise language.

An Introduction to Proofs and the Mathematical Vernacular

This textbook helps students make the transition from being a user of mathematics to someone who can critically read and evaluate mathematical statements and being able to write mathematical explanations in clear, logically precise language.

Building Blocks for Theoretical Computer Science (Version 1.3)

This book teaches you how to read and write mathematical proofs. It also gives a brief introduction to some key topics in theoretical computer science: algorithm analysis and complexity, automata theory, and computability.

Building Blocks for Theoretical Computer Science (Version 1.3)

This book teaches you how to read and write mathematical proofs. It also gives a brief introduction to some key topics in theoretical computer science: algorithm analysis and complexity, automata theory, and computability.

Discrete Mathematics, Second Edition

A book about discrete mathematics which also discusses mathematical reasoning and logic.

Discrete Mathematics, Second Edition

A book about discrete mathematics which also discusses mathematical reasoning and logic.

Logic For Computer Science - Foundations of Automatic Theorem Proving

An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.

Logic For Computer Science - Foundations of Automatic Theorem Proving

An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.

Mathematical Reasoning: Writing and Proof, Version 2.1

This textbook is designed for the first course in the college mathematics curriculum that introduces students to the process of constructing and writing proofs.

Mathematical Reasoning: Writing and Proof, Version 2.1

This textbook is designed for the first course in the college mathematics curriculum that introduces students to the process of constructing and writing proofs.

Mathematics for Computer Science

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods.

Mathematics for Computer Science

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods.

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

A comprehensive introduction to Multiagent Systems, this textbook is written from a computer science perspective, while bringing together ideas from operations research, game theory, economics, logic, and even philosophy and linguistics.

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

A comprehensive introduction to Multiagent Systems, this textbook is written from a computer science perspective, while bringing together ideas from operations research, game theory, economics, logic, and even philosophy and linguistics.

An introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra.

An introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra.

Philosophy of Computer Science: An Introductory Course

A textbook on the philosophy of computer science. It is based on a course the author created for the Department of Computer Science and Engineering and the Department of Philosophy at the State University of New York at Buffalo.

Philosophy of Computer Science: An Introductory Course

A textbook on the philosophy of computer science. It is based on a course the author created for the Department of Computer Science and Engineering and the Department of Philosophy at the State University of New York at Buffalo.

Proofs and Concepts: The Fundamentals of Abstract Mathematics

This textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics.

Proofs and Concepts: The Fundamentals of Abstract Mathematics

This textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics.

Book Categories

Computer Science
16
Introduction to Computer Science
32
Introduction to Computer Programming
52
Algorithms and Data Structures
25
Artificial Intelligence
24
Computer Vision
31
Machine Learning
6
Neural Networks
22
Game Development and Multimedia
25
Data Communication and Networks
5
Coding Theory
16
Computer Security
9
Information Security
35
Cryptography
3
Information Theory
17
Computer Organization and Architecture
22
Operating Systems
2
Image Processing
11
Parallel Computing
4
Concurrent Programming
24
Relational Database
3
Document-oriented Database
14
Data Mining
17
Big Data
18
Data Science
23
Digital Libraries
22
Compiler Design and Construction
26
Functional Programming
13
Logic Programming
27
Object Oriented Programming
22
Formal Methods
71
Software Engineering
3
Agile Software Development
7
Information Systems
5
Geographic Information System (GIS)

Mathematics
68
Mathematics
14
Algebra
1
Abstract Algebra
27
Linear Algebra
3
Number Theory
8
Numerical Methods
2
Precalculus
10
Calculus
3
Differential Equations
5
Category Theory
11
Proofs
20
Discrete Mathematics
24
Theory of Computation
15
Graph Theory
2
Real Analysis
1
Complex Analysis
15
Probability
48
Statistics
7
Game Theory
5
Queueing Theory
13
Operations Research
16
Computer Aided Mathematics

Supporting Fields
21
Web Design and Development
1
Mobile App Design and Development
28
System Administration
2
Cloud Computing
12
Electric Circuits
7
Embedded System
28
Signal Processing
4
Network Science
3
Project Management

Operating System
Programming/Scripting
6
Ada
13
Assembly
34
C / C++
8
Common Lisp
2
Forth
35
Java
13
JavaScript
1
Lua
15
Microsoft .NET
1
Rexx
12
Perl
6
PHP
69
Python
12
R
1
Rebol
13
Ruby
2
Scheme
3
Tcl/Tk

Miscellaneous
Most Popular Books

402,655
Introduction to Objective Caml
216,092
Notes for the Course of Algorithms
188,196
Lessons In Electric Circuits
171,336
A Beginners C++
134,819
Introduction to Object-Oriented Programming Using C++
127,103
A Short Introduction to Operating Systems
125,834
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
122,118
Programming The Nintendo Game Boy Advance: The Unofficial Guide
117,506
C Programming Tutorial (K&R version 4)
116,675
Computer Organization and Design Fundamentals