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 3147990 obálek a 950128 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Umíte logicky myslet?
Autor: Materna, Pavel
Rok: 1968
NKP-CNB: cnb000447763
OCLC Number: (OCoLC)42088742
OKCZID: 111047686
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
MATERNA, Pavel. Umíte logicky myslet?. 1. vyd. Praha: SPN, 1968, 131 s. Knižnice všeobec. vzdělání. Řada Horizont.
Digitální objekty
Anotace
V úvodních statích vysvětluje autor, co je věcná a formální správnost myšlení a jaké jsou jeho vztahy k jazyku a k formální logice. Pak přistupuje k problematice jazyka, pravdivosti výroků a k rozboru jednoduchých příkladů logického myšlení, k jejichž vyjádření použil symbolů matematické logiky. Postup formalizace teorie ukazuje na příkladu formalizace výrokové logiky. Přitom se nejprve vytváří tzv. formalizovaný jazyk, volí se výchozí aximy a stanoví se pravidla pro odvozování dalších formulí. Z příkladů v knize uvedených se čtenář poučí o charakteru dokazování jeho syntaktického postupu a o charakteru sémantického ověřování.
Zdroj anotace: Národní knihovna v Praze
