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

Базы данных


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

Вид поиска

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

Авдеева, Мария Олеговна .
Уточнение теоремы Валена для базисов Минковского трехмерных решеток / М. О. Авдеева, В. А. Быковский. - Владивосток : Дальнаука, 2004. - 10 с. ; 21 см.. - (Препринт / Рос. акад. наук, Дальневост. отд-ние, Ин-т прикладной математики, Хабар. отд-ние ; n 3). - Библиогр.: с. 10. - Загл. на доп.тит.л.: The sharpening of Vahlen's theorem for the Minkowski bases of the tree-dimensional lattices.
ББК В152.64
Рубрики: Теоремы - Доказательство
   Решетки (мат.)

Доп.точки доступа: Авдеева, Мария Олеговна; Быковский, Виктор Алексеевич
Найти похожие


2.2015б/945

Беспалов, Михаил Сергеевич .
Функции Уолша и их приложения : учебное пособие / М. С. Беспалов, В. А. Скляренко ; М-во образования и науки Рос. Федерации, Владимир. гос. ун-т им. А. Г. и Н. Г. Столетовых. - Владимир : Изд-во Владимирского гос. ун-та, 2012. - 34 с. : ил. ; 20 см. - Библиогр.: с. 33. - 50 экз.. - ISBN 978-5-9984-0310-1.
ББК 22.161.5я73 В161.465я73-1
Рубрики: Функции (мат.) - Вычисление
   Теоремы - Доказательство

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


3.2002б/321

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

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


4.2013к/10480

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

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


5.2012к/8717

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


6.Групп.хр.

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


7.Ак.с.

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

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


8.2001к/5397

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


9.Групп.хр.

Сборник основных теорем геометрии / [авт.-сост. И. С. Слонимская, Л. И. Слонимский]. - М. : Астрель ; . : АСТ, печ. 2007. - 127 с. : ил. ; 13 см.. - (Карманный справочник школьника) (Геометрия). - ISBN 978-5-17-048607-6.
ББК 22.151я72
Рубрики: Теоремы - Доказательство
   Геометрия - Справочники учебные

Доп.точки доступа: Слонимская, Ирина Семеновна; Слонимский, Л. И.
Найти похожие


10.Групп.хр.

Сборник основных теорем по геометрии / [авт.-сост. И. С. Слонимская, Л. И. Слонимский]. - Москва : АСТ, печ. 2009. - 127 с. : ил. ; 14 см.. - (Карманный справочник школьника). - ISBN 978-5-17-062232-0.
ББК 22.151.0я721
Рубрики: Теоремы - Доказательство
   Геометрия - Справочники учебные

Доп.точки доступа: Слонимская, Ирина Семеновна; Слонимский, Лев Иосифович
Найти похожие


 1-10    11-15