Foundations of Mathematics and other Logical Essays, Ramsey, Frank Plumpton

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

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

Автор: Makowsky
Название: Logic Colloquium `95
ISBN: 1107167906 ISBN-13(EAN): 9781107167902
Издательство: Cambridge Academ
Рейтинг:
Цена: 136210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the conference proceedings of the 1995 Annual European Summer Meeting of the Association of Symbolic Logic. The papers here cover all topics of classical mathematical logic. There is also a tutorial on recent developments in theoretical computer science, and plenary lectures on the foundation and evolution of set theory.

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

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

Название: 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.

Автор: Lecomte Alain
Название: Meaning, Logic And Ludics
ISBN: 1848164564 ISBN-13(EAN): 9781848164567
Издательство: World Scientific Publishing
Рейтинг:
Цена: 133050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intends to present several main advances in Natural Language Semantics and the interface between syntax and semantics, based on logical theories of linear logic and ludics, and on sharp analyses of computing due to advanced theories in Theoretical Computer Sciences.

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

Автор: 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
Рейтинг:
Цена: 253440.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

Автор: Claus Peter Wirth, Joerg Siekmann, and Michael Gab
Название: Foundations of Mathematics I
ISBN: 1848900333 ISBN-13(EAN): 9781848900332
Издательство: Неизвестно
Рейтинг:
Цена: 34330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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