Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Reverse Mathematics, Dzhafarov


Варианты приобретения
Цена: 9083.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Dzhafarov
Название:  Reverse Mathematics
ISBN: 9783031113666
Издательство: Springer
Классификация:


ISBN-10: 3031113667
Обложка/Формат: Hardback
Страницы: 488
Вес: 0.92 кг.
Дата издания: 09.08.2022
Серия: Theory and Applications of Computability
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 1 illustrations, black and white; xix, 488 p. 1 illus.; 1 illustrations, black and white; xix, 488 p. 1 illus.
Размер: 235 x 155
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: Problems, Reductions, and Proofs
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems.


Concrete Mathematics

Автор: Graham Ronald L.
Название: Concrete Mathematics
ISBN: 0201558025 ISBN-13(EAN): 9780201558029
Издательство: Pearson Education
Рейтинг:
Цена: 15517.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Introduces the mathematics that supports advanced computer programming and the analysis of algorithms. This book includes more than 500 exercises, divided into six categories. Complete answers are provided for all exercises, except research problems. It is useful for computer scientists and also for users of mathematics in various disciplines.

Basic Category Theory

Автор: Leinster
Название: Basic Category Theory
ISBN: 1107044243 ISBN-13(EAN): 9781107044241
Издательство: Cambridge Academ
Рейтинг:
Цена: 8237.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assuming little mathematical background, this short introduction to category theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. Suitable for independent study or as a course book, it gives extensive explanations of the key concepts along with hundreds of examples and exercises.

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Автор: Brendan Fong, David I. Spivak
Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality
ISBN: 1108711820 ISBN-13(EAN): 9781108711821
Издательство: Cambridge Academ
Рейтинг:
Цена: 7286.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles

Автор: Hirschfeldt Denis R.
Название: Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles
ISBN: 9814612618 ISBN-13(EAN): 9789814612616
Издательство: World Scientific Publishing
Рейтинг:
Цена: 6019.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.

Metamathematics of First-Order Arithmetic

Автор: Petr Hajek
Название: Metamathematics of First-Order Arithmetic
ISBN: 1107168414 ISBN-13(EAN): 9781107168411
Издательство: Cambridge Academ
Рейтинг:
Цена: 16743.00 р. 23918.00 -30%
Наличие на складе: Есть (1 шт.)
Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

Analysis and control of finite-valued systems

Автор: Li, Haitao (shandong Normal University) Zhao, Guod
Название: Analysis and control of finite-valued systems
ISBN: 1138556505 ISBN-13(EAN): 9781138556508
Издательство: Taylor&Francis
Рейтинг:
Цена: 27562.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. The book contains examples to provide a better understanding of the practical applications of finite-value systems.

Reverse Mathematics: Proofs from the Inside Out

Автор: Stillwell John
Название: Reverse Mathematics: Proofs from the Inside Out
ISBN: 0691196419 ISBN-13(EAN): 9780691196411
Издательство: Wiley
Рейтинг:
Цена: 2850.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The first book surveying the history and ideas behind reverse mathematics

Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. In Reverse Mathematics, John Stillwell offers a historical and representative view, emphasizing basic analysis and giving a novel approach to logic. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.

Spectral Analysis for Univariate Time Series

Автор: Donald B. Percival, Andrew T. Walden
Название: Spectral Analysis for Univariate Time Series
ISBN: 1107028140 ISBN-13(EAN): 9781107028142
Издательство: Cambridge Academ
Рейтинг:
Цена: 14573.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Spectral analysis is an important technique for interpreting time series data. This book uses the R language and real world examples to show data analysts interested in time series in the environmental, engineering and physical sciences how to bridge the gap between the statistical theory behind spectral analysis and its application to actual data.

Mathematics of Quantum Computing: An Introduction

Автор: Scherer Wolfgang
Название: Mathematics of Quantum Computing: An Introduction
ISBN: 303012360X ISBN-13(EAN): 9783030123604
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Introduction.- Basic Notions of Quantum Mechanics.- Tensor Products and Composite Systems.- Entanglement.- Quantum Gates and Circuits for Elementary Calculations.- On the Use of Entanglement.- Error Correction.- Adiabatic Quantum Computing.- Epilogue Appendices: A Elementary Probability Theory.- B Elementary Arithmetic Operations.- C LANDAU Symbols.- D Modular Arithmetic.- E Continued Fractions.- F Some Group Theory.- G Proof of a Quantum Adiabatic Theorem.- Solutions to Exercises.


Voronoi Diagrams and Delaunay Triangulations

Автор: Aurenhammer Franz
Название: Voronoi Diagrams and Delaunay Triangulations
ISBN: 9814447633 ISBN-13(EAN): 9789814447638
Издательство: World Scientific Publishing
Рейтинг:
Цена: 13556.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Voronoi diagrams partition space according to the influence certain sites exert on their environment. Since the 17th century, such structures play an important role in many areas like Astronomy, Physics, Chemistry, Biology, Ecology, Economics, Mathematics and Computer Science. They help to describe zones of political influence, to determine the hospital nearest to an accident site, to compute collision-free paths for mobile robots, to reconstruct curves and surfaces from sample points, to refine triangular meshes, and to design location strategies for competing markets.This unique book offers a state-of-the-art view of Voronoi diagrams and their structure, and it provides efficient algorithms towards their computation.Readers with an entry-level background in algorithms can enjoy a guided tour of gently increasing difficulty through a fascinating area. Lecturers might find this volume a welcome source for their courses on computational geometry. Experts are offered a broader view, including many alternative solutions, and up-to-date references to the existing literature; they might benefit in their own research or application development.

Numerical Analysis for Engineers and Scientists

Автор: Miller
Название: Numerical Analysis for Engineers and Scientists
ISBN: 1107021081 ISBN-13(EAN): 9781107021082
Издательство: Cambridge Academ
Рейтинг:
Цена: 10613.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Striking a balance between theory and practice, this graduate-level text is perfect for students in the applied sciences. It provides full coverage of classical methods with a clear explanation of how they work, together with sample programs and many practical examples to help students get started.

Mathematical Structures for Computer Graphics

Автор: Janke, Steven J.
Название: Mathematical Structures for Computer Graphics
ISBN: 1118712196 ISBN-13(EAN): 9781118712191
Издательство: Wiley
Рейтинг:
Цена: 9654.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия