Počet záznamů: 1
Umíte logicky myslet?
Materna, Pavel, 1930- - Autor
Vyd. 1. - Praha : Státní pedagogické nakladatelství, 1968 - 127 s.
HorizontSignatura C 65.083 Umístění Info *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM* Údaje o názvu Umíte logicky myslet? Záhlaví-jméno Materna, Pavel, 1930- (Autor) Údaje o vydání Vyd. 1. Vyd.údaje Praha : Státní pedagogické nakladatelství, 1968 Fyz.popis 127 s. Číslo nár. bibl. cnb000447763 Edice Knižnice všeobecného vzdělání. Horizont Země vyd. Česko Jazyk dok. čeština Druh dok. KNIHY 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 ČRNačítání…
Počet záznamů: 1