Книга: Босс В. «Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6»

Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6

Серия: "Лекции по математике В. Босса"

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников. Издание стереотипное.

Издательство: "URSS" (2019)

ISBN: 978-5-397-04993-1,978-5-397-06483-5,978-5-397-05866-7

Купить за 473 руб в My-shop

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Лекции по математике. Дифференциальные уравнения. Том 2Книга отличается краткостью и прозрачностью изложения, вплоть до объяснений "на пальцах" . Значительное… — URSS, - Подробнее...2017757бумажная книга
Лекции по математике. Дифференциальные уравнения. Том 2Книга отличается краткостью и прозрачностью изложения, вплоть до объяснений "на пальцах" . Значительное… — URSS, - Подробнее...2019455бумажная книга
Лекции по математике. Контрпримеры и парадоксы. Том № 12Рассматриваются контрпримеры и парадоксы, рассеянные по другим томам и территориям. В отличие от… — URSS, Лекции по математике В. Босса Подробнее...2019455бумажная книга
Лекции по математике. Теория групп. Том 8В настоящей книге изложение преследует цель перевести теорию групп из разряда узкоспециализированных… — URSS, - Подробнее...2019455бумажная книга
Лекции по математике. ТФКП. Том 9Содержание книги охватывает обычное ядро теории аналитических функций и дает некоторое представление об… — URSS, Лекции по математике В. Босса Подробнее...2019455бумажная книга
Лекции по теории управления. Оптимальное управление. Том 2Рассматривается классическая проблематика теории оптимального управления. Изложение начинается с базовых… — URSS, - Подробнее...2016455бумажная книга
Лекции по математике. Том 16: Теория множеств: от Кантора до КоэнаНастоящий том "Лекций" посвящен теории множеств в диапазоне от наивной трактовки проблематики до ее… — URSS, Лекции по математике В. Босса Подробнее...2018455бумажная книга
Лекции по математике. Анализ. Том 1Настоящая книга представляет собой первый том "Лекций по математике", посвященный математическому анализу… — URSS, Лекции по математике В. Босса Подробнее...2018455бумажная книга
Лекции по математике. Оптимизация. Том 7Книга охватывает классические разделы теории экстремальных задач: условная и безусловная оптимизация… — URSS, Лекции по математике В. Босса Подробнее...2017455бумажная книга
Лекции по математике. Линейная алгебра. Том 3Настоящий том лекций посвящен линейной алгебре. Аналитическая геометрия рассматривается как… — URSS, - Подробнее...2019455бумажная книга
Лекции по математике: Контрпримеры и парадоксы / Т. 12. Изд. 3Лекции по математике: Контрпримеры и парадоксы / Т. 12. Изд. 3 — Подробнее...2016427бумажная книга
Лекции по математике: Теория группВ настоящей книге изложение преследует цель перевести теорию групп из разряда узкоспециализированных… — Подробнее...2017427бумажная книга
Интуиция и математика / Изд. стереотип.Интуиция и математика / Изд. стереотип — Подробнее...2016330бумажная книга
Лекции по теории управления. Оптимальное управление. Том 2Рассматривается классическая проблематика теории оптимального управления. Изложение начинается с базовых… — URSS, - Подробнее...2016776бумажная книга
Лекции по математике. Перебор и эффективные алгоритмы. Том 10Настоящий том лекций посвящен теории сложности алгоритмов в той ее части, где речь идет о противостоянии P- и… — URSS, Лекции по математике В. Босса Подробнее...2017455бумажная книга

См. также в других словарях:

  • Рекурсивные функции — (от позднелатинского recursio возвращение)         название, закрепившееся за одним из наиболее распространённых вариантов уточнения общего понятия арифметического алгоритма, т.е. такого Алгоритма, допустимые исходные данные которого представляют …   Большая советская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»