Каталог
Меню
Войти
0Сравнение
0Избранное
Каталог
Войти
0Сравнить
0Избранное

Обратная математика. Доказательства, вывернутые наизнанку

...
  Сравнить
  В избранное
Показать все аналоги
Ещё от "Буквоед":
  Похожие товары
  Видео обзоры

Рекомендательный сервис

  • Общий рейтинг 4.06
  • Рейтинг покупателей 3.66
  • Рейтинг экспертов 4.40
  • Качество материалов 4.69
  • Надежность 4.00
  • Простота в использовании 4.94
  • Ремонтопригодность 4.19
  • Эффективность выполнения своих функций 4.16
  • Коэффициент удивления "Вау!" 4.06
  • Безопасность для пользователя4.60
  • Внешний вид 4.94
  • Удобство в уходе и чистке 4.91
  • Экологическая безопасность 4.43
  • Гарантия на товар 4.99
  • Соответствие стандартам качества 4.04
  • Инновационные технологии 4.90
  • Хит продаж 4.06
  • Скорость морального устаревания 4.61
  • Энергоэффективность 4.14
  • Универсальность использования 4.60
  • Наличие дополнительных функций 4.93
  • Соотношение цена-качество 3.49
  • Практичность и удобство хранения 4.60
  • Стабильность работы в различных условиях 4.36
  • Возможность персонализации 4.00
  • Ликвидность 4.10
  • Индекс рекомендаций 3.99
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины». Для читателей, интересующихся основами математической науки.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников.
Эксперт: Ростислав Т., специалист по потребительским товарам
Дата рецензии: 20 июня 2025 г.
Рекомендация к покупке нейтральная

Отзывы о товаре

Спасибо Ваш отзыв будет опубликован после проверки модераторами.
Добавить отзыв

Доставка покупки

    • Курьерской службой;
    • Самовывоз из магазинов;
    • Самовывоз из постаматов или пунктов выдачи.

Оплата заказа

    • Наличными или картой при самовывозе;
    • Банковской картой на сайте;
    • Банковским переводом для физических и юридических лиц.
  • Наименование: ООО «Новый Книжный Центр»
  • ИНН: 7710422909

Рекомендуем аналогичные товары

- 12%
...
Обратная математика. Доказательства, вывернутые наизнанку
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы. В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины». Для читателей, интересующихся основами математической науки.
Цена 1655 руб.
СравнитьКупить
  • Серия

    Основы наук Музыка: искусство, наука, мастерство Математика Физико-математическое наследие: математика (математический анализ) НАУКУ — ВСЕМ! Шедевры научно-популярной литературы (математика)

  • Издательство

    Наука Знание Наука КомКнига Дело Новое знание Наука МАИ Физматкнига ИКИ Математическая логика

  • Направление

    Драма Конец света

1 655 ₽
...
Обратная математика. Доказательства, вывернутые наизнанку
Обратная математика «выворачивает наизнанку» традиционную математическую логику: ее цель – не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.В этой книге Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Вы узнаете о том, как установить пределы вычислимости в анализе, как решаются проблемы математики, связанные с алгоритмами, ознакомитесь с системами аксиом RCA0, WKL0 и ACA0 и с концепцией математической «глубины».Для читателей, интересующихся основами математической науки.
Цена 1655 руб.
СравнитьКупить
  • Серия

    Детям про ЭТО Книги, которые все ждали Сказки Музыка: искусство, наука, мастерство Эксклюзивная классика (Лучшее) Простая наука для детей Детям о праве Наука для всех Книги, о которых говорят НАУКУ — ВСЕМ! Шедевры научно-популярной литературы (математика) Наука, сэр! Медицинский нон-фикшн для ума и тела Новое знание

  • Издатель

    Моркнига Наука ИГ Весь Знание Наука КомКнига Связь Транзиткнига Аудиокнига ИКИ Дальнаука Знак Традиция Система

  • Тип носителя

    Шаманов Алексей

  • Направление в научной литературе

    Популярная анатомия и физиология

1 655 ₽
...
Душа, вывернутая наизнанку. Записки с фрегата
Нередко случается, что человек живёт по привычным лекалам и чужим стандартам, игнорируя то, что на самом деле ему хочется совсем другой жизни. Но однажды наступает час Х, когда всё можно изменить и начать заново, ориентируясь только на свою мечту как на маяк.«Душа, вывернутая наизнанку» — это роман-путешествие влюблённой Королевы, в котором пересекаются миры и пространства, наполненные магическими смыслами и кофейными расчётами, и где каждый шаг к себе вызывает вокруг восхитительное волшебство.Эту книгу можно носить с собой как аксессуар и перечитывать малыми дозами за чашечкой кофе в изысканном кафе, держать на журнальном столике и возвращаться к любимым главам время от времени, вызывая волшебную реальность.
Цена 1379 руб.
СравнитьКупить
1 379 ₽
- 12%
...
Душа, вывернутая наизнанку. Записки с фрегата
Нередко случается, что человек живёт по привычным лекалам и чужим стандартам, игнорируя то, что на самом деле ему хочется совсем другой жизни. Но однажды наступает час Х, когда всё можно изменить и начать заново, ориентируясь только на свою мечту как на маяк. «Душа, вывернутая наизнанку» — это роман-путешествие влюблённой Королевы, в котором пересекаются миры и пространства, наполненные магическими смыслами и кофейными расчётами, и где каждый шаг к себе вызывает вокруг восхитительное волшебство. Эту книгу можно носить с собой как аксессуар и перечитывать малыми дозами за чашечкой кофе в изысканном кафе, держать на журнальном столике и возвращаться к любимым главам время от времени, вызывая волшебную реальность.
Цена 1379 руб.
СравнитьКупить
1 379 ₽
...
Душа наизнанку
В этом поэтическом сборнике представлены стихи разных лет. Путешествуя по его страницам, вы сможете наблюдать, как менялся стиль написания, внутренний мир и взгляды автора стечением времени. А также прикоснётесь к женской душе, вывернутой перед вами наизнанку.
Цена 873 руб.
СравнитьКупить
873 ₽
...
Душа наизнанку
В этом поэтическом сборнике представлены стихи разных лет. Путешествуя по его страницам, вы сможете наблюдать, как менялся стиль написания, внутренний мир и взгляды автора стечением времени. А также прикоснётесь к женской душе, вывернутой перед вами наизнанку.
Цена 873 руб.
СравнитьКупить
873 ₽
- 12%
...
Цирк наизнанку
Книга "Цирк наизнанку" не просто так названа. В ней есть очередная попытка рассказать читателю о людях цирка, о тех, кто виден не только во всей своей красе на манеже, но прежде всего живущих там в закулисье, в тени обыденной, повседневной жизни, в преддверии выхода под яркие софиты. Зритель, любой зритель, будь то театральный, или цирковой, порой даже представления не имеет, что там происходит, в том тихом, замкнутом тринадцатиметровом омуте, где все то захватывающее дух куется.
Цена 1103 руб.
СравнитьКупить
1 103 ₽
...
Цирк наизнанку
Книга "Цирк наизнанку" не просто так названа. В ней есть очередная попытка рассказать читателю о людях цирка, о тех, кто виден не только во всей своей красе на манеже, но прежде всего живущих там в закулисье, в тени обыденной, повседневной жизни, в преддверии выхода под яркие софиты. Зритель, любой зритель, будь то театральный, или цирковой, порой даже представления не имеет, что там происходит, в том тихом, замкнутом тринадцатиметровом омуте, где все то захватывающее дух куется.
Цена 1103 руб.
СравнитьКупить
1 103 ₽
- 12%
...
Судебные доказательства
В пятом издании монографии Михаила Треушникова «Судебные доказательства» исследуются теоретические и практические проблемы доказывания и доказательств в гражданском и административном судопроизводствах с учетом обновления российского процессуального законодательства, изменений судебной системы, достижений теории доказательственного права. Рассматривается значение судебных доказательств как средств достижения верного знания о фактических обстоятельствах дела и обоснования выводов суда в решении, дается их классификация. Показываются современные тенденции развития системы доказательств в связи с обновленным содержанием принципа состязательности и усилением активности сторон. Изучаются отдельные виды доказательств, специфика их оценки судом. Излагаются взгляды ученых, высказанные в связи с практикой применения норм ГПК РФ и АПК РФ в течение более десяти лет. Научные положения теории доказательств в гражданском судопроизводстве применимы и в административном судопроизводстве, поскольку отражают многовековой опыт российской правовой школы по теории доказательств. Книга рассчитана на студентов, аспирантов, преподавателей юридических вузов, научных работников, судей, представителей сторон и других практических работников юстиции. Она может быть использована как юридическая литература по спецкурсу «Доказательства» и при написании курсовых и дипломных работ студентами, обучающимися по программам бакалавриата и магистратуры.
Цена 809 руб.
СравнитьКупить
809 ₽
...
Судебные доказательства
В пятом издании монографии Михаила Треушникова «Судебные доказательства» исследуются теоретические и практические проблемы доказывания и доказательств в гражданском и административном судопроизводствах с учетом обновления российского процессуального законодательства, изменений судебной системы, достижений теории доказательственного права.Рассматривается значение судебных доказательств как средств достижения верного знания о фактических обстоятельствах дела и обоснования выводов суда в решении, дается их классификация. Показываются современные тенденции развития системы доказательств в связи с обновленным содержанием принципа состязательности и усилением активности сторон.Изучаются отдельные виды доказательств, специфика их оценки судом. Излагаются взгляды ученых, высказанные в связи с практикой применения норм ГПК РФ и АПК РФ в течение более десяти лет. Научные положения теории доказательств в гражданском судопроизводстве применимы и в административном судопроизводстве, поскольку отражают многовековой опыт российской правовой школы по теории доказательств.Книга рассчитана на студентов, аспирантов, преподавателей юридических вузов, научных работников, судей, представителей сторон и других практических работников юстиции. Она может быть использована как юридическая литература по спецкурсу «Доказательства» и при написании курсовых и дипломных работ студентами, обучающимися по программам бакалавриата и магистратуры.
Цена 809 руб.
СравнитьКупить
  • Серия

    Найди и покажи Вопрос - ответ(бол) Книги, которые все ждали Сказки Эксклюзивная классика (Лучшее) Магия Гиппенрейтер(под) Детям о праве Книги, о которых говорят Полный школьный курс Высший курс Школьная Правила работы Элементы (Россия) Новое знание Три века

  • Издатель

    Магистр Моркнига Знание Высшая школа Пятый Рим Норма КомКнига Времена 2 Время Связь Литература Транзиткнига Страта Современная школа Аудиокнига ИКИ СО РАН Век 2 Система

  • Тип носителя

    Шаманов Алексей

  • Эпоха публикации

    8+

  • Направление в научной литературе

    Лечебное питание

