Výsledky vyhľadávania
Názov Thinking About Gödel and Turing Podnázov essays on complexity, 1970-2007 Aut.údaje Gregory J Chaitin; with a foreword by Paul Davies Autor Chaitin Gregory John
Spoluautori Davies Paul
Vyd.údaje Hackensack : World Scientific Publishing , c2007. - xix, 347 s., 26 cm Vydanie [1st ed.] ISBN 978-981-270-896 Poznámka Bibliogr. odkazy Ďalšie variantné názvy Gödel and Turing Kľúč.slová matematika - mathematics Gödelove vety Gödel’s theorems metamathematics výpočtová zložitosť - computational complexity Jazyk dok. angličtina Krajina Spojené štáty Systematika 511.3 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 300665 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Ani matematika si nemôže byť istá sama sebou Podnázov Úvahy o množinách, nekonečne, paradoxoch a Gödelových vetách Aut.údaje Pavol Zlatoš Autor Zlatoš Pavol
Vyd.údaje Bratislava : IRIS , 1995. - 208 s. Vydanie 1. vyd. ISBN 80-88778-09-3 Kľúč.slová matematika - mathematics Gödelove vety Jazyk dok. slovenčina Krajina Slovenská republika Systematika 510.6 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 3, z toho voľných 0, prezenčne 3 Signatúra Lokácia Dislokácia Umiestnenie Info 224292 Univerzita Mateja Bela FP Katedra matematiky len prezenčne 228907 Univerzita Mateja Bela FP Katedra matematiky len prezenčne 2313 Univerzita Mateja Bela EF Katedra kvantitatívnych metód a informačných systémov len prezenčne Názov Gödel's Incompleteness Theorems Aut.údaje Raymond M. Smullyan Preklad názvu podnázvu : Gödelsova veta o neúplnosti Autor Smullyan Raymond Merril
Vyd.údaje New York : Oxford University Press , 1992. - 139 s. Vydanie 1st ed. ISBN 0-19-504672-2 Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Gödelove vety Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.21 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 233691 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov On Formally Undecidable Propositions of Principia Mathematica and Related systems Aut.údaje Kurt Gödel; Translated by B. Meltzer; Introduction by R.B. Braithwaite Autor Gödel Kurt
Spoluautori Meltzer B
Braithwaite R.B
Vyd.údaje New York : Dover Publications, INC. , 1992. - 72 s. Vydanie 1. ed. ISBN 0-486-66980-7 Kľúč.slová matematika - mathematics Gödelove vety Jazyk dok. angličtina Krajina Spojené štáty Systematika 511.3=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 234825 Univerzita Mateja Bela FP Katedra matematiky len prezenčne