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 2947403 obálek a 898210 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logika pro praxi | |||||||||
Autor: Zich, Otakar Digitální objekty
AnotaceZpůsob výběru látky ukazuje, že autor dává přednost algebraickým postupům symbolické logiky, které se už svou povahou výrazně odlišují od běžných způsobů myšlení v životní praxi. Vychází od výrokové logiky a problematikylogických formulí, zabývá se logikou predikátovou, logikou tříd a logikou relací. Probírá relace reflexívní, symetrické a tranzitivní, irreflexívní, asymetrické, intranzitivní a relace typu ekvivalence. Tento typ je důležitýtím, že umožňuje definovat nové objekty a dostává se do popředí nejen v různých vědních oborech, ale i v praktickém životě všude tam, kde jde o zjištění, mají-li dva výroky stejný smysl. Zdroj anotace: NK ČR Dostupné zdroje
|