A Practical Guide To Mizar/Preface

This book is mainly aimed at beginners in Mizar, but can also be used as a reference book. It contains an overview of the Mizar Syntax as well as an introduction to the Mizar Mathematical Library in many different mathematical fields. A basic understanding of logic is required. However, the mathematical concepts will be explained. Exercises are provided as well.

How to read this Book

If you already installed Mizar on your system successfully, you can skip the Installation chapter. The Environment, Syntax and Sets, Relations and Functions, Numbers, Structures should be read in that order. One-dimensional Calculus and Linear Algebra are independent of each other but depend on the previous chapters. Multi-dimensional Calculus depends on them both. Probability Theory and Topology are independent of each other but depend on the previous chapters. Graph Theory is largely independent of any chapter after Numbers. Bibliography contains references and links for further reading.