наша кнопка
|
 470 руб
| Хинчин, А.Я. |
| Цепные дроби |
1961 г.; Изд-во: М.: Физматгиз
|
| Теория цепных (или, как их чаще называют, непрерывных) дробей изучает специальный алгоритм, являющийся одним из важнейших орудий анализа, теории вероятностей, механики и в особенности теории чисел. Настоящее элементарное руководство имеет целью ознаком... |
 1500 руб
| Марков, А.А.; Нагорный, Н.М. |
| Теория алгорифмов |
Серия: Математическая логика и основания математики
1984 г.; Изд-во: М.: Наука
|
| В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам теории.
Для математиков, интересующихся основаниями матем... |
1200 руб
| Клайн, Морис |
| Математика. Утрата определенности |
1984 г.; Изд-во: М.: Мир
|
| Перевод с английского Ю. А. Данилова под редакцией д-ра физ.-мат. наук, проф. И. М. Яглома.
Художники Д. А. Аникеев, Ю. А. Ващенко.
Книга известного американского математика, профессора Нью-Йоркского университета Мориса Клайна, в яркой и увлекатель... |
590 руб
| Миркин, Б.Г. |
| Проблема группового выбора |
1974 г.; Изд-во: М.: Наука
|
| Проблема группового выбора - это проблема сведения нескольких индивидуальных мнений о порядке предпочтения объектов в единое "групповое" предпочтение. Она имеет непосредственное отношение, в частности, к теории и практике экспертного оценивания. Но в э... |
690 руб
| Роджерс, Хартли |
| Теория рекурсивных функций и эффективная вычислимость |
1972 г.; Изд-во: М.: Мир
|
| Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых... |
2800 руб
| Браун, К.С. |
| Когомологии групп |
1987 г.; Изд-во: М.: Наука
|
| Теория когомологий групп развилась к настоящему времени в разветвленную математическую дисциплину со своими методами, целями и результатами. Книга Брауна является вводным курсом, рассчитанным на начинающих, но достаточно полным и подводящим к ряду самы... |
1700 руб
| Чень, Ч.; Ли, Р. |
| Математическая логика и автоматическое доказательство теорем |
Серия: Математическая логика и основания математики
1983 г.; Изд-во: М.: Наука
|
| Перевод с англ. Г. Давыдова Г.Минца и А. Сочилиной.
Под редакцией и с предисловием С. Ю. Маслова.
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко использует... |
5500 руб
| ред. Барвайс, Джон |
| Справочная книга по математической логике. В 4 томах |
1982-1983 г.; Изд-во: М.: Наука. Главная редакция Физико-математической литературы
|
| Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика".
Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, ... |
970 руб
| Ершов, Ю.Л. |
| Проблемы разрешимости и конструктивные модели |
Серия: Математическая логика и основания математики
1980 г.; Изд-во: М.: Наука. Главная редакция Физико-математической литературы
|
| В книге излагаются основные методы доказательства разрешимости и неразрешимости элементарных теорий. Подробно изучаются теории таких интересных объектов, как булевы алгебры, абелевы группы, нормированные поля. Изложение этой части книги содержит весь н... |
1500 руб
| Смальян, Р. |
| Теория формальных систем |
Серия: Математическая логика и основания математики
1981 г.; Изд-во: М.: Наука. Главная редакция Физико-математической литературы
|
| В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение также охватывает основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных мно... |
1100 руб
| Клини, С.К.; Весли, Р.Е. |
| Основания интуиционистской математики с точки зрения теории рекурсивных функций |
Серия: Математическая логика и основания математики
1978 г.; Изд-во: М.: Наука
|
| В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций.
Перевод Ф.А. Кабакова и Б.А. Кушнера
ОГЛАВЛЕНИЕ
От переводчиков 7
Преди... |
2700 руб
| Кушнер, Б.А. |
| Лекции по конструктивному математическому анализу |
Серия: Математическая логика и основания математики
1973 г.; Изд-во: М.: Наука
|
| Борис Абрамович Кушнер (1941 - 2019) - выдающийся советский и американский математик, блестящий поэт, эссеист, музыкант, знаток еврейской истории и культуры, публицист. Профессор математики Питтсбургского университета (Пенсильвания) и удивительный лект... |
|
|
wowik
RU/70)
