BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
309 users online, thereof 0 logged in

Preface Branches

The non-commercial open textbook BookOfProofs (BoP) was launched in February 2014. The site uses the axiomatic method to systematically derive the foundations of different branches of mathematics, computer sciences, and physics. In the meanwhile, the project offers thousands of definitions, theorems, proofs, and examples at undergraduate and university level.

All contents of the project are licensed under CC BY-SA 4.0 and are provided “AS IS”, without any warranty of any kind.

| | created: 2016-08-01 11:01:23 | modified: 2020-07-12 17:17:09 | by: bookofproofs

1.User Manual - Quick Reference

2.FPL - the Formal Proving Language

3.Introduction

4.Logic

5.Set Theory

6.Number Systems and Arithmetics

7.Algebra

8.Analysis

9.Topology

10.Geometry

11.Combinatorics and Discrete Mathematics

12.Probability Theory and Statistics

13.Number Theory

14.Graph Theory

15.Knot Theory

16.Game Theory

17.Theoretical Physics

18.Theoretical Computer Science

19.Riddles, Puzzles and Brain-Teasers

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

(none)