G?del 96: Logical Foundations of Mathematics, Computer Science, and Physics, Hajek, Petr

Автор: Brendan Fong, David I. Spivak
Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality
ISBN: 1108711820 ISBN-13(EAN): 9781108711821
Издательство: Cambridge Academ
Рейтинг:
Цена: 48570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.

Автор: Isaac Goldbring
Название: Ultrafilters Throughout Mathematics
ISBN: 1470469618 ISBN-13(EAN): 9781470469610
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 71060.00 T
Наличие на складе: Нет в наличии.
Описание: Presents the basic facts about ultrafilters and ultraproducts to readers with no prior knowledge of the subject. These techniques are then applied to a wide variety of topics. The first part of the book deals solely with ultrafilters; the second part presents the classical ultraproduct construction.

Автор: Stewart Ian
Название: Foundations of Mathematics
ISBN: 019870643X ISBN-13(EAN): 9780198706434
Издательство: Oxford Education
Рейтинг:
Цена: 31670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide.

Автор: Ramsey, Frank Plumpton
Название: Foundations of Mathematics and other Logical Essays
ISBN: 0415225469 ISBN-13(EAN): 9780415225465
Издательство: Taylor&Francis
Рейтинг:
Цена: 193950.00 T
Наличие на складе: Нет в наличии.

Название: Logical Foundations of Mathematics and Computational Complex
ISBN: 3319001183 ISBN-13(EAN): 9783319001180
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.

Автор: H?jek
Название: G?del `96
ISBN: 1107168023 ISBN-13(EAN): 9781107168022
Издательство: Cambridge Academ
Рейтинг:
Цена: 117210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the conference `Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Goedel`s Legacy`, held in Brno, Czech Republic, on the 90th anniversary of Goedel`s birth. The papers in this volume cover the wide range of topics Goedel`s work touched, and affirm its continuing importance.

Автор: Maurice A. de Gosson
Название: Quantum Harmonic Analysis
ISBN: 3110722615 ISBN-13(EAN): 9783110722611
Издательство: Walter de Gruyter
Рейтинг:
Цена: 166060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

The series is devoted to the publication of high-level monographs and specialized graduate texts which cover classical and modern analysis, partial differential equations with natural connections to geometry and the interplays between these fields and their applications to mathematical physics.

Автор: Cook
Название: Logical Foundations of Proof Complexity
ISBN: 1107694116 ISBN-13(EAN): 9781107694118
Издательство: Cambridge Academ
Рейтинг:
Цена: 61240.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.

Автор: B. Jacobs
Название: Categorical Logic and Type Theory,141
ISBN: 0444508538 ISBN-13(EAN): 9780444508539
Издательство: Elsevier Science
Рейтинг:
Цена: 111170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Автор: Paul Baginski, Benjamin Fine, Anja Moldenhauer, Gerhard Rosenberger, Vladimir Shpilrain
Название: Elementary Theory of Groups and Group Rings, and Related Topics: Proceedings of the Conference held at Fairfield University and at the Graduate Center, CUNY, November 1-2, 2018
ISBN: 3110636735 ISBN-13(EAN): 9783110636734
Издательство: Walter de Gruyter
Цена: 140030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This proceedings volume documents the contributions presented at the conference held at Fairfield University and at the Graduate Center, CUNY in 2018 celebrating the New York Group Theory Seminar, in memoriam Gilbert Baumslag, and to honor Benjamin Fine and Anthony Gaglione. It includes several expert contributions by leading figures in the group theory community and provides a valuable source of information on recent research developments.

Автор: Andres Eduardo Caicedo, James Cummings, Peter Koellner, Paul B. Larson
Название: Foundations of Mathematics
ISBN: 1470422565 ISBN-13(EAN): 9781470422561
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 110880.00 T
Наличие на складе: Невозможна поставка.
Описание: Contains the proceedings of the Logic at Harvard conference in honour of W. Hugh Woodin`s 60th birthday. The topics cover many of the areas central to Woodin`s work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin`s career.

Название: Centenary of the borel conjecture
ISBN: 1470450992 ISBN-13(EAN): 9781470450991
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 100320.00 T
Наличие на складе: Невозможна поставка.
Описание: Borel’s Conjecture entered the mathematics arena in 1919 as an innocuous remark about sets of real numbers in the context of a new covering property introduced by ?mile Borel. In the 100 years since, this conjecture has led to a remarkably rich adventure of discovery in mathematics, producing independent results and the discovery of countable support iterated forcing, developments in infinitary game theory, deep connections with infinitary Ramsey Theory, and significant impact on the study of topological groups and topological covering properties.The papers in this volume present a broad introduction to the frontiers of research that has been spurred on by Borel’s 1919 conjecture and identify fundamental unanswered research problems in the field. Philosophers of science and historians of mathematics can glean from this collection some of the typical trends in the discovery, innovation, and development of mathematical theories.