topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Automata, Logics, and Infinite Games: A Guide to Current Research
ISBN: 9783540003885 / Angielski / Miękka / 2002 / 392 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games. The 19 chapters presented in this... A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which i... |
cena:
272,35 zł |
 |
Logic and Automata: History and Perspectives
ISBN: 9789053565766 / Angielski / Miękka / 2008 / 736 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of "Logic and Automata" take the occasion of the sixtieth birthday of Wolfgang Thomas to present a "tour d'horizon" of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of "Logic and Automata" tak...
|
cena:
431,09 zł |
 |
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
ISBN: 9783642040269 / Angielski / Miękka / 2009 / 567 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. ...
|
cena:
389,09 zł |
 |
The Classical Decision Problem
ISBN: 9783540423249 / Angielski / Miękka / 2001 / 482 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these disci- plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert's Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ- ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic...
This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these d...
|
cena:
700,39 zł |
 |
Finite Model Theory and Its Applications
ISBN: 9783540004288 / Angielski / Twarda / 2007 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our...
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, i...
|
cena:
350,18 zł |
 |
Finite Model Theory and Its Applications
ISBN: 9783642438608 / Angielski / Miękka / 2014 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our...
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, i...
|
cena:
291,65 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
