Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2893647 obálek a 874269 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
100% mathematical proof | |||||
|
|
Autor: Rowan Garnier, John Taylor Anotace"Proof" has been and remains one of the concepts which characterises mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated. The authors explore the principle techniques of direct and indirect proof including induction, existence and uniqueness proofs, proof by contradiction, constructive and non-constructive proofs, etc. Many examples from analysis and modern algebra are included. The exceptionally clear style and presentation ensures that the book will be useful and enjoyable to those studying and interested in the notion of mathematical "proof." Dostupné zdroje
|
| |||