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 2937543 obálek a 892723 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Co víte o moderní logice | |||||||||
Autor: Čechák, Vladimír, Berka, Karel a Zapletal, Ivo Digitální objekty
AnotacePopulárně vědecká práce, která představuje úvod do moderní formální logiky, se omezuje pouze na základní oblasti logiky, její pojmy, pravidla a zákony. Uvádí krátký historický nástin logiky, zabývá se výrokovou a predikátovou logikou, odvozováním, axiomatizací, základy teorie množin, přirozenou dedukcí a aplikací logiky v teorii rozhodování, v metodologii empirických věd a v teorii automatů. Zdroj anotace: Krajská knihovna Františka Bartoše ve Zlíně Dostupné zdroje
|