» książki » Mathematics - Logic
topmenu
 |
Jewels of Stringology: Text Algorithms
ISBN: 9789810248970 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The term "stringology" is a popular nickname for text algorithms, or algorithms on strings. This book deals with the most basic algorithms in the area. Most of them can be viewed as "algorithmic jewels" and deserve reader-friendly presentation. One of the main aims of the book is to present several of the most celebrated algorithms in a simple way by omitting obscuring details and separating algorithmic structure from combinatorial theoretical background. The book reflects the relationships between applications of text-algorithmic techniques and the classification of algorithms according to...
The term "stringology" is a popular nickname for text algorithms, or algorithms on strings. This book deals with the most basic algorithms in the area...
|
cena:
264,47 |
 |
Quanta, Logic and Spacetime (2nd Edition)
ISBN: 9789812386915 / Angielski / Twarda / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this expanded edition of "Quanta, Logic and Spacetime, the logical base is greatly broadened and quantum-computational aspects of the approach are brought to the fore. The first two parts of this edition may indeed be regarded as providing a self-contained and logic-based foundation for--and an introduction to--the enterprise known as quantum computing. The rest of the work takes on the task (as in the first edition) of computing from first principles certain dynamical expressions which turn out to compare favorably with the Lagrangian densities of the (massless) Standard Model, including...
In this expanded edition of "Quanta, Logic and Spacetime, the logical base is greatly broadened and quantum-computational aspects of the approach are ...
|
cena:
710,17 |
 |
A Missing Link in Cybernetics: Logic and Continuity
ISBN: 9780387751634 / Angielski / Twarda / 139 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this book I argue that a reason for the limited success of various studies under the general heading of cybernetics is failure to appreciate the importance of con- nuity, in a simple metrical sense of the term. It is with particular, but certainly not exclusive, reference to the Arti cial Intelligence (AI) effort that the shortcomings of established approaches are most easily seen. One reason for the relative failure of attempts to analyse and model intelligence is the customary assumption that the processing of continuous variables and the manipulation of discrete concepts should be...
In this book I argue that a reason for the limited success of various studies under the general heading of cybernetics is failure to appreciate the im...
|
cena:
402,53 |
 |
Dynamic Epistemic Logic
ISBN: 9781402069086 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction'... Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us t... |
cena:
402,53 |
 |
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
ISBN: 9783540151876 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the...
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming...
|
cena:
120,73 |
 |
Logics of Programs: Brooklyn, June 17-19, 1985
ISBN: 9783540156482 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985
ISBN: 9783540159766 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. First International Conference on Rewriting Techniques and Applications
First International Conference on Rewriting Techniques and Applications
|
cena:
160,99 |
 |
Stacs 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986
ISBN: 9783540160786 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,86 |
 |
Mathematical Foundations of Computer Science 1986: 12th Symposium Held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings
ISBN: 9783540167839 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings
ISBN: 9783540185086 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program...
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in A...
|
cena:
201,24 |
 |
Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, Usa, December 2-6, 1986
ISBN: 9783540187714 / Angielski / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The generic term graph-grammars refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer...
The generic term graph-grammars refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-gr...
|
cena:
402,53 |
 |
Foundations of Equational Logic Programming
ISBN: 9783540515333 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.
Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augm...
|
cena:
140,86 |
 |
Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings
ISBN: 9783540516590 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers which were presented at the second workshop Computer Science Logic held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
This volume contains the papers which were presented at the second workshop Computer Science Logic held in Duisburg, FRG, October 3-7, 1988. These pro...
|
cena:
201,24 |
 |
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings
ISBN: 9783540518037 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Colog-88: International Conference on Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings
ISBN: 9783540523352 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logi...
|
cena:
201,24 |
 |
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
ISBN: 9783540527534 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany in October 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: complexity, data base theory, logic programming, artificial intelligence and temporal logic.
This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany i...
|
cena:
201,24 |
 |
Stacs 91: 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
ISBN: 9783540537090 / Angielski / Miękka / 551 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of STACS 91, a symposium on the theoretical aspects of computer science, held in Hamburg, Germany in February 1991. STACS is held each year, alternately in Germany and France, and is organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft fuer Informatik (GI) and the Special Interest Group for Applied Mathematics of the Association Francaise des Sciences et Techniques de l'Information et de Systemes (AFCET).
This volume contains the proceedings of STACS 91, a symposium on the theoretical aspects of computer science, held in Hamburg, Germany in February 199...
|
cena:
402,53 |
 |
Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
ISBN: 9783540539049 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of an international conference on rewriting techniques and applications, designed for researchers and lecturers in theoretical computer science and mathematics. It includes 40 papers on a wide variety of topics including term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specification, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems and open...
This volume contains the proceedings of an international conference on rewriting techniques and applications, designed for researchers and lecturers i...
|
cena:
201,24 |
 |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
ISBN: 9783540539193 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains papers on logic programming, an invited paper by Donald Michie and eleven selected papers on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications.
Contains papers on logic programming, an invited paper by Donald Michie and eleven selected papers on reasoning, logic programming language, concurren...
|
cena:
201,24 |
 |
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
ISBN: 9783540746201 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems. This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool... |
cena:
201,24 |
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
