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 2932244 obálek a 890311 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Jaká je logická výstavba matematiky? | ||||||
Autor: Katětov Miroslav Digitální objekty
AnotaceKnížka je určena každému, kdo se zajímá o logickou stavbu a základy matematiky a o začátky moderní matematické logiky. Aniž předpokládala zvláštních věcných znalostí, navazujíc na tradiční středoškolskou logiku, přibližuje čtenáři výraz a methodu logiky moderní. V podstatě jde o řešení dvou otázek: jak se odvozují matematické věty a jaké jsou logické základy matematiky. Probírá spojování výroků, výrokové vzorce, obecné a existenční výroky, logickou dedukci adruhy důkazů, některé matematické pojmy (množina, vztah, zobrazení, funkce), definice a jejich vlastnosti i systémy axiomů a požadavky, jež na ně klademe. Zdroj anotace: NK ČR |