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 2963929 obálek a 905235 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logika pro všechny ochotné myslet | |||||||||||||||||||||||
|
|
Rok: 2011
Hodnocení: AnotaceZájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širšíveřejnosti, je určena publikace přibližující základy logiky v její moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s logikou jako vědním oborem. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také se zkoumáním vlastností axiomatických teorií či rozborem Gödelových vět o neúplnosti. Přední český matematik RNDr. Antonín Sochor, DrSc., se zabýval matematickou logikou a teorií množin, později spolupracoval na rozvoji Vopěnkovy alternativní teorie množin a souvisejících otázek z tzv. nestandardní analýzy. Jeho monografie Klasická matematická logika (2001) a Metamatematika teorií množin (2006) patří u nás k základům moderní univerzitní výuky matematické logiky. Z úvodu Publikace: Logika pro všechny ochotné myslet - Sochor Antonín. Publikace: Logika pro všechny ochotné myslet - Sochor Antonín. Zdroj anotace: Web obalkyknih.cz Dostupné zdroje
|
| |||||||||||||||||||||
