Počet záznamů: 1
Úvod do logiky a metodologie deduktivních věd
Autor Tarski, Alfred, 1902-1983 (Autor) Název Úvod do logiky a metodologie deduktivních věd / Alfred Tarski ; z anglického originálu ... Introduction to logic and to the methodology of deductive sciences ... přeložil Pavel Materna Unif.název Introduction to logic and to the methodology of deductive sciences. Česky Další autor Materna, Pavel, 1930- (Překladatel) Další korp. Filozofický ústav (Československá akademie věd : 1953-1970) Vydání Vydání 1. Nakl.údaje Praha : Academia, nakladatelství Československé akademie věd, 1966 Fyz.popis 245 stran ; 8° Edice Filosofická knihovna Edice/záhl. Filosofická knihovna (Academia) Poznámky Poznámky. Jmenný a názvový rejstřík. Přebal a vazbu navrhl Miroslav Vystrčil. 3000 výtisků. Na patitulní straně: Československá akademie věd, Filosofický ústav ČSAV. DOKUMENT JE K DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ! Obsahuje bibliografii, bibliografické odkazy a rejstřík Předmět.hesla logika * formální logika * matematická logika * matematika Forma, žánr výklady Konspekt 510 - Obecné úvahy o matematice MDT 16 * 164 * 51 * 510.6 * (0.06) Anotace Práce polského logika, přeložená do mnoha jazyků, objasňuje nejdůležitější pojmy "matematické logiky". Ukazuje, že logické pojmy prostupují celek matematiky, že obsahují všechny specifické matematické pojmy jako své speciální případy a že logické zákony jsou stále aplikovány v matematických úsudcích. Posléze se snaží vyložit nejdůležitější zásady budování matematických teorií, tj. předmětu metodologie matematiky. Vysvětluje, jak si počínáme při aplikaci těchto zásad v praxi. Nepodává soustavný a přísně deduktivní výklad logiky (kromě dvou pasáží - o tradiční aristotelské logice) a nepojednává o problémech, jež náleží do tzv. logiky a metodologie empirických věd. Na konci každé kapitoly jsou připojena cvičení Země vyd. Česko Jazyk dok. čeština URL Digitalizovaný dokument Vlastník Kladno SVK Druh dok. Digitalizované dokumenty 
Počet záznamů: 1