Библиотека Российской академии наук (БАН)

Базы данных


ЭК отдела БАН при Институте русской литературы РАН (Пушкинский Дом) (ИРЛИ) - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) (15)
Формат представления найденных документов:
полныйкраткийкарточка БАН
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Теоремы - Доказательство<.>)
Общее количество найденных документов : 15
Показаны документы с 1 по 10
 1-10    11-15 
1.Групп.хр.

Насибуллов, Харис Хатыпович .
Анализ теорем. Способы доказательства теорем : учеб.-метод. пособие / Х. Насибуллов. - Уфа : Башгоспедуниверситет, 2000. - 35 с. : ил. ; 20 см.. - Библиогр.: с. 34
ББК 22.151.5я73
Рубрики: Теоремы - Доказательство
Доп.точки доступа: Насибуллов, Харис Хатыпович
Найти похожие


2.Ак.с.

Панюков, В. В. .
Аналитическое доказательство теоремы о 4-х красках / В. В. Панюков ; Рос. акад. наук, Ин-т мат. проблем биологии. - Препр. - Пущино : ИМПБ, 2003. - 18 с. ; 22 см.. - Библиогр.: с. 17-18
ББК 22.176
Рубрики: Графов теория (мат.)
   Теоремы - Доказательство

Доп.точки доступа: Панюков, В. В.
Найти похожие


3.2004б/490, 1)

Тихомиров, Владимир Михайлович .
Великие математики прошлого и их великие теоремы / В. М. Тихомиров. - 2-е изд., испр. - М. : Изд-во Моск. центра непрерыв. мат. образования, 2003. - 15,[1] с. : ил. ; 21 см.. - (Библиотека "Математическое просвещение" ; вып. 1.). - ISBN 5-94057-110-7.
ББК 22.1
Рубрики: Математическая наука - История
   Теоремы - Доказательство

Доп.точки доступа: Тихомиров, Владимир Михайлович
Найти похожие


4.2001б/546, 1)

Тихомиров, Владимир Михайлович .
Великие математики прошлого и их великие теоремы / В. М. Тихомиров. - М. : Изд-во Моск. центра непрерыв. мат. образования, 1999. - 23,[1] с. : ил. ; 20 см.. - (Библиотека "Математическое просвещение" ; вып. 1)
ББК 22.1г
Рубрики: Математическая наука - История
   Теоремы - Доказательство

Доп.точки доступа: Тихомиров, Владимир Михайлович
Найти похожие


5.2011к/11948

Эвнин, Александр Юрьевич .
Вокруг теоремы Холла : учеб. пособие / А. Ю. Эвнин ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Юж.-Урал. гос. ун-т, Каф. прикладной математики. - Челябинск : Изд-во ЮУрГУ, 2004. - 71 с. : ил. ; 20 см.. - Библиогр.: с. 70-71. - ISBN 5-696-03219-2.
ББК 22.176
Рубрики: Теоремы - Доказательство
   Графов теория (мат.)

   Линейное программирование

Доп.точки доступа: Эвнин, Александр Юрьевич
Найти похожие


6.Ак.с.

Эйрих, Надежда Владимировна .
Двуточечные теоремы искажения для ограниченных регулярных и однолистных в круге функций / Н. В. Эйрих. - Владивосток : Дальнаука, 2005. - 13 с. ; 21 см.. - (Препринт / Рос. акад. наук, Дальневост. отд-ние, Ин-т прикладной математики ; n 01-2005). - Библиогр.: с. 12-13. - Загл. на доп.тит.л.: Two-point distortion theorems for bounded regular univalent functions of the unit disk.
ББК В161.515.2
Рубрики: Теоремы - Доказательство
   Функции (мат.)

Доп.точки доступа: Эйрих, Надежда Владимировна
Найти похожие


7.2013к/10480

Лакатос, Имре (1922-1974).
Доказательства и опровержения : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; отв. ред. И. Б. Погребысский. - Изд. 2-е. - Москва : ЛКИ, cop. 2009. - 150, [2] с. : ил. ; 22 см.. - (Физико-математическое наследие : ФМН) (Математика (основания математики и логика)). - Библиогр.: с. 146-151. - ISBN 978-5-382-01024-3.
ББК В12я9
Рубрики: Теоремы - Доказательство
   Математическая логика

Доп.точки доступа: Погребысский, Иосиф Бенедиктович \ред.\; Веселовский, Иван Николаевич \пер.\
Найти похожие


8.2002б/321

Вавилов, Валерий Васильевич .
По следам теоремы Пифагора / Вавилов В. В. - М. : Шк. им. А. Н. Колмогорова : Самообразование, 2000. - 35 с. : ил. ; 22 см.. - (Математика). - Библиогр.: с. 27
ББК 22.151.0я721
Рубрики: Теоремы - Доказательство
   Геометрия - Задачи

Доп.точки доступа: Вавилов, Валерий Васильевич
Найти похожие


9.2012к/8717

Мадер, Виктор Викторович .
Полифония доказательств : учебное пособие / В. В. Мадер. - М. : Мнемозина, 2009. - 345 с. : ил. ; 23 см.. - 3000 экз.. - ISBN 978-5-346-01223-8 (в пер.).
ББК 22.1я7
Рубрики: Теоремы - Доказательство
Найти похожие


10.2001к/5397

Попов, Сергей Викторович .
Прикладные аспекты теории доказательств : учеб. пособие / С. В. Попов ; М-во образования Рос. Федерации, Моск. гос. инженер.-физ. ин-т (техн. ун-т). - М. : МИФИ, 1999. - 241,[2] с. : ил. ; 20 см.
ББК 22.12я73
Рубрики: Теоремы - доказательство
Доп.точки доступа: Попов, Сергей Викторович
Найти похожие


 1-10    11-15