Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 29.10.2016. Zobrazit aktuální podobu v katalogu.

Bibliografická citace

.
0 (hodnocen0 x )
(5) Půjčeno:5x 
BK
Vyd. 1.
Brno : Vutium, 2003
126 s.

objednat
ISBN 80-214-2369-2 (váz.)
Quantum ; 1
Obsahuje rejstřík
Logika matematická - Gödelova věta - pojednání
000037932
Jan Novotný: Předmluva k prvnímu českému vydání // Douglas R. Hotstadter: Předmluva k upravenému vydání // Poděkování autorů knihy // I Úvod // II Problém bezespornosti // III Absolutní důkazy bezespornosti // IV Systematická kodifikace formální logiky // V Příklad vydařeného absolutního důkazu bezespornosti // VI Idea zobrazení a její využití v matematice // VII Gödelovy důkazy // A Godelovo číslování В Aritmetizace metamatematiky С Jádro Godelova argumentu // VIII Závěrečné úvahy Dodatky Literatura // Příloha (původní text VII kapitoly) // Gödelovy důkazy A Godelovo číslování В Aritmetizace metamatematiky С Jádro Godelova argumentu // Rejstřík

Zvolte formát: Standardní formát Katalogizační záznam Zkrácený záznam S textovými návěštími S kódy polí MARC