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.

Introduction to Modern Algebra

A textbook for Math 225 Modern Algebra Course in Department of Mathematics and Computer Science at Clark University.

Introduction to Modern Algebra

A textbook for Math 225 Modern Algebra Course in Department of Mathematics and Computer Science at Clark University.

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.

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
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)

Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics

Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management

Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Rexx
Microsoft .NET
Perl
PHP
R
Python
Rebol
Ruby
Scheme
Tcl/Tk

Miscellaneous
Most Popular Books

425,335
Introduction to Objective Caml
240,240
Notes for the Course of Algorithms
229,053
Lessons In Electric Circuits
204,315
[No longer available] A Beginners C++
158,656
Introduction to Object-Oriented Programming Using C++
155,865
A Short Introduction to Operating Systems
154,220
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
150,849
C Programming Tutorial (K&R version 4)
148,407
Computer Organization and Design Fundamentals
144,364
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors