Proofs

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

All categories

Books under this sub-category (11 books)

Advances in Proof-Theoretic Semantics

Post date: 26 Apr 2017
A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher: Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
 
Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Post date: 26 Apr 2017
A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher: Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported Document Type: Book


An Introduction to Proofs and the Mathematical Vernacular

Post date: 20 Dec 2016
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.
Publication date: 07 Dec 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Textbook
 
An Introduction to Proofs and the Mathematical Vernacular

An Introduction to Proofs and the Mathematical Vernacular

Post date: 20 Dec 2016
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.
Publication date: 07 Dec 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States Document Type: Textbook


Building Blocks for Theoretical Computer Science (Version 1.3)

Post date: 11 May 2016
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.
Publication date: 01 Jan 2013
 
Building Blocks for Theoretical Computer Science (Version 1.3)

Building Blocks for Theoretical Computer Science (Version 1.3)

Post date: 11 May 2016
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.
Publication date: 01 Jan 2013


Discrete Mathematics, Second Edition

Post date: 13 Jul 2016
A book about discrete mathematics which also discusses mathematical reasoning and logic.
Publication date: 22 Apr 2016
 
Discrete Mathematics, Second Edition

Discrete Mathematics, Second Edition

Post date: 13 Jul 2016
A book about discrete mathematics which also discusses mathematical reasoning and logic.
Publication date: 22 Apr 2016


Introduction to Modern Algebra

Post date: 07 Mar 2021
A textbook for Math 225 Modern Algebra Course in Department of Mathematics and Computer Science at Clark University.
Publication date: 05 Dec 2017
Document Type: Textbook
 
Introduction to Modern Algebra

Introduction to Modern Algebra

Post date: 07 Mar 2021
A textbook for Math 225 Modern Algebra Course in Department of Mathematics and Computer Science at Clark University.
Publication date: 05 Dec 2017
Document Type: Textbook


Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook
 
Logic For Computer Science - Foundations of Automatic Theorem Proving

Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook


Mathematical Reasoning: Writing and Proof, Version 2.1

Post date: 16 Nov 2016
This textbook is designed for the first course in the college mathematics curriculum that introduces students to the process of constructing and writing proofs.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 11 Jun 2014
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Textbook
 
Mathematical Reasoning: Writing and Proof, Version 2.1

Mathematical Reasoning: Writing and Proof, Version 2.1

Post date: 16 Nov 2016
This textbook is designed for the first course in the college mathematics curriculum that introduces students to the process of constructing and writing proofs.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 11 Jun 2014
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported Document Type: Textbook


Mathematics for Computer Science

Post date: 25 Jun 2016
This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods.
Publication date: 05 Jun 2017
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
 
Mathematics for Computer Science

Mathematics for Computer Science

Post date: 25 Jun 2016
This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods.
Publication date: 05 Jun 2017
License: Creative Commons Attribution-ShareAlike 3.0 Unported Document Type: Textbook


Notes on Discrete Mathematics

Post date: 14 Jul 2016
An introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra.
Publication date: 31 Dec 2020
License: Creative Commons Attribution-ShareAlike 4.0 International
Document Type: Lecture Notes
 
Notes on Discrete Mathematics

Notes on Discrete Mathematics

Post date: 14 Jul 2016
An introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra.
Publication date: 31 Dec 2020
License: Creative Commons Attribution-ShareAlike 4.0 International Document Type: Lecture Notes


Philosophy of Computer Science: An Introductory Course

Post date: 26 Jun 2016
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.
Publication date: 14 Jun 2016
Document Type: Textbook
 
Philosophy of Computer Science: An Introductory Course

Philosophy of Computer Science: An Introductory Course

Post date: 26 Jun 2016
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.
Publication date: 14 Jun 2016
Document Type: Textbook


Proofs and Concepts: The Fundamentals of Abstract Mathematics

Post date: 31 Aug 2016
This textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics.
Publication date: 01 Nov 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 2.0 Generic
Document Type: Textbook
 
Proofs and Concepts: The Fundamentals of Abstract Mathematics

Proofs and Concepts: The Fundamentals of Abstract Mathematics

Post date: 31 Aug 2016
This textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics.
Publication date: 01 Nov 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 2.0 Generic Document Type: Textbook


Book Categories
Sponsors