Поисковый запрос: (<.>S=Теоремы - Доказательство<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 10 |
|
| 1. | 2001б/546, 1)
Тихомиров, Владимир Михайлович .
Великие математики прошлого и их великие теоремы / В. М. Тихомиров. - М. : Изд-во Моск. центра непрерыв. мат. образования, 1999. - 23,[1] с. : ил. ; 20 см.. - (Библиотека "Математическое просвещение" ; вып. 1)
ББК 22.1г
Рубрики: Математическая наука - История
Теоремы - Доказательство
Доп.точки доступа: Тихомиров, Владимир Михайлович
Найти похожие
| |
| 2. | 2001к/5397
Попов, Сергей Викторович .
Прикладные аспекты теории доказательств : учеб. пособие / С. В. Попов ; М-во образования Рос. Федерации, Моск. гос. инженер.-физ. ин-т (техн. ун-т). - М. : МИФИ, 1999. - 241,[2] с. : ил. ; 20 см.
ББК 22.12я73
Рубрики: Теоремы - доказательство
Доп.точки доступа: Попов, Сергей Викторович
Найти похожие
| |
| 3. | 2002б/321
Вавилов, Валерий Васильевич .
По следам теоремы Пифагора / Вавилов В. В. - М. : Шк. им. А. Н. Колмогорова : Самообразование, 2000. - 35 с. : ил. ; 22 см.. - (Математика). - Библиогр.: с. 27
ББК 22.151.0я721
Рубрики: Теоремы - Доказательство
Геометрия - Задачи
Доп.точки доступа: Вавилов, Валерий Васильевич
Найти похожие
| |
| 4. | Групп.хр.
Насибуллов, Харис Хатыпович .
Анализ теорем. Способы доказательства теорем : учеб.-метод. пособие / Х. Насибуллов. - Уфа : Башгоспедуниверситет, 2000. - 35 с. : ил. ; 20 см.. - Библиогр.: с. 34
ББК 22.151.5я73
Рубрики: Теоремы - Доказательство
Доп.точки доступа: Насибуллов, Харис Хатыпович
Найти похожие
| |
| 5. | 2004б/490, 1)
Тихомиров, Владимир Михайлович .
Великие математики прошлого и их великие теоремы / В. М. Тихомиров. - 2-е изд., испр. - М. : Изд-во Моск. центра непрерыв. мат. образования, 2003. - 15,[1] с. : ил. ; 21 см.. - (Библиотека "Математическое просвещение" ; вып. 1.). - ISBN 5-94057-110-7.
ББК 22.1
Рубрики: Математическая наука - История
Теоремы - Доказательство
Доп.точки доступа: Тихомиров, Владимир Михайлович
Найти похожие
| |
| 6. | Ак.с.
Панюков, В. В. .
Аналитическое доказательство теоремы о 4-х красках / В. В. Панюков ; Рос. акад. наук, Ин-т мат. проблем биологии. - Препр. - Пущино : ИМПБ, 2003. - 18 с. ; 22 см.. - Библиогр.: с. 17-18
ББК 22.176
Рубрики: Графов теория (мат.)
Теоремы - Доказательство
Доп.точки доступа: Панюков, В. В.
Найти похожие
| |
| 7. | Ак.с.
Авдеева, Мария Олеговна .
Уточнение теоремы Валена для базисов Минковского трехмерных решеток / М. О. Авдеева, В. А. Быковский. - Владивосток : Дальнаука, 2004. - 10 с. ; 21 см.. - (Препринт / Рос. акад. наук, Дальневост. отд-ние, Ин-т прикладной математики, Хабар. отд-ние ; n 3). - Библиогр.: с. 10. - Загл. на доп.тит.л.: The sharpening of Vahlen's theorem for the Minkowski bases of the tree-dimensional lattices.
ББК В152.64
Рубрики: Теоремы - Доказательство
Решетки (мат.)
Доп.точки доступа: Авдеева, Мария Олеговна; Быковский, Виктор Алексеевич
Найти похожие
| |
| 8. | Ак.с.
Эйрих, Надежда Владимировна .
Двуточечные теоремы искажения для ограниченных регулярных и однолистных в круге функций / Н. В. Эйрих. - Владивосток : Дальнаука, 2005. - 13 с. ; 21 см.. - (Препринт / Рос. акад. наук, Дальневост. отд-ние, Ин-т прикладной математики ; n 01-2005). - Библиогр.: с. 12-13. - Загл. на доп.тит.л.: Two-point distortion theorems for bounded regular univalent functions of the unit disk.
ББК В161.515.2
Рубрики: Теоремы - Доказательство
Функции (мат.)
Доп.точки доступа: Эйрих, Надежда Владимировна
Найти похожие
| |
| 9. | 2010к/1365
Фирстов, Виктор Егорович .
Рекуррентные последовательности, фрактальные иерархические структуры и конические сечения при конструктивных обобщениях теоремы Пифагора / В. Е. Фирстов. - Саратов : Науч. кн., 2005. - 135 с. : ил. ; 21 см.. - Библиогр.: с. 128-133. - ISBN 5-93888-808-5.
ББК 22.151
Рубрики: Теоремы - Доказательство
Доп.точки доступа: Фирстов, Виктор Егорович
Найти похожие
| |
| 10. | 2011к/11948
Эвнин, Александр Юрьевич .
Вокруг теоремы Холла : учеб. пособие / А. Ю. Эвнин ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Юж.-Урал. гос. ун-т, Каф. прикладной математики. - Челябинск : Изд-во ЮУрГУ, 2004. - 71 с. : ил. ; 20 см.. - Библиогр.: с. 70-71. - ISBN 5-696-03219-2.
ББК 22.176
Рубрики: Теоремы - Доказательство
Графов теория (мат.)
Линейное программирование
Доп.точки доступа: Эвнин, Александр Юрьевич
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК