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



5.Set Theory

6.Number Systems and Arithmetics




10.Combinatorics and Discrete Mathematics

11.Probability Theory and Statistics

12.Number Theory

13.Graph Theory

14.Knot Theory

15.Game Theory

16.Theoretical Physics

17.Theoretical Computer Science

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