» książki » Mathematics - Logic
topmenu
 |
Algebraic Structures in Automata and Database Theory
ISBN: 9789810209360 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is devoted to the investigation of algebraic structure. The emphasis is on the algebraic nature of real automation, which appears as a natural three-sorted algebraic structure, that allows for a rich algebraic theory. Based on a general category position, fuzzy and stochastic automata are defined. The final chapter is devoted to a database automata model. Database is defined as an algebraic structure and this allows us to consider theoretical problems of databases. Almost all the material is new.
This book is devoted to the investigation of algebraic structure. The emphasis is on the algebraic nature of real automation, which appears as a natur...
|
cena:
401,61 |
 |
Mathematical Aspects of Natural and Formal Languages
ISBN: 9789810219147 / Angielski / Twarda / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text contains original reviews in the field of mathematical linguistics and formal language theory. Topics covered include: contextual grammars; grammar systems; automata theory; the algebraic approach to computer science; cryptography; grammatical inference; and natural language processing.
This text contains original reviews in the field of mathematical linguistics and formal language theory. Topics covered include: contextual grammars; ...
|
cena:
813,03 |
 |
Computational Analysis of One-Dimensional Cellular Automata
ISBN: 9789810222215 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cellular automata provide an interesting avenue into the study of complex systems in general, as well as having an intrinsic interest of their own. Because of their mathematical simplicity and representational robustness they have been used to model economic, political, biological, ecological, chemical, and physical systems. Almost any system which can be treated in terms of a discrete representation space in which the dynamics is based on local interaction rules can be modelled by a cellular automata. The aim of this book is to give an introduction to the analysis of cellular automata (CA)...
Cellular automata provide an interesting avenue into the study of complex systems in general, as well as having an intrinsic interest of their own. Be...
|
cena:
347,74 |
 |
Diamond: A Paradox Logic
ISBN: 9789810228507 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "This book should be interesting for everyone, and especially for logicians".Mathematical Reviews, 1999
"This book should be interesting for everyone, and especially for logicians".Mathematical Reviews, 1999
|
cena:
254,68 |
 |
Delta: A Paradox Logic
ISBN: 9789810232436 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is about "delta", a paradox logic. In delta, a statement can be true yet false; it is an "imaginary" state, midway between being and non-being. Delta's imaginary value solves many logical dilemmas unsolvable in two-valued Boolean logic. Delta resolves these paradoxes -- Russell's, Cantor's, Betty's and Zeno's.
Delta has two parts: inner delta logic, or "Kleenean logic", which resolves the classic paradoxes of mathematical logic; and outer delta logic, which relates delta to Z mod 3, conjugate logics, cyclic distribution, and the voter' paradox. This book is about "delta", a paradox logic. In delta, a statement can be true yet false; it is an "imaginary" state, midway between being and non-bei...
|
cena:
298,76 |
 |
Fork Algebras in Algebra, Logic and Computer Science
ISBN: 9789810248765 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better...
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is espec...
|
cena:
352,63 |
 |
Advances in Modal Logic, Volume 3
ISBN: 9789812381798 / Angielski / Twarda / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.
Volume 3 presents substantial advance in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic," held at the University of Leipzig (Germany) in... Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topic...
|
cena:
636,71 |
 |
Memoirs of a Proof Theorist: Godel and Other Logicians
ISBN: 9789812382795 / Angielski / Twarda / 135 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a translation of the book Gvdel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gvdel, Takeuti's personal recollections, and his interpretation of Gvdel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as the author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order logic.
This volume is a translation of the book Gvdel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a...
|
cena:
284,07 |
 |
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (in 2 Volumes)
ISBN: 9789812566423 / Angielski / Twarda / 996 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This novel book introduces cellular automata from a rigorous nonlinear dynamics perspective. It supplies the missing link between nonlinear differential and difference equations to discrete symbolic analysis. A surprisingly useful interpretations of cellular automata in terms of neural networks is also given. The book provides a scientifically sound and original analysis, and classifications of the empirical results presented in Wolfram's monumental ';New Kind of Science.';
This novel book introduces cellular automata from a rigorous nonlinear dynamics perspective. It supplies the missing link between nonlinear differenti...
|
cena:
1763,18 |
 |
