» książki » Mathematics - Logic
topmenu
 |
Essential Stability Theory
ISBN: 9781107168398 / Angielski / Twarda / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume bridges the gap between a first-year graduate logic course and research papers in stability theory.
This volume bridges the gap between a first-year graduate logic course and research papers in stability theory.
|
cena:
625,52 |
 |
Lattice Sums Then and Now
ISBN: 9781107039902 / Angielski / Twarda / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of lattice sums began when early investigators wanted to go from mechanical properties of crystals to the properties of the atoms and ions from which they were built (the literature of Madelung's constant). A parallel literature was built around the optical properties of regular lattices of atoms (initiated by Lord Rayleigh, Lorentz and Lorenz). For over a century many famous scientists and mathematicians have delved into the properties of lattices, sometimes unwittingly duplicating the work of their predecessors. Here, at last, is a comprehensive overview of the substantial body of...
The study of lattice sums began when early investigators wanted to go from mechanical properties of crystals to the properties of the atoms and ions f...
|
cena:
625,52 |
 |
The Foundations of Mathematics in the Theory of Sets
ISBN: 9780521770347 / Angielski / Twarda / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This unified approach to the foundations of mathematics in the theory of sets covers both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of "natural number" and "set." The book contains an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, and the analysis of proof by induction and definition by recursion. The book should appeal to both philosophers and mathematicians with an interest in the foundations of...
This unified approach to the foundations of mathematics in the theory of sets covers both conventional and finitary (constructive) mathematics. It is ...
|
cena:
625,52 |
 |
Galois Theories
ISBN: 9780521803090 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context. The authors first formalize the categorical context in which a general Galois theorem holds, and then give applications to Galois theory for commutative rings, central extensions of groups, the topological theory of covering maps and a Galois theorem for toposes. The book is designed to be accessible to a wide audience, the prerequisites are first courses in algebra and general topology, together with some familiarity with the categorical notions of limit...
Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context. The authors f...
|
cena:
625,52 |
 |
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (Volume III)
ISBN: 9789812837936 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume III continues the author's quest for developing a pedagogical, self-contained, yet rigorous analytical theory of 1-D cellular automata via a nonlinear dynamics perspective. Using carefully conceived and illuminating color graphics, the global dynamical behaviors of the 50 (out of 256) local rules that have not yet been covered in Volumes I and II are exposed via their stunningly revealing basin tree diagrams. The Bernoulli στ-shift dynamics discovered in Volume II is generalized to hold for all 50 (or 18 globally equivalent) local rules via complex and...
Volume III continues the author's quest for developing a pedagogical, self-contained, yet rigorous analytical theory of 1-D cellular automata v...
|
cena:
629,23 |
 |
A Comparison Process for Mouse Pairs
ISBN: 9781108840682 / Angielski / Twarda / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
630,15 |
 |
Credit Intelligence & Modelling: Many Paths Through the Forest of Credit Rating and Scoring
ISBN: 9780192844194 / Angielski / Twarda / 944 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
630,15 |
 |
Fragments of First-Order Logic
ISBN: 9780192867964 / Angielski / Twarda / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
630,15 |
 |
Hilbert's Programs and Beyond
ISBN: 9780195372229 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position...
Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace ...
|
cena:
630,15 |
 |
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back
ISBN: 9780415298858 / Angielski / Twarda / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conventional wisdom was that biology influenced mathematics and computer science. But a new approach has taken hold: that of transferring methods and tools from computer science to biology. The reverse trend is evident in Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology and Back. The contributors address the structural (syntactical) view of the domain. Mathematical linguistics and computer science can offer various tools for modeling complex macromolecules and for analyzing and simulating biological issues. This collection is valuable for...
The conventional wisdom was that biology influenced mathematics and computer science. But a new approach has taken hold: that of transferring methods ...
|
cena:
634,12 |
 |
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:
634,12 |
 |
Between Mind and Computer: Fuzzy Science and Engineering
ISBN: 9789810213053 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first in a series which aims to document advances in fuzzy set theory and its applications. This book presents advances in areas such as possibility logic programming; truth-valued flow inference; default knowledge representation; and fuzzy control and applicability of fuzzy controllers.
The first in a series which aims to document advances in fuzzy set theory and its applications. This book presents advances in areas such as possibili...
|
cena:
634,12 |
 |
Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6
ISBN: 9781138466869 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt G�del's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of G�del s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event.
This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt G�del's Legacy, held i...
|
cena:
634,12 |
 |
Taking the "Oof!" out of Proofs
ISBN: 9781032599021 / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
634,12 |
 |
A Beginner's Guide to Mathematical Proof
ISBN: 9781032686196 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
634,12 |
 |
Continua: With the Houston Problem Book
ISBN: 9781138430280 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the special session on Modern Methods in Continuum Theory presented at the 100th Annual Joint Mathematics Meetings held in Cincinnati, Ohio. It also features the Houston Problem Book which includes a recently updated set of 200 problems accumulated over several years at the University of Houston.;These proceedings and problems are aimed at pure and applied mathematicians, topologists, geometers, physicists and graduate-level students in these disciplines.
This volume contains the proceedings of the special session on Modern Methods in Continuum Theory presented at the 100th Annual Joint Mathematics Meet...
|
cena:
634,12 |
 |
The Province of Logic: An Interpretation of Certain Parts of Cook Wilson's Statement and Inference
ISBN: 9780367422592 / Angielski / Twarda / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
634,12 |
 |
Architecture of Mathematics
ISBN: 9781138601055 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
634,12 |
 |
Higher Recursion Theory
ISBN: 9781107168435 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
|
cena:
634,77 |
 |
Constructibility
ISBN: 9781107168350 / Angielski / Twarda / 437 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive account of the theory of constructible sets at an advanced level, aimed at graduate mathematicians.
A comprehensive account of the theory of constructible sets at an advanced level, aimed at graduate mathematicians.
|
cena:
634,77 |
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
