» książki » Mathematics - Logic
topmenu
 |
Descriptive Set Theory and the Structure of Sets of Uniqueness
ISBN: 9780521358118 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The authors present some surprising connections that sets of uniqueness for trigonometic series have with descriptive set theory. They present many new results concerning the structure of sets of uniqueness and include solutions to some of the classical problems in this area. Topics covered include symmetric perfect sets and the solution to the Borel Basis Problem for U, the class of sets of uniqueness. To make the material accessible to both logicians, set theorists and analysts, the authors have covered in some detail large parts of the classical and modern theory of sets of uniqueness as...
The authors present some surprising connections that sets of uniqueness for trigonometic series have with descriptive set theory. They present many ne...
|
cena:
312,53 |
 |
Set Theory
ISBN: 9780521596671 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a classic introduction to set theory, suitable for students with no previous knowledge of the subject. Providing complete, up-to-date coverage, the book is based in large part on courses given over many years by Professor Hajnal. The first part introduces all the standard notions of the subject; the second part concentrates on combinatorial set theory. Exercises are included throughout and a new section of hints has been added to assist the reader.
This is a classic introduction to set theory, suitable for students with no previous knowledge of the subject. Providing complete, up-to-date coverage...
|
cena:
312,53 |
 |
Duality in Optimization and Variational Inequalities
ISBN: 9780367396152 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
313,40 |
 |
Fuzzy Automata and Languages: Theory and Applications
ISBN: 9780367396275 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
313,40 |
 |
Polynomial Completeness in Algebraic Systems
ISBN: 9780367398330 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
313,40 |
 |
Gamma-Lines
ISBN: 9780367395919 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
313,40 |
 |
Topology, Algebra and Categories in Logic: Lecture Notes of the Coimbra TACL Summer School, 14–18 June 2022
ISBN: 9783032137593 / Angielski / 01-04-2026 Książka dostępna od: 01-04-2026 |
|
Termin ukazania się książki: 01-04-2026
Książkę można już zamówić z rabatem 5% |
|
299,33 |
 |
Sets and Proofs
ISBN: 9780521635493 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium "97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, postgraduate researchers, and the informed and interested nonspecialist.
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathe...
|
cena:
317,17 |
 |
Models and Computability
ISBN: 9780521635509 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at "Logic Colloquium '97" (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.
Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematic...
|
cena:
317,17 |
 |
Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory Networks
ISBN: 9780898716924 / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first comprehensive treatment of probabilistic Boolean networks, unifying different strands of current research and addressing emerging issues.
The first comprehensive treatment of probabilistic Boolean networks, unifying different strands of current research and addressing emerging issues.
|
cena:
318,35 |
 |
Basic Discrete Mathematics: Logic, Set Theory, and Probability
ISBN: 9789813147546 / Angielski / Miękka / 732 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and critical thinkers. Particular attention has been given to the material that some students find challenging, such as proofs. This book illustrates how to spot invalid arguments, to enumerate...
This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in...
|
cena:
318,35 |
 |
Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic - Volume II: Foundations of Mathematics
ISBN: 9789811243844 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
318,35 |
 |
Set Theo & Found Math (V1-2nd Ed)
ISBN: 9789811297830 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
318,35 |
 |
Operatives Beweisen in Der Grundschule: Theoretische Grundlagen Und Eine Fallstudie
ISBN: 9783658500047 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
319,76 |
 |
The Unprovability of Consistency: An Essay in Modal Logic
ISBN: 9780521092975 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author...
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study o...
|
cena:
321,00 |
 |
Lambda-Calculus and Combinators: An Introduction
ISBN: 9780521898850 / Angielski / Twarda / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Combinatory logic and lambda-calculus, originally devised in the 1920 s, have since developed into linguistic tools, especially useful in programming languages. The authors previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the...
Combinatory logic and lambda-calculus, originally devised in the 1920 s, have since developed into linguistic tools, especially useful in programming ...
|
cena:
321,81 |
 |
Models and Games
ISBN: 9780521518123 / Angielski / Twarda / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht Fraisse game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Vaananen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized...
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht ...
|
cena:
321,81 |
 |
Synthetic Differential Topology
ISBN: 9781108447232 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Represents the state of the art in the new field of synthetic differential topology.
Represents the state of the art in the new field of synthetic differential topology.
|
cena:
321,81 |
 |
The Search for Certainty: A Philosophical Account of Foundations of Mathematics
ISBN: 9780198752455 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for mathematics. From the late nineteenth century to the present day, this project has stimulated some of the most original and influential work in logic and philosophy.
Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for ma...
|
cena:
321,81 |
 |
Collected Works: Volume I: Publications 1929-1936
ISBN: 9780195147209 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to...
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The |
cena:
321,81 |
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
