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.
Editor(s): Thomas Piecha Peter Schroeder-Heister
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
Tags: Proofs Statistics
 
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.
Editor(s): Thomas Piecha Peter Schroeder-Heister
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
Tags: Proofs Statistics


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.
Author(s): Martin V. Day
Publication date: 07 Dec 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Textbook
Tags: Proofs
 
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.
Author(s): Martin V. Day
Publication date: 07 Dec 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Textbook
Tags: Proofs


Building Blocks for Theoretical Computer Science (Version 1.3)

Post date: 10 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.
Author(s): Margaret M. Fleck
Publication date: 01 Jan 2013
Tags: Proofs Theory of Computation
 
Building Blocks for Theoretical Computer Science (Version 1.3)

Building Blocks for Theoretical Computer Science (Version 1.3)

Post date: 10 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.
Author(s): Margaret M. Fleck
Publication date: 01 Jan 2013
Tags: Proofs Theory of Computation


Discrete Mathematics, Second Edition

Post date: 13 Jul 2016
A book about discrete mathematics which also discusses mathematical reasoning and logic.
Author(s): Jean H. Gallier
Publication date: 22 Apr 2016
Tags: Discrete Mathematics Proofs
 
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.
Author(s): Jean H. Gallier
Publication date: 22 Apr 2016
Tags: Discrete Mathematics Proofs


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.
Author(s): Jean H. Gallier
Publication date: 30 Nov -0001
Tags: Logic Programming Proofs
 
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.
Author(s): Jean H. Gallier
Publication date: 30 Nov -0001
Tags: Logic Programming Proofs


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.
Author(s): Ted Sundstrom
Publication date: 11 Jun 2014
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Textbook
Tags: Proofs
 
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.
Author(s): Ted Sundstrom
Publication date: 11 Jun 2014
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Textbook
Tags: Proofs


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.
 
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.

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

Post date: 19 Dec 2016
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.
Author(s): Kevin Leyton-Brown Yoav Shoham
Publication date: 15 Dec 2008
Document Type: Textbook
Tags: Game Theory Operations Research Proofs
 
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

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

Post date: 19 Dec 2016
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.
Author(s): Kevin Leyton-Brown Yoav Shoham
Publication date: 15 Dec 2008
Document Type: Textbook
Tags: Game Theory Operations Research Proofs


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.
Author(s): James Aspnes
Publication date: 19 Mar 2016
Tags: Discrete Mathematics Linear Algebra Proofs
 
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.
Author(s): James Aspnes
Publication date: 19 Mar 2016
Tags: Discrete Mathematics Linear Algebra Proofs


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.
 
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.

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.
Author(s): Dave Witte Morris Joy Morris
Publication date: 01 Nov 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 2.0 Generic
Document Type: Textbook
Tags: Proofs
 
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.
Author(s): Dave Witte Morris Joy Morris
Publication date: 01 Nov 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 2.0 Generic
Document Type: Textbook
Tags: Proofs


Book Categories