| Найдено документов - 28 | Найти похожие: "Индекс ББК" = 'В161.0 или В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. Документ
Введение в анализ : Метод. указания по самостоят. работе с применением ЭВМ для студентов 1, П курсов мат. фак. / Твер. гос. ун-т. Каф. мат. анализа; Сост. А.И. Гусев. - Тверь, 1992. - 29,[1] с. : ил. - 2-00.
Шифры: В161.0 - В24
Ключевые слова: Математический анализ, Введение в анализ, Учебники, Труды Тверского государственного университета
Экземпляры: Всего: 2, из них: к3-2
Подробнее
4. Документ
Классы функций : Метод. указания для студентов 1 курса мат. фак. / Твер. гос. ун-т. Каф. информатики и теории игр; Сост.: Л.А. Маркова, Л.Г. Кожеко. - Тверь, 1992. - 130,[1] с. - 2-00.
Авторы: Маркова Людмила Александровна, Кожеко Л. Г.
Шифры: В161.0 - К47
Ключевые слова: Классы функций, Функции, Учебники, Труды Тверского государственного университета
Экземпляры: Всего: 2, из них: к3-2
Подробнее
5. Документ
Панов Михаил Иванович.
Методологические проблемы интуиционистской математики / Панов Михаил Иванович; М. И. Панов ; отв. ред. Е. Ф. Солопов ; АН СССР, Центр. совет филос. (методол.) семинаров при Президиуме АН СССР. - Москва : Наука, 1984. - 222, [2] с. - Библиогр. в подстроч. примеч. - Указ. имен.: с. 198-223. - 1.40.
Методологические проблемы интуиционистской математики / Панов Михаил Иванович; М. И. Панов ; отв. ред. Е. Ф. Солопов ; АН СССР, Центр. совет филос. (методол.) семинаров при Президиуме АН СССР. - Москва : Наука, 1984. - 222, [2] с. - Библиогр. в подстроч. примеч. - Указ. имен.: с. 198-223. - 1.40.
Авторы: Панов Михаил Иванович, Солопов Е. Ф.
Шифры: В121 - П16
Ключевые слова: Математика, Философия математики
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
Лапин Александр Васильевич.
Сеточные аппроксимации вариационных неравенств : учеб. пособие : (курс лекций) / Лапин Александр Васильевич; А. В. Лапин. - Казань : Казанский государственный университет, 1984. - 96 с. - <null>.
Сеточные аппроксимации вариационных неравенств : учеб. пособие : (курс лекций) / Лапин Александр Васильевич; А. В. Лапин. - Казань : Казанский государственный университет, 1984. - 96 с. - <null>.
Шифры: В161.0 - Л24
Ключевые слова: Аппроксимация, Вариационные неравенства, Неравенства (мат.)
Экземпляры: Всего: 1, из них: к3-1
Подробнее
7. Документ
Маршалл Алберт.
Неравенства: теория мажоризации и ее приложения / Маршалл Алберт; А. Маршалл, И. Олкин ; перевод с англ. Г. П. Гаврилова, В. Г. Миранцева ; под ред. В. М. Круглова. - Москва : Мир, 1983. - 574 с. : ил. ; 22 см. - Перевод изд.: Inequalities: theory of majorization and its applications / Albert W. Marshall, Ingram Olkin (New York etc., 1979). - Библиогр.: с. 535-557. Библиогр. в биогр. справках: с. 525-534. - Предм. указ.: с. 558-569. - 4 р. 20 к.
Неравенства: теория мажоризации и ее приложения / Маршалл Алберт; А. Маршалл, И. Олкин ; перевод с англ. Г. П. Гаврилова, В. Г. Миранцева ; под ред. В. М. Круглова. - Москва : Мир, 1983. - 574 с. : ил. ; 22 см. - Перевод изд.: Inequalities: theory of majorization and its applications / Albert W. Marshall, Ingram Olkin (New York etc., 1979). - Библиогр.: с. 535-557. Библиогр. в биогр. справках: с. 525-534. - Предм. указ.: с. 558-569. - 4 р. 20 к.
Авторы: Маршалл Алберт, Олкин Ингрэм, Круглов В. М., Гаврилов Г. П., Миранцев В. Г.
Шифры: В161.0 - М30
Ключевые слова: Неравенства
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
Гильберт Давид.
Основания математики : логические исчисления и формализация арифметики / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл. С. И. Адяна]. - Москва : Наука, 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
Подробнее
9. Документ
Иванов Леонид Дмитриевич.
Элементарные функции : Конспект лекций / Иванов Леонид Дмитриевич; Л. Д. Иванов; Калинин. гос. ун-т. - Калинин : КГУ, 1975. - 79,[1] с. - 1 503-00.
Элементарные функции : Конспект лекций / Иванов Леонид Дмитриевич; Л. Д. Иванов; Калинин. гос. ун-т. - Калинин : КГУ, 1975. - 79,[1] с. - 1 503-00.
Шифры: 512.211 - И20
Ключевые слова: Элементарные функции, Функции, Лекции
Экземпляры: Всего: 3, из них: к3-3
Подробнее
10. Книга
Гельфанд Израиль Моисеевич.
Функции и графики : (основные приемы) / Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич. - Изд. 5-е, стер. - Москва : Наука, 1973. - 94, [1] c. : ил., табл. - (Библиотечка физико-математической школы) (Математика ; вып. 2). - 60.00.
Функции и графики : (основные приемы) / Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич. - Изд. 5-е, стер. - Москва : Наука, 1973. - 94, [1] c. : ил., табл. - (Библиотечка физико-математической школы) (Математика ; вып. 2). - 60.00.
Авторы: Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич
Шифры: В161.0 - Г 32
Ключевые слова: Графики функций, Математический анализ, Построение, Функции, Элементарные функции
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
Гельфанд Израиль Моисеевич.
Функции и графики : (Основ. приемы): [Для 8-9 кл.] / Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич; И.М. Гельфанд, Е.Г. Глаголева, Э.Э. Шноль. - 4.е изд., испр. - Москва : Наука, 1971. - 94,[1] с. : ил. - (Б-чка физ.-мат. шк.) ( ; Вып. 2). - 1.30.
Функции и графики : (Основ. приемы): [Для 8-9 кл.] / Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич; И.М. Гельфанд, Е.Г. Глаголева, Э.Э. Шноль. - 4.е изд., испр. - Москва : Наука, 1971. - 94,[1] с. : ил. - (Б-чка физ.-мат. шк.) ( ; Вып. 2). - 1.30.
Авторы: Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич
Шифры: 517.214 - Г32
Ключевые слова: Графики функций, Функции и графики, Элементарные функции
Экземпляры: Всего: 3, из них: к3-3
Подробнее
12. Документ
Никольский В. Н.
Основания математики : Конспект лекций. Ч. 4 / В. Н. Никольский; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : Изд-во Калинин.ун-та, 1969. - 98 с. - 0.50.
Основания математики : Конспект лекций. Ч. 4 / В. Н. Никольский; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : Изд-во Калинин.ун-та, 1969. - 98 с. - 0.50.
Шифры: 51 - Н64
Ключевые слова: Математика, Основания математики, Учебники
Экземпляры: Всего: 103, из них: к3-103
Подробнее
13. Документ
Никольский Владимир Николаевич.
Основания математики : Конспект лекций. Вып.3 / Никольский Владимир Николаевич; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т ; Калинин. гос. пед. ин-т. - Калинин, 1969. - 136 с. : ил. - 1671-00.
Основания математики : Конспект лекций. Вып.3 / Никольский Владимир Николаевич; Подгот. и обраб. А. И. Романов; Калинин. гос. пед. ин-т ; Калинин. гос. пед. ин-т. - Калинин, 1969. - 136 с. : ил. - 1671-00.
Авторы: Никольский Владимир Николаевич, Романов А. И.
Шифры: 51 - Н64
Ключевые слова: Математика, Асиомы, Основания математики
Экземпляры: Всего: 110, из них: к3-110
Подробнее
14. Документ
Никольский Владимир Николаевич.
Основания математики : (Конспект лекций). Вып. 2 / Никольский Владимир Николаевич; В. Н. Никольский; Вып. подгот. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин, 1968. - 124 с. : ил. - 1 336-00.
Основания математики : (Конспект лекций). Вып. 2 / Никольский Владимир Николаевич; В. Н. Никольский; Вып. подгот. А. И. Романов; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин, 1968. - 124 с. : ил. - 1 336-00.
Шифры: 51 - Н64
Ключевые слова: Основания математики, Математика, Учебники
Экземпляры: Всего: 21, из них: к3-21
Подробнее
15. Документ
Гурский Исаак Павлович.
Функции и построение графиков : Пособие для учителей / Гурский Исаак Павлович; И.П. Гурский. - 3. изд., испр. и доп. - Москва : Просвещение, 1968. - 214,[1] с. : черт. - 3.71.
Функции и построение графиков : Пособие для учителей / Гурский Исаак Павлович; И.П. Гурский. - 3. изд., испр. и доп. - Москва : Просвещение, 1968. - 214,[1] с. : черт. - 3.71.
Шифры: 512(07) - Г95
Ключевые слова: Функции и графики, Графики функций, Элементарные функции, Математика в школе, Преподавание математики, Методика
Экземпляры: Всего: 3, из них: к3-3
Подробнее
16. Документ
Никольский Владимир Николаевич.
Основания математики : (конспект лекций). Вып. 1 / Никольский Владимир Николаевич; В. Н. Никольский ; подгот. и обраб. А. И. Романов ; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : КГПИ, 1967. - 61,[1] с. : ил. - 4009.00.
Основания математики : (конспект лекций). Вып. 1 / Никольский Владимир Николаевич; В. Н. Никольский ; подгот. и обраб. А. И. Романов ; Калинин. гос. пед. ин-т им. М. И. Калинина. - Калинин : КГПИ, 1967. - 61,[1] с. : ил. - 4009.00.
Авторы: Никольский Владимир Николаевич, Романов А . И.
Шифры: 51 - Н64
Ключевые слова: Математика, Основания математики, Учебники
Экземпляры: Всего: 6, из них: к3-5, к9-1
Подробнее
17. Документ
Гельфанд Израиль Моисеевич.
Функции и графики : основные приемы : [для 9 кл.] / Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич. - 2-е изд., испр. и доп. - Москва : Наука, 1966. - 102, [2] с. : ил. - (Библиотечка физико-математической школы) (Математика ; вып. 2). - 14 к.
Функции и графики : основные приемы : [для 9 кл.] / Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич. - 2-е изд., испр. и доп. - Москва : Наука, 1966. - 102, [2] с. : ил. - (Библиотечка физико-математической школы) (Математика ; вып. 2). - 14 к.
Авторы: Гельфанд Израиль Моисеевич, Глаголева Елена Георгиевна, Шноль Эммануил Эльевич
Шифры: 517.2 - Г 32
Ключевые слова: Графики функций, Учебники для средней школы, Функции и графики, Элементарные функции
Экземпляры: Всего: 3, из них: к3-3
Подробнее
18. Документ
Гурский Исаак Павлович.
Функции и построение графиков : пособие для учителей / Гурский Исаак Павлович. - 2-е изд., испр. - Москва : Просвещение, 1964. - 215, [1] с. : черт. - 0.38.
Функции и построение графиков : пособие для учителей / Гурский Исаак Павлович. - 2-е изд., испр. - Москва : Просвещение, 1964. - 215, [1] с. : черт. - 0.38.
Шифры: 517.5 - Г 95
Ключевые слова: Графики функций, Математика в школе, Методика, Преподавание математики, Функции и графики, Элементарные функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
19. Документ
Гурский Исаак Павлович.
Функции и построение графиков : пособие для учителей / Гурский Исаак Павлович. - Москва : Учпедгиз, 1961. - 215, [1] с. : черт. - 0.36.
Функции и построение графиков : пособие для учителей / Гурский Исаак Павлович. - Москва : Учпедгиз, 1961. - 215, [1] с. : черт. - 0.36.
Шифры: 512(07) - Г 95
Ключевые слова: Графики функций, Математика в школе, Методика, Преподавание математики, Функции и графики, Элементарные функции
Экземпляры: Всего: 2, из них: к3-1, к9-1
Подробнее
20. Документ
Танатар Исаак Яковлевич.
Геометрические преобразования графиков функций : Пособие для учителей / Танатар Исаак Яковлевич; И. Я. Танатар. - Москва : Учпедгиз, 1960. - 167 с. : ил. - 468-00.
Геометрические преобразования графиков функций : Пособие для учителей / Танатар Исаак Яковлевич; И. Я. Танатар. - Москва : Учпедгиз, 1960. - 167 с. : ил. - 468-00.
Шифры: 517.5 - Т18
Ключевые слова: Функции, Графики функций, Математика в школе, Преподавание математики
Экземпляры: Всего: 2, из них: к3-2
Подробнее