809 ₽

Дополнительно из категории

- 21%
...
Primes of the Form x2+ny2. Fermat, Class Field Theory, and Complex Multiplication
An exciting approach to the history and mathematics of number theory “. . . the author’s style is totally lucid and very easy to read . . .the result is indeed a wonderful story.” —Mathematical Reviews Written in a unique and accessible style for readers of varied mathematical backgrounds, the Second Edition of Primes of the Form p = x2+ ny2 details the history behind how Pierre de Fermat’s work ultimately gave birth to quadratic reciprocity and the genus theory of quadratic forms. The book also illustrates how results of Euler and Gauss can be fully understood only in the context of class field theory, and in addition, explores a selection of the magnificent formulas of complex multiplication. Primes of the Form p = x2 + ny2, Second Edition focuses on addressing the question of when a prime p is of the form x2 + ny2, which serves as the basis for further discussion of various mathematical topics. This updated edition has several new notable features, including: • A well-motivated introduction to the classical formulation of class field theory • Illustrations of explicit numerical examples to demonstrate the power of basic theorems in various situations • An elementary treatment of quadratic forms and genus theory • Simultaneous treatment of elementary and advanced aspects of number theory • New coverage of the Shimura reciprocity law and a selection of recent work in an updated bibliography Primes of the Form p = x2 + ny2, Second Edition is both a useful reference for number theory theorists and an excellent text for undergraduate and graduate-level courses in number and Galois theory.
Цена 5919 руб.
СравнитьКупить
  • Издательство

    МАИ

  • Форматы
    PDF
