» książki » Mathematics - Logic
topmenu
 |
Logic and Algebraic Structures in Quantum Computing
ISBN: 9781107033399 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Experts in the field explore the connections across physics, quantum logic, and quantum computing.
Experts in the field explore the connections across physics, quantum logic, and quantum computing.
|
cena:
768,95 |
 |
Handbook of Categorical Algebra: Volume 1, Basic Category Theory
ISBN: 9780521441780 / Angielski / Twarda / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Handbook of Categorical Algebra, in three volumes, is a detailed account of everything a mathematician needs to know about category theory. Each volume is self-contained and is accessible to graduate students with a good background in mathematics. Volume 1 is devoted to general concepts. After introducing the terminology and proving the fundamental results concerning limits, adjoint functors and Kan extensions, the categories of fractions are studied in detail; special consideration is paid to the case of localizations. The remainder of the first volume studies various "refinements" of the...
A Handbook of Categorical Algebra, in three volumes, is a detailed account of everything a mathematician needs to know about category theory. Each vol...
|
cena:
774,86 |
 |
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
ISBN: 9780198526339 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including...
|
cena:
777,16 |
 |
Generalized Lattices
ISBN: 9781594542053 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduces a study of an algebra that is based on a nonordinary variant of a quasi ordered set and the corresponding representation of which brings one to bitopological spaces. The author calls this a generalised Boolean algebra, which can be used as an im
Introduces a study of an algebra that is based on a nonordinary variant of a quasi ordered set and the corresponding representation of which brings on...
|
cena:
777,20 |
 |
Developments in Language Theory II, at the Crossroads of Mathematics, Computer Science and Biology
ISBN: 9789810226824 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings in this text cover all parts of the theory of formal languages, from pure theoretical investigations to applications to programming languages. Main topics include combinatorial properties of words, and sequences of words and sets of words.
The proceedings in this text cover all parts of the theory of formal languages, from pure theoretical investigations to applications to programming la...
|
cena:
777,25 |
 |
A First Course in Logic
ISBN: 9780815386643 / Angielski / Twarda / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
777,25 |
 |
Developments in Language Theory: At the Crossroads of Mathematics, Computer Sci and Biology
ISBN: 9789810216450 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
777,25 |
 |
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
ISBN: 9780443416446 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
787,43 |
 |
Molecular Logic-Based Computation
ISBN: 9781849731485 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We all learn - in schools, factories, bars and streets. We gather, store, process and transmit information in society. Molecular systems involved in our senses and within our brains allow all this to happen and molecular systems allow living things of all kinds to handle information for the purpose of survival and growth. Nevertheless, the vital link between molecules and computation was not generally appreciated until a few decades ago. Semiconductor-based information technology had penetrated society at many levels and the interest in maintaining momentum of this revolution led to the...
We all learn - in schools, factories, bars and streets. We gather, store, process and transmit information in society. Molecular systems involved in o...
|
cena:
787,43 |
 |
Elementary Logic
ISBN: 9780195014914 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
788,55 |
 |
Modelling and Control of Dynamic Spatially Distributed Systems: Pharmaceutical Processes
ISBN: 9780323953924 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
791,77 |
 |
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:
791,83 |
 |
Mathematical Logic
ISBN: 9780198571001 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is...
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logi...
|
cena:
800,17 |
 |
First-Order Schemata and Inductive Proof Analysis
ISBN: 9783032057402 / Angielski / 13-01-2026 Książka dostępna od: 13-01-2026 |
|
Termin ukazania się książki: 13-01-2026
Książkę można już zamówić z rabatem 5% |
|
763,82 |
 |
Relation Algebras by Games: Volume 147
ISBN: 9780444509321 / Angielski / Twarda / 691 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relation algebras are algebras arising from the study of binary relations.
They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and... Relation algebras are algebras arising from the study of binary relations.
They form a part of the field of algebraic logic, and have applications ... |
cena:
804,51 |
 |
Finitely Axiomatizable Theories
ISBN: 9780306110627 / Angielski / Twarda / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. The volume summarizes investigations in the field that have led to much of thecurrent progress, treating systematically all positive results concerning expressibility. Also included in this unique text are solutions to both the Vaught-Morely problem and the Hanf problem, and a number of new naturalquestions that provide prospects for further development of the theory.
This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. The volume sum...
|
cena:
805,10 |
 |
Constructive Models
ISBN: 9780306110665 / Angielski / Twarda / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models.
This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some... The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within ...
|
cena:
805,10 |
 |
Mathematical Intuition: Phenomenology and Mathematical Knowledge
ISBN: 9780792301318 / Angielski / Twarda / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not any of the better understood means for acquiring knowledge. In mathematics the term has also unfortunately been used in this way. Thus, intuition is sometimes portrayed as if it were the Third Eye, something only mathematical "mystics," like Ramanujan, possess. In mathematics the notion has also been used...
"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanat...
|
cena:
805,10 |
 |
Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar
ISBN: 9780792342618 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. Gramann (1809-1877), the remarkable universalist whose work recast the foundations of these disciplines and shaped the course of their modern development.
In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. ...
|
cena:
805,10 |
 |
Handbook of Tableau Methods
ISBN: 9780792356271 / Angielski / Twarda / 670 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The tableau methodology, invented in the 1950s by Beth and...
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many di...
|
cena:
805,10 |
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
