Výsledky vyhľadávania
Názov A course in formal languages, automata and groups Aut.údaje Ian Chiswell Autor Chiswell Ian
Vyd.údaje London : Springer , 2009. - ix; 157 s. : ilustr., 23 cm Vydanie [1st ed.] Edícia Universitext ISBN 978-1-84800-939-4 Poznámka Bibliografia s. 151-152. Register Kľúč.slová formálne jazyky - formal languages teória automatov - automata theory teória grúp - group theory Jazyk dok. angličtina Krajina Veľká Británia Systematika 511.3 51 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 Call number Location Sublocation Umiestnenie Info 340385 Univerzita Mateja Bela Department of absent lending Title Thinking About Gödel and Turing Subtitle essays on complexity, 1970-2007 Author info Gregory J Chaitin; with a foreword by Paul Davies Author Chaitin Gregory John
Co-authors Davies Paul
Issue data Hackensack : World Scientific Publishing , c2007. - xix, 347 s., 26 cm Issue [1st ed.] ISBN 978-981-270-896 Note Bibliogr. odkazy Additional Variant Titles Gödel and Turing Keywords matematika - mathematics Gödelove vety Gödel’s theorems metamathematics výpočtová zložitosť - computational complexity Language English Country United States of America systematics 511.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Signatúra Lokácia Dislokácia Umiestnenie Info 300665 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Introduction to Fuzzy Systems Aut.údaje Guanrong Chen, Trung Tat Pham Autor Chen Guarong
Spoluautori Pham Trung Tat
Vyd.údaje Boca Raton : Chapman & Hall/CRC , 2006. - xiii, 315 s. : il., 24 cm Vydanie 1st ed. Edícia Mathematics ISBN 1-58488-531-9 Poznámka Bibliogr. odkazy. Register Kľúč.slová fuzzy množiny - fuzzy sets matematická logika - mathematical logic fuzzy systems 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 Call number Location Sublocation Umiestnenie Info 292057 Univerzita Mateja Bela Department of quantitative methods and information systems In-Library Use Only Title A First Course in Fuzzy Logic Author info Hung T. Nguyen, Elbert A. Walker Author Nguyen Hung T.
Co-authors Walker Elbert A.
Issue data Boca Raton : Chapman & Hall/CRC , 2006. - x, 430 s., 24 cm Issue 3rd ed. Edition Mathematics ISBN 978-1-58488-526-9 Note Bibliografia s. 387 - 399. Register Keywords fuzzy logika - fuzzy logic neurónové siete - neural networks Language English Country United States of America systematics 511.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 292056 Univerzita Mateja Bela Department of quantitative methods and information systems In-Library Use Only Title Data and information delivery - evaluation and modeling using fuzzy sets Par.title Sprístupňovanie údajov a informácií - vyhodnocovanie a modelovanie s použitím fuzzy množín Author info Jozef Stašák Author Stašák Jozef (100%) UMBEF05 - Katedra kvantitatívnych metód a informačných systémov
Source document Európske financie : teória, politika a prax : zborník z medzinárodnej vedeckej konferencie, Banská Bystrica september 2004. S. [8]. - Banská Bystrica : Univerzita Mateja Bela, Fakulta financií, 2004 Keywords databázy - databases modelovanie - modeling fuzzy množiny - fuzzy sets dáta - údaje - data information delivery hodnotenie - evalvácia - evaluácia - evaluation modelling Language English Country Slovak Republic systematics 511.3 Public work category BEF No. of Archival Copy 199 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Computability Theory Author info S. Barry Cooper Author Cooper Barry S
Issue data Boca Raton : Chapman & Hall/CRC , 2004. - ix, 409 s., 24 cm Issue [1st ed.] ISBN 1-58488-237-9 Note Literatúra s. 383-388. Register Keywords computable functions matematika - mathematics teória čísel - number theory Language English Country United States of America systematics 511.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 247865 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Logika neúplnost, složitost a nutnost Author info Vítězslav Švejdar Author Švejdar Vítězslav
Issue data Praha : Academia , 2002. - 464 s. Issue 1. vyd. ISBN 802001005X Keywords neklasické logiky logika - logic výroková logika - propositional calculus algoritmy - algorithms Peanova a Robinsonova aritmetika Language Czech Country Czech Republic systematics 511.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 242787 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Foundations of Logic and Mathematics Subtitle Applications to Computer Science and Cryptography Author info Yves Nievergelt Author Nievergelt Yves
Issue data Boston : Birkhäuser , [2002]. - xvi, 415 s. : il., 26 cm Issue [1st ed.] ISBN 0-8176-4249-8, 3-7643-4249-8 Note Bibliografia s. [399] - 404. Register Keywords teória množín - set theory teória čísel - number theory Language English Country United States of America systematics 511.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 273998 Univerzita Mateja Bela Department of mathematics In-Library Use Only