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) Рейтинг: Цена: 10659.00 р. Наличие на складе: Поставка под заказ.
Описание: 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 Рейтинг: Цена: 5047.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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 Рейтинг: Цена: 16675.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Kenneth Mann Название: Quantitative Reasoning: A Reasonable Approach ISBN: 151656586X ISBN-13(EAN): 9781516565863 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 16923.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 24165.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Описание: 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 Рейтинг: Цена: 58969.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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 Рейтинг: Цена: 38016.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Автор: Johnstone, Peter T. (reader In The Foundations Of Mathematics, University Of Cambridge, Cambridge, Uk) Название: Sketches of an elephant: a topos theory compendium ISBN: 0198515987 ISBN-13(EAN): 9780198515982 Издательство: Oxford Academ Рейтинг: Цена: 38016.00 р. Наличие на складе: Поставка под заказ.
Описание: Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium presents a comprehensive account of all the main approaches.
Автор: Isaac Goldbring Название: Ultrafilters Throughout Mathematics ISBN: 1470469006 ISBN-13(EAN): 9781470469009 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 19008.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
