Výsledky vyhľadávania
Názov Writing proofs in analysis Aut.údaje Jonathan M. Kane Autor Kane Jonathan M.
Vyd.údaje [S.l.] : Springer , c2016. - xx, 347 s. : gr., obr., 24 cm ISBN 978-3-319-30965-1 Poznámka Bibliografia s. 341-342. Register Kľúč.slová matematika - mathematics matematická analýza - mathematical analysis matematické dôkazy - mathematical proofs vysokoškolské učebnice - učebnice vysokých škôl mathematical proofs university textbooks Jazyk dok. angličtina Krajina Švajčiarsko Systematika 51 517 51:168.3 (075.8) 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 362961 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov 50 visions of mathematics Aut.údaje edited by Sam Parc Ďalší autori Parc Sam (Editor)
Vyd.údaje Oxford : Oxford University Press , 2014. - ix; 198 s. : fotogr., obr., tab. Vydanie 1st ed. ISBN 978-0-19-870181-1 Poznámka Bibliografické odkazy Kľúč.slová matematika - mathematics aplikovaná matematika - applied mathematics matematické dôkazy - mathematical proofs mathematical proofs Jazyk dok. angličtina Krajina Veľká Británia Systematika 51 51-7 51:168.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 1 Signatúra Lokácia Dislokácia Umiestnenie Info 350939 Univerzita Mateja Bela UK Referát absenčných výpožičiek Názov Proofs and Refutations Podnázov The Logic of Mathematical Discovery Aut.údaje Imre Lakatos Preklad názvu podnázvu : Dôkazy a omyly Autor Lakatos Imre
Vyd.údaje Cambridge : Cambridge University Press , 1999. - 174 s. ISBN 0-521-29038-4 Kľúč.slová matematika - mathematics logika - logic matematické dôkazy - mathematical proofs Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=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 235963 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov How to Prowe It Podnázov A Structured Approach Aut.údaje Daniel J, Velleman Preklad názvu podnázvu : Ako dokazovať: štrukturovaný prístup Autor Velleman Daniel J.
Vyd.údaje Cambridge : Cambridge University Press , 1998. - 309 s. Vydanie 1. ed. ISBN 0-521-44663-5 Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Jazyk dok. angličtina Krajina Veľká Británia Systematika 510.6=111 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 233285 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov One Hundred Mathematical Proof Aut.údaje Rowan Garnier, John Taylor Preklad názvu podnázvu : Stopercentný matematický dôkaz Autor Garnier Rowan
Spoluautori Taylor John
Vyd.údaje Chichester : John Wiley & sons , 1996. - 317 s. : il. Vydanie 1st ed. ISBN 0-471-96199-X Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=111 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 233286 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Proofs without words Aut.údaje Roger B. Nelsen Preklad názvu podnázvu : Dôkazy bez slov Autor Nelsen Roger B.
Vyd.údaje [s.l.] : The Mathematical Associations of America , 1994. - 152 s. Vydanie 1st ed. ISBN 0-88385-700-6 Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Jazyk dok. angličtina Krajina Spojené štáty Systematika 51=111 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 234493 Univerzita Mateja Bela FP Katedra matematiky 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 Formal Development of Programs and Proofs Aut.údaje Edger W. Dijkstra Autor Dijkstra Edger W.
Vyd.údaje Reading : Addison-Wesley , 1990. - 242 s. Vydanie [1st ed.] ISBN 0-201-17237-2 Kľúč.slová programovanie - programming matematické dôkazy - mathematical proofs binárne stromové modely Möbiova postupnosť Jazyk dok. angličtina Krajina Spojené štáty Systematika 681.3.06=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 210212 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Začem i kak my dokazyvajem v matematike Aut.údaje A.A. Stoľar Preklad názvu podnázvu : Prečo a ako dokazujeme v matematike Autor Stoľar A. A.
Vyd.údaje Minsk : Narodnaja osveta , 1987. - 142 s. Vydanie 1. izd. Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Jazyk dok. ruština Krajina Ruská federácia Systematika 51=82 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 2, z toho voľných 0, prezenčne 2 Signatúra Lokácia Dislokácia Umiestnenie Info 182248 Univerzita Mateja Bela FP Katedra matematiky len prezenčne 222972 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Razvitije predstavlenij o nadëžnosti matematičeskogo dokazateľstva Aut.údaje V. Ja. Perminov Autor Perminov V. Ja.
Vyd.údaje Moskva : Izdateľstvo Moskovskogo universiteta , 1986. - 239 s. Vydanie 1-oe izd. Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Jazyk dok. ruština Krajina Ruská federácia Systematika 51:168.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 178666 Univerzita Mateja Bela FP Katedra matematiky len prezenčne