| Найдено документов - 13 | Найти похожие: "Индекс ББК" = 'В121' | Версия для печати |
Сортировать по:
1. Документ
Перминов Василий Яковлевич.
Философия и основание математики / Перминов Василий Яковлевич. - Москва : Прогресс-Традиция, 2001. - 319 с. - Библиогр.: с. 301-314. - Предм. указ.: с. 315-316. - ISBN 5-89826-098-6 : 100.00.
Философия и основание математики / Перминов Василий Яковлевич. - Москва : Прогресс-Традиция, 2001. - 319 с. - Библиогр.: с. 301-314. - Предм. указ.: с. 315-316. - ISBN 5-89826-098-6 : 100.00.
Шифры: В1в - П 27
Ключевые слова: Доказательства (мат.), Логика, Логические нормы, Математика, Математические доказательства, Надежность логических норм, Надежность математического доказательства, Обоснование математики, Онтологическое обоснование, Основания математики, Релятивистская философия математики, Системное обоснование, Философия математики
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга посвящена анализу философских вопросов, связанных с проблемой обоснования математики . Автор предлагает принципиально новые подходы к решению этих вопросов, основанные на понимании априорной природы исходных математических идеализаций Дается систематическая критика философской основы классических программ обоснования математики. Рассматривается связь проблемы обоснования математики с основными направлениями современной теории познания.
2. Документ
Традиционная логика и канторовская диагональная процедура : [сб. работ] / Ин-т истории естествознания и техники им. С. И. Вавилова (РАН) ; отв. ред.: Е. А. Зайцев. - Москва : Янус-К, 1997. - 31,[1] с. - Библиогр. в конце работ. - ISBN 5-88929-048-7 : 5.00.
Авторы: Зайцев Е. А., Балдин Евгений Владимирович, Бычков Сергей Николаевич, Виннер Даниил Игоревич, Шашкин Леонид Олегович
Шифры: В121 - Т65
Ключевые слова: Математика, Основания математики, Философия математики, Логика, Традиционная логика, Диагональный метод Кантора, Канторовская диагональная процедура, Формальная логика, Теория множеств, Теория алгоритмов, Отрицание в логике
Экземпляры: Всего: 1, из них: к3-1
Подробнее
3. Документ
Панов Михаил Иванович.
Методологические проблемы интуиционистской математики / Панов Михаил Иванович; М. И. Панов ; отв. ред. Е. Ф. Солопов ; АН СССР, Центр. совет филос. (методол.) семинаров при Президиуме АН СССР. - Москва : Наука, 1984. - 222, [2] с. - Библиогр. в подстроч. примеч. - Указ. имен.: с. 198-223. - 1.40.
Методологические проблемы интуиционистской математики / Панов Михаил Иванович; М. И. Панов ; отв. ред. Е. Ф. Солопов ; АН СССР, Центр. совет филос. (методол.) семинаров при Президиуме АН СССР. - Москва : Наука, 1984. - 222, [2] с. - Библиогр. в подстроч. примеч. - Указ. имен.: с. 198-223. - 1.40.
Авторы: Панов Михаил Иванович, Солопов Е. Ф.
Шифры: В121 - П16
Ключевые слова: Математика, Философия математики
Экземпляры: Всего: 1, из них: к3-1
Подробнее
4. Документ
Гильберт Давид.
Основания математики : логические исчисления и формализация арифметики / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл. С. И. Адяна]. - Москва : Наука, 1979. - 557 с. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik / D. Hilbert, P. Bernays (Berlin etc.,1968). - Алф. указ.: с. 551-557. - 37.00.
Основания математики : логические исчисления и формализация арифметики / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл. С. И. Адяна]. - Москва : Наука, 1979. - 557 с. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik / D. Hilbert, P. Bernays (Berlin etc.,1968). - Алф. указ.: с. 551-557. - 37.00.
Авторы: Гильберт Давид, Бернайс Пауль, Нагорный Н. М., Адян Сергей Иванович
Шифры: 517.21 - Г47
Ключевые слова: Математическая логика, Основания математики
Экземпляры: Всего: 3, из них: к3-3
Подробнее
5. Документ
Никольский В. Н.
Основания математики : Конспект лекций. Ч. 4 / В. Н. Никольский; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : Изд-во Калинин.ун-та, 1969. - 98 с. - 0.50.
Основания математики : Конспект лекций. Ч. 4 / В. Н. Никольский; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : Изд-во Калинин.ун-та, 1969. - 98 с. - 0.50.
Шифры: 51 - Н64
Ключевые слова: Математика, Основания математики, Учебники
Экземпляры: Всего: 103, из них: к3-103
Подробнее
6. Документ
Никольский Владимир Николаевич.
Основания математики : Конспект лекций. Вып.3 / Никольский Владимир Николаевич; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т ; Калинин. гос. пед. ин-т. - Калинин, 1969. - 136 с. : ил. - 1671-00.
Основания математики : Конспект лекций. Вып.3 / Никольский Владимир Николаевич; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т ; Калинин. гос. пед. ин-т. - Калинин, 1969. - 136 с. : ил. - 1671-00.
Авторы: Никольский Владимир Николаевич, Романов А. И.
Шифры: 51 - Н64
Ключевые слова: Математика, Асиомы, Основания математики
Экземпляры: Всего: 110, из них: к3-110
Подробнее
7. Документ
Никольский Владимир Николаевич.
Основания математики : (Конспект лекций). Вып. 2 / Никольский Владимир Николаевич; В. Н. Никольский; Вып. подгот. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин, 1968. - 124 с. : ил. - 1 336-00.
Основания математики : (Конспект лекций). Вып. 2 / Никольский Владимир Николаевич; В. Н. Никольский; Вып. подгот. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин, 1968. - 124 с. : ил. - 1 336-00.
Шифры: 51 - Н64
Ключевые слова: Основания математики, Математика, Учебники
Экземпляры: Всего: 21, из них: к3-21
Подробнее
8. Документ
Никольский Владимир Николаевич.
Основания математики : (конспект лекций). Вып. 1 / Никольский Владимир Николаевич; В. Н. Никольский ; подгот. и обраб. А. И. Романов ; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : КГПИ, 1967. - 61,[1] с. : ил. - 4009.00.
Основания математики : (конспект лекций). Вып. 1 / Никольский Владимир Николаевич; В. Н. Никольский ; подгот. и обраб. А. И. Романов ; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : КГПИ, 1967. - 61,[1] с. : ил. - 4009.00.
Авторы: Никольский Владимир Николаевич, Романов А . И.
Шифры: 51 - Н64
Ключевые слова: Математика, Основания математики, Учебники
Экземпляры: Всего: 6, из них: к3-5, к9-1
Подробнее
9. Документ
Барков Иван Яковлевич.
Основания арифметики действительных чисел / Барков Иван Яковлевич; И. Я. Барков. - Челябинск : Книжное изд-во, 1960. - 254,[1] с. - Библиогр.: с.252. - 3 441-00.
Основания арифметики действительных чисел / Барков Иван Яковлевич; И. Я. Барков. - Челябинск : Книжное изд-во, 1960. - 254,[1] с. - Библиогр.: с.252. - 3 441-00.
Шифры: В130 - Б25
Ключевые слова: Числа, Действительные числа, Арифметика действительных чисел, Основания арифметики
Экземпляры: Всего: 2, из них: к3-2
Подробнее
10. Документ
Кашин Н. В.
Основания математического анализа. Ч. 1 : Учение о числе / Н. В. Кашин; Н. В. Кашин. - 2-е изд., перераб. - Л. : Брокгауз-Ефрон, 1926. - 163 с. - 7 000-00.
Основания математического анализа. Ч. 1 : Учение о числе / Н. В. Кашин; Н. В. Кашин. - 2-е изд., перераб. - Л. : Брокгауз-Ефрон, 1926. - 163 с. - 7 000-00.
Шифры: 517 - К31
Ключевые слова: Математический анализ, Основания анализа, Учение о числе, Числа, Число
Экземпляры: Всего: 3, из них: к3-3
Подробнее
11. Книга
Фусс Николай Иванович (1755-1829).
Начальные основания чистой математики : в 3 ч. Ч. 3, содержащая: : 1) Приложение алгебры к геометрии, 2) плоскую тригонометрию, 3) конические сечения, и 4) основания дифференциального и интегрального исчисления, изданные от Главного правления училищ / Фусс Николай Иванович. - Санкт-Петербург : в типографии Департамента народного просвещения, 1823. - 368 с., [11] л. табл. ; 19 см. - 25.00.
Начальные основания чистой математики : в 3 ч. Ч. 3, содержащая: : 1) Приложение алгебры к геометрии, 2) плоскую тригонометрию, 3) конические сечения, и 4) основания дифференциального и интегрального исчисления, изданные от Главного правления училищ / Фусс Николай Иванович. - Санкт-Петербург : в типографии Департамента народного просвещения, 1823. - 368 с., [11] л. табл. ; 19 см. - 25.00.
Шифры: 511 - Ф 96
Ключевые слова: Алгебра, Геометрия, Дифференциальное исчисление, Интегральное исчисление, Математика, Основания математики, Тригонометрия
Экземпляры: Всего: 5, из них: к9-1, ОРК-3, Проверка КХ-1
Подробнее
12. Книга
Фусс Николай Иванович (1755-1829).
Начальныя основания чистой математики, : [в 3 ч.]. Ч. 1, : содержащая начальныя основания алгебры, извлеченныя из оснований сея науки знаменитаго Эйлера и ныне вновь изданныя от Главнаго правления училищ / Фусс Николай Иванович. - СПб. : в типографии Департамента народнаго просвещения, 1823. - 379, IV с. - Загл. корешка: Математика Фусса. - 400.00.
Начальныя основания чистой математики, : [в 3 ч.]. Ч. 1, : содержащая начальныя основания алгебры, извлеченныя из оснований сея науки знаменитаго Эйлера и ныне вновь изданныя от Главнаго правления училищ / Фусс Николай Иванович. - СПб. : в типографии Департамента народнаго просвещения, 1823. - 379, IV с. - Загл. корешка: Математика Фусса. - 400.00.
Авторы: Фусс Николай Иванович, Эйлер Леонард
Шифры: 51 - Ф 96
Ключевые слова: Алгебра, Математика, Основания алгебры, Основания математики
Экземпляры: Всего: 3, из них: ОРК-2, Проверка КХ-1
Подробнее
13. Книга
Фусс Николай Иванович (1755-1829).
Начальные основания чистой математики,. Ч. 1, : содержащая начальные основания алгебры, извлеченные из оснований сея науки знаменитейшего Эйлера и ныне вновь изданная от Главного правления училищ / Фусс Николай Иванович. - Санктпетербург : в типографии Департамента народного просвещения, 1820. - 379, IV с. ; 20 см. - 400.00.
Начальные основания чистой математики,. Ч. 1, : содержащая начальные основания алгебры, извлеченные из оснований сея науки знаменитейшего Эйлера и ныне вновь изданная от Главного правления училищ / Фусс Николай Иванович. - Санктпетербург : в типографии Департамента народного просвещения, 1820. - 379, IV с. ; 20 см. - 400.00.
Шифры: 51 - Ф 95
Ключевые слова: Алгебра, Математика, Основания алгебры, Основания математики
Экземпляры: Всего: 2, из них: ОРК-2
Подробнее