Distribution Models Theory
ISBN: 9789812569004 / Angielski / Twarda / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distribution Models Theory is a revised edition of papers previously highly selected by the scientific committee for the Fifth Workshop of Spanish Scientific Association of Applied Economy on Distribution Models Theory held in Granada (Spain) in September 2005. The contributions offer a must-have point of reference on models theory.
Distribution Models Theory is a revised edition of papers previously highly selected by the scientific committee for the Fifth Workshop of Spanish Sci...
|
cena:
602,42 |
 |
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (Volume II)
ISBN: 9789812569769 / Angielski / Twarda / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This novel book introduces cellular automata from a rigorous nonlinear dynamics perspective. It supplies the missing link between nonlinear differential and difference equations to discrete symbolic analysis. A surprisingly useful interpretations of cellular automata in terms of neural networks is also given. The book provides a scientifically sound and original analysis, and classifications of the empirical results presented in Wolfram's monumental ';New Kind of Science.';
This novel book introduces cellular automata from a rigorous nonlinear dynamics perspective. It supplies the missing link between nonlinear differenti...
|
cena:
1160,76 |
 |
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (Volume I)
ISBN: 9789812569776 / Angielski / Twarda / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This novel book introduces cellular automata from a rigorous nonlinear dynamics perspective. It supplies the missing link between nonlinear differential and difference equations to discrete symbolic analysis. A surprisingly useful interpretations of cellular automata in terms of neural networks is also given. The book provides a scientifically sound and original analysis, and classifications of the empirical results presented in Wolfram's monumental ';New Kind of Science.';
This novel book introduces cellular automata from a rigorous nonlinear dynamics perspective. It supplies the missing link between nonlinear differenti...
|
cena:
798,33 |
 |
Mathematical Logic in Asia - Proceedings of the 9th Asian Logic Conference
ISBN: 9789812700452 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detachment theorem, Δ1-induction, completeness of Leśniewski's systems, and reduction calculus for the satisfiability problem are also discussed.The coverage includes the answer to...
This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, ...
|
cena:
602,42 |
 |
Information, Randomness & Incompleteness: Papers on Algorithmic Information Theory
ISBN: 9789971504793 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
592,62 |
 |
7th International Conference on Automated Deduction: Proceedings
ISBN: 9780387960227 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes....
The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for rep...
|
cena:
402,53 |
 |
Quantifiers: Logics, Models and Computation: Volume One: Surveys
ISBN: 9780792334484 / Angielski / Twarda / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the nature of a handbook. All of them are self-contained, at various levels of difficulty. The Introduction surveys the main ideas and problems encountered in the logical investigation of quantifiers. The Prologue, written by Per Lindstrom, presents the early history of the concept of generalised quantifiers. The volume then...
Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results o...
|
cena:
603,81 |
 |
A New Approach to Quantum Logic
ISBN: 9781904987536 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is an investigation into certain new logical structures implicit in the formalism of quantum mechanics. Its message rests on two pillars. The first pillar is the dynamic view of propositions. Propositions are viewed as acting on states of the world and changing them rather than just being true or false in them. The second pillar is a logical enquiry into the nature of the states of a dynamic framework in general and thus the nature of physical states in particular. It turns out that a physical state viewed as a logical entity must encode other states and also itself. The main...
This monograph is an investigation into certain new logical structures implicit in the formalism of quantum mechanics. Its message rests on two pillar...
|
cena:
148,90 |
 |
Fundamentals of Computation Theory: Proceedings of the 1977 International Fct-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
ISBN: 9783540084426 / Angielski / Miękka / 546 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Proceedings
ISBN: 9783540100034 / Angielski / Miękka / 671 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
ISBN: 9783540100096 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
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
