» książki » Mathematics - Logic
topmenu
 |
Topics in Orbit Equivalence
ISBN: 9783540226031 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume provides a self-contained introduction to some topics in orbit equivalence theory, a branch of ergodic theory. The first two chapters focus on that probability measure-preserving, ergodic actions of the integers are orbit equivalent and of the theorem of Connes-Feldman-Weiss identifying amenability and hyperfiniteness for non-singular equivalence relations. The presentation here is often influenced by descriptive set theory, and Borel and generic analogs of various results are discussed. The final chapter is a detailed account of Gaboriau's recent results on the theory of costs...
This volume provides a self-contained introduction to some topics in orbit equivalence theory, a branch of ergodic theory. The first two chapters focu...
|
cena:
152,93 |
 |
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
ISBN: 9783031713781 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
152,93 |
 |
Guida Alla Teoria Degli Insiemi
ISBN: 9788847007680 / Włoski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Il libro vuole aiutare a studiare la teoria degli insiemi indicando l'articolazione della teoria, a partire dal concetto di infinito per arrivare alla definizione dei numeri, sia finiti sia infiniti, con la diramazione tra ordinali e cardinali; insiste sulle proprieta degli insiemi numerabili, e sul continuo. Non sostituisce un manuale, perche non ci sono tutte le dimostrazioni ma solo alcune, considerate importanti, che danno il gusto dello stile di questa materia. Ricorda come la teoria sia nata dalle esigenze dell'analisi matematica e come sia legata al problema dei fondamenti;... Il libro vuole aiutare a studiare la teoria degli insiemi indicando l'articolazione della teoria, a partire dal concetto di infinito per arrivare a... |
cena:
152,93 |
 |
From Objects to Diagrams for Ranges of Functors
ISBN: 9783642217739 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduces tools, from the field of category theory, that make it possible to tackle representation problems (determination of the range of a given functor).
Introduces tools, from the field of category theory, that make it possible to tackle representation problems (determination of the range of a given fu...
|
cena:
152,93 |
 |
Proof Theory and Algebra in Logic
ISBN: 9789811379963 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
152,93 |
 |
Handbook of Formal Argumentation, Volume 2
ISBN: 9781848903364 / Angielski / Miękka / 924 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
153,22 |
 |
Lmps - Proc of 13th Int Congress, Vol 2
ISBN: 9781848900455 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains 69 selected contributed papers of the 13th International Congress of Logic, Methodology and Philosophy of Science in Beijing, August 2007. All the papers are short reports of up-to-date research in areas ranging from logic, general philosophy of science, philosophical issues of particular sciences, science and society.
This volume contains 69 selected contributed papers of the 13th International Congress of Logic, Methodology and Philosophy of Science in Beijing, Aug...
|
cena:
153,22 |
 |
Math Girls 3: Godel's Incompleteness Theorems
ISBN: 9781939326294 / Angielski / Twarda / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the early twentieth century, a massive undertaking to rid mathematics of all paradoxes and inconsistencies was underway. Known as Hilberts program, it sought to provide an unshakable foundation for all of mathematics. Things seemed to be proceeding well until young Kurt Gödel stunned the world by proving that Hilberts goals were unobtainable, that contradiction was part of the warp and weave of any mathematical system. Yet what at the time seemed to be a fatal blow to mathematical consistency now forms the basis of modern logic. Gödels incompleteness theorems are often misunderstood to...
In the early twentieth century, a massive undertaking to rid mathematics of all paradoxes and inconsistencies was underway. Known as Hilberts program,...
|
cena:
153,50 |
 |
Math Girls 3: Godel's Incompleteness Theorems
ISBN: 9781939326270 / Angielski / Twarda / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
153,50 |
 |
Perplexing Paradoxes: Unraveling Enigmas in the World Around Us
ISBN: 9780231213769 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
154,67 |
 |
Computability and Logic
ISBN: 9780521701464 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel s incompleteness theorems, but also a large number of optional topics, from Turing s theory of computability to Ramsey s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel...
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simp...
|
cena:
154,78 |
 |
Two Applications of Logic to Mathematics
ISBN: 9780691610221 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in... Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can b... |
cena:
156,72 |
 |
A Sequential Introduction to Real Analysis
ISBN: 9781783267835 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Real analysis provides the fundamental underpinnings for calculus, arguably the most useful and influential mathematical idea ever invented. It is a core subject in any mathematics degree, and also one which many students find challenging. A Sequential Introduction to Real Analysis gives a fresh take on real analysis by formulating all the underlying concepts in terms of convergence of sequences. The result is a coherent, mathematically rigorous, but conceptually simple development of the standard theory of differential and integral calculus ideally suited to undergraduate students learning...
Real analysis provides the fundamental underpinnings for calculus, arguably the most useful and influential mathematical idea ever invented. It is a c...
|
cena:
156,72 |
 |
Algebra, Logic and Combinatorics
ISBN: 9781786340306 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
156,72 |
 |
Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman
ISBN: 9781904987130 / Angielski / Miękka / 568 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Non-classical views about important issues in logic and its philosophy are a distinctive trait of Shahid Rahman's work. This volume has been designed, on the occasion of his 50th birthday, as a gathering place for unconventional approaches, original ideas and attempts to question well-established standards. Some of the world top philosophers and logicians contributed to a brilliant collection of papers, some of which doubtlessly leave their mark on the work to come in logic and in philosophy of formal sciences. Contributors are: Philippe Balbiani, Diderik Batens, Johan van Benthem, Giacomo...
Non-classical views about important issues in logic and its philosophy are a distinctive trait of Shahid Rahman's work. This volume has been designed,...
|
cena:
157,53 |
 |
Foundations of Logic and Theory of Computation
ISBN: 9781904987888 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert's programme for the formalization of Mathematics. It is widely known that the programme failed with Godel's incompleteness theorems and related negative results about arithmetic. Unfortunately, the positive outcomes of the programme are less well known, even among mathematicians. The book covers key successes, like Godel's proof of the completeness of first-order logic, Gentzen's proof of...
The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is ...
|
cena:
157,53 |
 |
A Treatise on Algebra
ISBN: 9781447457459 / Angielski / Miękka / 690 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.
Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republ...
|
cena:
159,64 |
 |
Advances in Modal Logic, Volume 6
ISBN: 9781904987208 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in Modal Logic is a unique international 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. This volume contains invited and contributed papers from the sixth conference in the series, held for the first time outside Europe, in Noosa, Queensland, Australia, in September 2006. It reports on considerable progress, both in the foundations of...
Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in modal logic broadly concei...
|
cena:
159,68 |
 |
Logic, Methodology and Philosophy of Science
ISBN: 9781904987215 / Angielski / Miękka / 708 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects most of the invited papers presented at the 12th International Congress of Logic, Methodology and Philosophy of Science in Oviedo, August 2003. It contains state of the art accounts of ongoing work by a selection of the most renowned researchers in the field. The papers in the Logic section deal with topics in mathematical logic, as well as philosophical logic, and the area of logic and computation. The section on General Methodology contains articles on models, theories, probability, induction, causation, and other topics. A number of papers discuss Philosophical Issues of...
This book collects most of the invited papers presented at the 12th International Congress of Logic, Methodology and Philosophy of Science in Oviedo, ...
|
cena:
159,68 |
 |
Model Based Reasoning in Science and Engineering
ISBN: 9781904987239 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of creative, diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science requires expanding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at...
The study of creative, diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelli...
|
cena:
159,68 |
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
