» książki » Mathematics - Logic
topmenu
 |
Set Theory of the Continuum
ISBN: 9781461397564 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 1989-90, this volume is intended to reflect the whole spectrum of activities in set theory. The first section of the book comprises the invited papers surveying the state of the art in a wide range of topics of set-theoretic research. The second section includes research papers on various aspects of set theory and its relation to algebra and topology. Contributors include: J.Bagaria, T. Bartoszynski, H. Becker, P. Dehornoy, Q. Feng, M. Foreman, M. Gitik, L. Harrington, S. Jackson, H. Judah, W. Just, A.S....
Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 1989-90, this volume is intended to reflect the whole spectr...
|
cena:
442,79 |
 |
Mathematical Logic: An Introduction to Model Theory
ISBN: 9781461587521 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Before his death in March, 1976, A. H. Lightstone delivered the manu- script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone's book. H. B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis....
Before his death in March, 1976, A. H. Lightstone delivered the manu- script for this book to Plenum Press. Because he died before the editorial work ...
|
cena:
442,79 |
 |
Finite Automata, Formal Logic, and Circuit Complexity
ISBN: 9781461266952 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first- order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Research on the log- ical aspects of the theory of finite-state automata, which is the subject of this book, began in the early 1960's with the work of J. Richard Biichi on monadic...
The study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding paper ...
|
cena:
442,79 |
 |
Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume
ISBN: 9783319054452 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution and proof complexity, entropy and randomness. Several chapters have a...
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion ...
|
cena:
442,79 |
 |
Temporal Verification of Reactive Systems: Safety
ISBN: 9781461287018 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing...
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as ...
|
cena:
442,79 |
 |
Description Logics in Multimedia Reasoning
ISBN: 9783319540658 / Angielski / Twarda / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It draws attention to the importance of formal grounding in the knowledge representation of multimedia objects, the potential of multimedia reasoning in intelligent multimedia applications, and presents both theoretical discussions and best practices in multimedia ontology engineering.
It draws attention to the importance of formal grounding in the knowledge representation of multimedia objects, the potential of multimedia reasoning ...
|
cena:
442,79 |
 |
The Hyperuniverse Project and Maximality
ISBN: 9783319629346 / Angielski / Twarda / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.
This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and whi...
|
cena:
442,79 |
 |
Description Logics in Multimedia Reasoning
ISBN: 9783319853086 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
 |
Coalgebraic Methods in Computer Science: 16th Ifip Wg 1.3 International Workshop, Cmcs 2022, Colocated with Etaps 2022, Munich, Germany, April 2-3, 20
ISBN: 9783031107351 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras. This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Sci... |
cena:
442,79 |
 |
Louis Couturat -Traité de Logique Algorithmique
ISBN: 9783034604109 / Angielski / Twarda / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Louis Couturat (1868-1914) was an outstanding intellectual of the turn of the nineteenth to the twentieth century. He is known for his work in the philosophy of mathematics, for his critical and editorial work on Leibniz, for his attempt to popularise modern logic in France, for his commitment to an international auxiliary language, as well as for his extended correspondence with scholars and mathematicians from Great Britain, the United States, Italy, and Germany. From his correspondence we know of four unpublished manuscripts on logic and its history, which were largely complete and some of...
Louis Couturat (1868-1914) was an outstanding intellectual of the turn of the nineteenth to the twentieth century. He is known for his work in the phi...
|
cena:
442,79 |
 |
Self-Reference and Modal Logic
ISBN: 9780387962092 / Angielski / Miękka / 333 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is Sunday, the 7th of September 1930. The place is Konigsberg and the occasion is a small conference on the foundations of mathematics. Arend Heyting, the foremost disciple of L. E. J. Brouwer, has spoken on intuitionism; Rudolf Carnap of the Vienna Circle has expounded on logicism; Johann (formerly Janos and in a few years to be Johnny) von Neumann has explained Hilbert's proof theory-- the so-called formalism; and Hans Hahn has just propounded his own empiricist views of mathematics. The floor is open for general discussion, in the midst of which Heyting announces his satisfaction with...
It is Sunday, the 7th of September 1930. The place is Konigsberg and the occasion is a small conference on the foundations of mathematics. Arend Heyti...
|
cena:
442,79 |
 |
Structural Complexity II
ISBN: 9783642753596 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treated in Volume I, but the present volume itself is nearly self-contained. As in Volume I, each chapter of this book ends with a section entitled "Bibliographical Remarks," in which the relevant references for the chapter are briefly commented upon. These sections might also be of interest to those wanting an overview of the evolution of the field, as well as relevant related results which are not included in the text. Each chapter includes a...
This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treate...
|
cena:
442,79 |
 |
Louis Couturat -Traité de Logique Algorithmique
ISBN: 9783034803076 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Louis Couturat (1868-1914) was an outstanding intellectual of the turn of the nineteenth to the twentieth century. He is known for his work in the philosophy of mathematics, for his critical and editorial work on Leibniz, for his attempt to popularise modern logic in France, for his commitment to an international auxiliary language, as well as for his extended correspondence with scholars and mathematicians from Great Britain, the United States, Italy, and Germany. From his correspondence we know of four unpublished manuscripts on logic and its history, which were largely complete and some of...
Louis Couturat (1868-1914) was an outstanding intellectual of the turn of the nineteenth to the twentieth century. He is known for his work in the phi...
|
cena:
442,79 |
 |
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets
ISBN: 9783540666813 / Angielski / Miękka / 437 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ...The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees...The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists. Acta Scientiarum Mathematicarum, Ungarn 1988 ...The main purpose of this book is to introduce the reader to the main results...
...The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees...The definitions, results an...
|
cena:
442,79 |
 |
Rohit Parikh on Logic, Language and Society
ISBN: 9783319478425 / Angielski / Twarda / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
 |
Raymond Smullyan on Self Reference
ISBN: 9783319687315 / Angielski / Twarda / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
 |
Structures and Algorithms: Mathematics and the Nature of Knowledge
ISBN: 9783319729732 / Angielski / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
 |
Rohit Parikh on Logic, Language and Society
ISBN: 9783319838380 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
 |
Fuzzy Lie Algebras
ISBN: 9789811332203 / Angielski / Twarda / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
 |
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations: 17th International Conference, Ipmu 2018, Cád
ISBN: 9783319914725 / Angielski / Miękka / 806 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
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