5 919 ₽
- 21%
...
Theory of Computation
Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow explanations build the general theory gradually, which guides readers through the modeling and mathematical analysis of computational phenomena and provides insights on what makes things tick and also what restrains the ability of computational processes. Recognizing the importance of acquired practical experience, the book begins with the metatheory of general purpose computer programs, using URMs as a straightforward, technology-independent model of modern high-level programming languages while also exploring the restrictions of the URM language. Once readers gain an understanding of computability theory—including the primitive recursive functions—the author presents automata and languages, covering the regular and context-free languages as well as the machines that recognize these languages. Several advanced topics such as reducibilities, the recursion theorem, complexity theory, and Cook's theorem are also discussed. Features of the book include: A review of basic discrete mathematics, covering logic and induction while omitting specialized combinatorial topics A thorough development of the modeling and mathematical analysis of computational phenomena, providing a solid foundation of un-computability The connection between un-computability and un-provability: G?del's first incompleteness theorem The book provides numerous examples of specific URMs as well as other programming languages including Loop Programs, FA (Deterministic Finite Automata), NFA (Nondeterministic Finite Automata), and PDA (Pushdown Automata). Exercises at the end of each chapter allow readers to test their comprehension of the presented material, and an extensive bibliography suggests resources for further study. Assuming only a basic understanding of general computer programming and discrete mathematics, Theory of Computation serves as a valuable book for courses on theory of computation at the upper-undergraduate level. The book also serves as an excellent resource for programmers and computing professionals wishing to understand the theoretical limitations of their craft.
Цена 12808 руб.
СравнитьКупить
  • Издательство

    МАИ

  • Форматы
    PDF
12 808 ₽
- 21%
...
Modeling of Next Generation Digital Learning Environments. Complex Systems Theory
The emergence of social networks, OpenCourseWare, Massive Open Online Courses, informal remote learning and connectivist approaches to learning has made the analysis and evaluation of Digital Learning Environments more complex. Modeling these complex systems makes it possible to transcribe the phenomena observed and facilitates the study of these processes with the aid of specific tools. Once this essential step is taken, it then becomes possible to develop plausible scenarios from the observation of emerging phenomena and dominant trends. This book highlights the contribution of complex systems theory in the study of next generation Digital Learning Environments. It describes a realistic approach and proposes a range of effective management tools to achieve it.
Цена 18048 руб.
СравнитьКупить
  • Издательство

    МАИ

  • Форматы
    PDF
