При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.
Серия: Тайна Льва Гумилева 2008 г.; Изд-во: М.: Алгоритм
Книга "История монголов" состоит из двух работ, давно уже признанных классикой в области изучения истории империи Чингисхана и его наследников.
Одна из них, труд известного китаиста о. Иакинфа (Н.Я.Бичурина), посвящена первым четырем ханам, правившим ...
Серия: Курс высшей математики и математической физики. Выпуск 2 1965 г.; Изд-во: М.: Наука
Учебник для физических и физико-математических факультетов университетов.
Второй выпуск серии. Вместе с первым выпуском соответствует программе курса анализа для физических и физико-математических факультетов.
Создан на базе лекций, читавшихся автора...
Серия: Математическая библиотечка 1965 г.; Изд-во: М.: Наука
В теории выпуклых фигур есть много изящных результатов, вполне доступных пониманию школьников и в то же время представляющих интерес для специалистов-математиков. Некоторые из таких результатов и предложены вниманию читателей. Рассказано о комбинаторны...
Серия: Математическая логика и основания математики 1984 г.; Изд-во: М.: Наука
В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам теории.
Для математиков, интересующихся основаниями матем...
Серия: Математическая логика и основания математики 1983 г.; Изд-во: М.: Наука
Перевод с англ. Г. Давыдова Г.Минца и А. Сочилиной.
Под редакцией и с предисловием С. Ю. Маслова.
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко использует...
Серия: Математическая логика и основания математики 1980 г.; Изд-во: М.: Наука. Главная редакция Физико-математической литературы
В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь н...
Серия: Математическая логика и основания математики 1981 г.; Изд-во: М.: Наука. Главная редакция Физико-математической литературы
В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение также охватывает основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных мно...
Серия: Математическая логика и основания математики 1978 г.; Изд-во: М.: Наука
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций.
Перевод Ф.А. Кабакова и Б.А. Кушнера
ОГЛАВЛЕНИЕ
От переводчиков 7
Преди...
Серия: Математическая логика и основания математики 1973 г.; Изд-во: М.: Наука
Борис Абрамович Кушнер (1941 - 2019) - выдающийся советский и американский математик, блестящий поэт, эссеист, музыкант, знаток еврейской истории и культуры, публицист. Профессор математики Питтсбургского университета (Пенсильвания) и удивительный лект...
Серия: Математическая логика и основания математики 1979 г.; Изд-во: М.: Наука
В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных акс...
Серия: Математическая логика и основания математики 1970 г.; Изд-во: М.: Наука
Настоящая книга объединяет переводы книг Р.Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ". Р.Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. В ...
Серия: Математическая логика и основания математики 1977 г.; Изд-во: М.: Наука
Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов.
Монография рассчитана на специалистов по теории алгоритмов, но отдельные ее части будут полезны и более...
570 руб
690 руб
wowik
RU/70)
