topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 15
 |
Dependence Logic: Theory and Applications
ISBN: 9783319318011 / Angielski / Twarda / 2016 / 276 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal...
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dep...
|
cena:
192,30 zł |
 |
Dependence Logic: Theory and Applications
ISBN: 9783319811239 / Angielski / Miękka / 2018 / 276 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
192,30 zł |
 |
Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
ISBN: 9783642141614 / Angielski / Miękka / 2010 / 614 str. Termin realizacji zamówienia: ok. 20 dni roboczych. ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by MauriceNivatandhiscolleaguesinParis.Thisyear, theprogramconsistedofthe established trackA, focusing on Algorithms, Complexity and Games, chairedby Paul G. Spirakis; Track B, focusing on Logic, Semantics, Automata and Theory of Programming, chaired by Samson Abramsky; Track C focusing this year on...
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICAL...
|
cena:
384,63 zł |
 |
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings
ISBN: 9783540419600 / Angielski / Miękka / 2001 / 436 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland...
|
cena:
192,30 zł |
 |
Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
ISBN: 9783642141645 / Angielski / Miękka / 2010 / 754 str. Termin realizacji zamówienia: ok. 20 dni roboczych. ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by MauriceNivatandhiscolleaguesinParis.Thisyear, theprogramconsistedofthe established trackA, focusing on Algorithms, Complexity and Games, chairedby Paul G. Spirakis; Track B, focusing on Logic, Semantics, Automata and Theory of Programming, chaired by Samson Abramsky; Track C focusing this year on...
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICAL...
|
cena:
384,63 zł |
 |
Theoretical Foundations of VLSI Design
ISBN: 9780521545655 / Angielski / Miękka / 2003 / 452 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer...
This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer scie...
|
cena:
334,22 zł |
 |
Belief Revision
ISBN: 9780521545648 / Angielski / Miękka / 2003 / 284 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. In simple terms: how do you update a database of knowledge in the light of new information? What if the new information is in conflict with something that was previously held to be true? An intelligent system should be able to accommodate all such cases. This book contains a collection of research articles on belief revision that are completely up to date and an introductory chapter that presents a survey of current research in the...
Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial inte...
|
cena:
417,78 zł |
 |
Formal Methods in Artificial Intelligence
ISBN: 9780521424219 / Angielski / Miękka / 1991 / 292 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
|
cena:
250,65 zł |
 |
Formal Semantics and Pragmatics for Natural Language Querying
ISBN: 9780521602747 / Angielski / Miękka / 2004 / 212 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more ???real world??? semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics...
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links ...
|
cena:
292,44 zł |
 |
Extensions of First-Order Logic
ISBN: 9780521019026 / Angielski / Miękka / 2005 / 412 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from...
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a...
|
cena:
449,12 zł |
 |
Programs, Recursion and Unbounded Choice
ISBN: 9780521018296 / Angielski / Miękka / 2005 / 240 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction, and unbounded nondeterminacy. The author develops their theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming methodology. He gives proofs of the programming rules for partial and total correctness of...
Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is...
|
cena:
292,44 zł |
 |
Action Semantics
ISBN: 9780521619332 / Angielski / Miękka / 2005 / 396 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have...
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of...
|
cena:
349,88 zł |
 |
Algorithmic Information Theory
ISBN: 9780521616041 / Angielski / Miękka / 2004 / 192 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Godel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of a universal computer if its program is chosen by tossing a coin. The other half is concerned with encoding the halting probability as an algebraic equation in integers, a so-called exponential diophantine equation."
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Godel's incompleteness theorem, using...
|
cena:
328,99 zł |
 |
Applications of Process Algebra
ISBN: 9780521607506 / Angielski / Miękka / 2005 / 332 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ?algebra? is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics...
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communi...
|
cena:
579,75 zł |
 |
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
ISBN: 9783540544951 / Angielski / Miękka / 1991 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming...
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6...
|
cena:
192,30 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