18 048 ₽
- 21%
...
Theory of Computational Complexity
Praise for the First Edition «…complete, up-to-date coverage of computational complexity theory…the book promises to become the standard reference on computational complexity.» -Zentralblatt MATH A thorough revision based on advances in the field of computational complexity and readers’ feedback, the Second Edition of Theory of Computational Complexity presents updates to the principles and applications essential to understanding modern computational complexity theory. The new edition continues to serve as a comprehensive resource on the use of software and computational approaches for solving algorithmic problems and the related difficulties that can be encountered. Maintaining extensive and detailed coverage, Theory of Computational Complexity, Second Edition, examines the theory and methods behind complexity theory, such as computational models, decision tree complexity, circuit complexity, and probabilistic complexity. The Second Edition also features recent developments on areas such as NP-completeness theory, as well as: A new combinatorial proof of the PCP theorem based on the notion of expander graphs, a research area in the field of computer science Additional exercises at varying levels of difficulty to further test comprehension of the presented material End-of-chapter literature reviews that summarize each topic and offer additional sources for further study Theory of Computational Complexity, Second Edition, is an excellent textbook for courses on computational theory and complexity at the graduate level. The book is also a useful reference for practitioners in the fields of computer science, engineering, and mathematics who utilize state-of-the-art software and computational methods to conduct research. A thorough revision based on advances in the field of computational complexity and readers’feedback, the Second Edition of Theory of Computational Complexity presents updates to theprinciples and applications essential to understanding modern computational complexitytheory. The new edition continues to serve as a comprehensive resource on the use of softwareand computational approaches for solving algorithmic problems and the related difficulties thatcan be encountered.Maintaining extensive and detailed coverage, Theory of Computational Complexity, SecondEdition, examines the theory and methods behind complexity theory, such as computationalmodels, decision tree complexity, circuit complexity, and probabilistic complexity. The SecondEdition also features recent dev
Цена 12517 руб.
СравнитьКупить
  • Серия

    New Science

  • Издательство

    МАИ

  • Форматы
    PDF
12 517 ₽
- 13%
...
A First Course in Mathematical Logic and Set Theory
A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems. The book begins with propositional logic, including two-column proofs and truth table applications, followed by first-order logic, which provides the structure for writing mathematical proofs. Set theory is then introduced and serves as the basis for defining relations, functions, numbers, mathematical induction, ordinals, and cardinals. The book concludes with a primer on basic model theory with applications to abstract algebra. A First Course in Mathematical Logic and Set Theory also includes: Section exercises designed to show the interactions between topics and reinforce the presented ideas and concepts Numerous examples that illustrate theorems and employ basic concepts such as Euclid’s lemma, the Fibonacci sequence, and unique factorization Coverage of important theorems including the well-ordering theorem, completeness theorem, compactness theorem, as well as the theorems of L?wenheim–Skolem, Burali-Forti, Hartogs, Cantor–Schr?der–Bernstein, and K?nig An excellent textbook for students studying the foundations of mathematics and mathematical proofs, A First Course in Mathematical Logic and Set Theory is also appropriate for readers preparing for careers in mathematics education or computer science. In addition, the book is ideal for introductory courses on mathematical logic and/or set theory and appropriate for upper-undergraduate transition courses with rigorous mathematical reasoning involving algebra, number theory, or analysis.
Цена 11344 руб.
СравнитьКупить
  • Издательство

    МАИ

  • Форматы
    PDF
11 344 ₽
Москва
Санкт-Петербург
Ангарск
Армавир
Архангельск
Астрахань
Балаково
Балашиха
Барнаул
Белгород
Бийск
Благовещенск
Братск
Брянск
Великий Новгород
Владивосток
Владикавказ
Владимир
Волгоград
Волжский
Вологда
Воронеж
Грозный
Дзержинск
Екатеринбург
Иваново
Ижевск
Иркутск
Йошкар-Ола
Казань
Калининград
Калуга
Кемерово
Киров
Комсомольск-на-Амуре
Королёв
Кострома
Краснодар
Красноярск
Курган
Курск
Липецк
Магнитогорск
Махачкала
Мурманск
Набережные Челны
Нальчик
Нижневартовск
Нижнекамск
Нижний Новгород
Нижний Тагил
Новокузнецк
Новороссийск
Новосибирск
Омск
Орёл
Оренбург
Орск
Пенза
Пермь
Петрозаводск
Петропавловск-Камчатский
Подольск
Прокопьевск
Псков
Ростов-на-Дону
Рыбинск
Рязань
Самара
Саранск
Саратов
Северодвинск
Смоленск
Сочи
Ставрополь
Старый Оскол
Стерлитамак
Сургут
Сыктывкар
Таганрог
Тамбов
Тверь
Тольятти
Томск
Тула
Тюмень
Улан-Удэ
Ульяновск
Уфа
Хабаровск
Химки
Чебоксары
Челябинск
Череповец
Чита
Шахты
Энгельс
Южно-Сахалинск
Якутск
Ярославль
другой город