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

Автор: 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
Рейтинг:
Цена: 33650.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.

Автор: 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.

Автор: 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.

Автор: Kenneth Mann
Название: Quantitative Reasoning: A Reasonable Approach
ISBN: 151656586X ISBN-13(EAN): 9781516565863
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 112820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Quantitative Reasoning: A Reasonable Approach provides students with reliable techniques and practical strategies to help them overcome their fears of mathematics and testing. The text presents critical mathematics concepts and approaches to problem-solving in an accessible and approachable way.

The opening chapter addresses the various causes of math-related anxiety, provides students with study tips, discusses test taking, and reviews fractions, decimals, and essential vocabulary for numerical operations, as well as how to approach word problems/application situations. Chapters 2 and 3 focus on algebraic topics, including coverage of integers, percentages, exponents, algebraic expressions, and linear equations. Additional chapters walk students through unit conversions, graphing, and working with linear functions. Students learn fundamental math principles related to finances, including the calculation of taxes and markups/markdowns, the applications of simple and compound interest, and the determination of cost, revenue, and profit. Probability concepts, statistics, and how to solve systems of equations are covered. The final chapter is dedicated to matrices.

Quantitative Reasoning is designed to help students thrive in foundational mathematics courses at the college level.

Автор: Alexander Ushakov, Alexei Miasnikov, Andrey Nikolaev, Cyril Nicaud, Frederique Bassino, Igor Rivin, Ilya Kapovich, Markus Lohrey, Pascal Weil, Vladimi
Название: Complexity and Randomness in Group Theory: GAGTA BOOK 1
ISBN: 3110664917 ISBN-13(EAN): 9783110664911
Издательство: Walter de Gruyter
Рейтинг:
Цена: 161100.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This book shows new directions in group theory motivated by computer science. It reflects the transition from geometric group theory to group theory of the 21st century that has strong connections to computer science. Now that geometric group theory is drifting further and further away from group theory to geometry, it is natural to look for new tools and new directions in group theory which are present.

Автор: Merlin Carl
Название: Ordinal Computability: An Introduction to Infinitary Machines
ISBN: 3110495627 ISBN-13(EAN): 9783110495621
Издательство: Walter de Gruyter
Цена: 123910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.

Автор: Goldberg Gabriel
Название: The Ultrapower Axiom
ISBN: 311071969X ISBN-13(EAN): 9783110719697
Издательство: Walter de Gruyter
Рейтинг:
Цена: 393130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

The book is about strong axioms of infi nity in set theory (also known as large cardinal axioms), and the ongoing search for natural models of these axioms. Assuming the Ultrapower Axiom, a combinatorial principle conjectured to hold in all such natural models, we solve various classical problems in set theory (for example, the Generalized Continuum Hypothesis) and uncover a theory of large cardinals that is much clearer than the one that can be developed using only the standard axioms.

Автор: Johnstone, Peter T. (reader In The Foundations Of Mathematics, University Of Cambridge, Cambridge, Uk)
Название: Sketches of an elephant: a topos theory compendium
ISBN: 0198534256 ISBN-13(EAN): 9780198534259
Издательство: Oxford Academ
Рейтинг:
Цена: 253440.00 T
Наличие на складе: Нет в наличии.
Описание: Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. This compendium aims to present a comprehensive account of the main approaches and demonstrate the overall unity of the subject.