Umíte logicky myslet?
131 stran, brožovaná, 1.vydání
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 astanoví 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í.
Autor: Materna Pavel
Vydal: SPN
Rok vydání: 1968
Dostupnost: Prodáno
Kód zboží: 26015
Stav:
Cena: 60,-