Search results
Title A course in formal languages, automata and groups Author info Ian Chiswell Author Chiswell Ian
Issue data London : Springer , 2009. - ix; 157 s. : ilustr., 23 cm Issue [1st ed.] Edition Universitext ISBN 978-1-84800-939-4 Note Bibliografia s. 151-152. Register Keywords formálne jazyky - formal languages teória automatov - automata theory teória grúp - group theory Language English Country Great Britian systematics 511.3 51 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 1 
book
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 book
Call number Location Sublocation Umiestnenie Info 300665 Univerzita Mateja Bela Department of mathematics 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 book
Call number Location Sublocation Umiestnenie Info 292056 Univerzita Mateja Bela Department of quantitative methods and information systems In-Library Use Only Title Introduction to Fuzzy Systems Author info Guanrong Chen, Trung Tat Pham Author Chen Guarong
Co-authors Pham Trung Tat
Issue data Boca Raton : Chapman & Hall/CRC , 2006. - xiii, 315 s. : il., 24 cm Issue 1st ed. Edition Mathematics ISBN 1-58488-531-9 Note Bibliogr. odkazy. Register Keywords fuzzy množiny - fuzzy sets matematická logika - mathematical logic fuzzy systems 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 book
Call number Location Sublocation Umiestnenie Info 292057 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Ť 
article
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 book
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 book
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 book
Call number Location Sublocation Umiestnenie Info 273998 Univerzita Mateja Bela Department of mathematics In-Library Use Only