topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 33
 |
Formal Methods in Artificial Intelligence
ISBN: 9780521424219 / Angielski / Miękka / 1991 / 292 str. Termin realizacji zamówienia: ok. 16-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:
238,97 |
 |
Belief Revision
ISBN: 9780521545648 / Angielski / Miękka / 2003 / 284 str. Termin realizacji zamówienia: ok. 16-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:
398,28 |
 |
Essays in Honour of E. H. Carr
ISBN: 9781349017270 / Angielski / Miękka / 1974 / 387 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
94,07 |
 |
Mathematical Foundations of Information Flow
ISBN: 9780821849231 / Angielski / Twarda / 2012 / 270 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and Logic and Computation, held March 12-15, 2008, at Tulane University in New Orleans, Louisiana. The varying perspectives of the researchers are evident in the topics represented in the volume, including mathematics, computer science, quantum physics and classical and quantum information. A number of the articles address fundamental questions in quantum information and related topics in quantum physics, using abstract categorical and domain-theoretic models for quantum physics to reason about such...
This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and Logic and Computation, held March 12-15, 2008, at Tula...
|
cena:
544,24 |
 |
The Jews in Poland
ISBN: 9780631165828 / Angielski / Miękka / 1991 / 280 str. Termin realizacji zamówienia: ok. 30 dni roboczych. By the end of the 17th century probably three quarters of world Jewry dwelt within the borders of the Polish republic, which became not only a haven from persecution but the centre of a flourishing Jewish culture. This culture survived the decline and partition of the Polish state and in the 19th century became the seedbed for the intellectual movements that were to transform the Jewish world - zionism, secularism, socialism and neo-orthodoxy. With the development of mass emigration from the late 19th century onwards, the influence of Jews from the former Polish Republic was carried to...
By the end of the 17th century probably three quarters of world Jewry dwelt within the borders of the Polish republic, which became not only a haven f...
|
cena:
213,27 |
 |
Deductive and Declarative Programming
ISBN: 9780521032513 / Angielski / Miękka / 2006 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive...
|
cena:
276,45 |
 |
Formal Semantics and Pragmatics for Natural Language Querying
ISBN: 9780521602747 / Angielski / Miękka / 2004 / 212 str. Termin realizacji zamówienia: ok. 16-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:
276,45 |
 |
Extensions of First-Order Logic
ISBN: 9780521019026 / Angielski / Miękka / 2005 / 412 str. Termin realizacji zamówienia: ok. 16-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:
426,39 |
 |
Programs, Recursion and Unbounded Choice
ISBN: 9780521018296 / Angielski / Miękka / 2005 / 240 str. Termin realizacji zamówienia: ok. 16-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:
276,45 |
 |
Action Semantics
ISBN: 9780521619332 / Angielski / Miękka / 2005 / 396 str. Termin realizacji zamówienia: ok. 16-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:
332,68 |
 |
Algorithmic Information Theory
ISBN: 9780521616041 / Angielski / Miękka / 2004 / 192 str. Termin realizacji zamówienia: ok. 16-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:
313,94 |
 |
Applications of Process Algebra
ISBN: 9780521607506 / Angielski / Miękka / 2005 / 332 str. Termin realizacji zamówienia: ok. 16-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:
552,91 |
 |
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. 16-18 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:
204,55 |
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
