Головна сторінка бібліотеки Спрощенний режим пошуку Інструкція з пошуку
Авторизація
Прізвище
Пароль
 

Бази даних


Повнотекстова база "Навчальні видання"- результати пошуку

Вид пошуку

Зона пошуку
у знайденому
 Знайдено у інших БД:Книжкові видання (36)Періодичні видання (221)Рідкісні та цінні видання (15)Повнотекстова база "Праці вчених НТУ "ХПІ" (1)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=доказательство<.>)
Загальна кількість знайдених документів : 18
Показані документи с 1 по 18
 1-10    11-18 
1.


   
    Логика [Электронный ресурс] . - Электрон. текстовые дан. - [Б. м. : б. в.], б. г. - Б. ц.

Кл.слова (ненормовані):
ОСНОВНЫЕ ЗАКОНЫ ЛОГИКИ -- СУЖДЕНИЕ -- УМОЗАКЛЮЧЕНИЕ -- ДОКАЗАТЕЛЬСТВО -- ЛОГИКА ВЫСКАЗЫВАНИЙ
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

2.


    Никифоров, Александр Леонидович.
    Логика [Электронный ресурс] / А. Л. Никифоров. - Электрон. текстовые дан. - М. : "ВЕСЬ МИР", 2001. - Б. ц.

Кл.слова (ненормовані):
ПРЕДЛОЖЕНИЕ -- СУЖДЕНИЕ -- УМОЗАКЛЮЧЕНИЕ -- ДОКАЗАТЕЛЬСТВО -- ПРИЕМЫ СПОРА
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

3.


    Сивашинский, И. Х.
    Неравенства в задачах [Электронный ресурс] / И. Х. Сивашинский. - Электрон. текстовые дан. - [Б. м. : б. в.], Б. г. - 301 с. - Б. ц.

Кл.слова (ненормовані):
сборник упражнений -- доказательство неравенств -- решение неравенств -- неравенства в геометрии
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

4.
51
С 61


    Соминский , И. С.
    Метод математической индукции [Текст : Электронный ресурс] / И. С. Соминский . - Изд. 8-е. - Электрон. текстовые дан. - М. : Наука, 1974. - 63 с. - (Попул. лекции по математике. Вып. 8). - 0-08=
ДРНТІ
УДК

Рубрики: Математическая индукция--Методы

Кл.слова (ненормовані):
индукция математическая -- ДОКАЗАТЕЛЬСТВО НЕРАВЕНСТВ -- ДОКАЗАТЕЛЬСТВА ТОЖДЕСТВ -- ЗАДАЧИ АРИФМЕТИЧЕСКИЕ -- ЗАДАЧИ АЛГЕБРАИЧЕСКИЕ -- ЗАДАЧИ ТРИГОНОМЕТРИЧЕСКИЕ
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

5.
519.95
К 38


   
    Кибернетический сборник [Электронный ресурс] : сборник. Вып. 7 / ред.: А. А. Ляпунов, О. Б. Лупанов. - Электрон. текстовые дан. - М. : Мир, 1970. - 237 с. - (Новая серия). - Б. ц.
    Зміст:
Пирс, Дж. Н. Предельное распределение для минимального расстояния в случайном линейном коде / Дж. Н. Пирс. - С .3-15
Кл.слова: скачкообразное распределение, вероятностное пространство, бесконечная последовательность
Препарата, Ф. П. Класс оптимальных нелинейных кодов с исправлением двойных ошибок / Ф. П. Препарата. - С .16-40
Кл.слова: число кодовых слов, минимальное расстояние, специальное подмножество
Клейтмен, Д. О проблеме Дедекинда: число монотонных булевых функций / Д. Клейтмен. - С .41-50
Кл.слова: определение числа, дистрибутивная структура, биномиальный коэффициент
Спира, Ф. М. Время, требующееся для умножения в группе / Ф. М. Спира. - С .51-64
Кл.слова: сложение натуральных чисел, умножение натуральных чисел, нижняя оценка
Штрассен, В. Алгоритм Гаусса не оптимален / В. Штрассен. - С .65-68
Кл.слова: вычисление элементов, квадратные матрицы, арифметические операции
Роббинс, Г. Некоторые аспекты последовательностного построения экспериментов / Г. Роббинс. - С .69-78
Кл.слова: статистическая теория, случайные величины, анализ экспериментов
Роббинс, Г. Построение последовательностных экспериментов с конечной памятью / Г. Роббинс. - С .79-82
Кл.слова: способы действий, конечное число, выигрыш
Манна, З. Правильность программ / З. Манна. - С .83-91
Кл.слова: выполнимость формул, предикаты первой ступени, лемма
Пейджер, Д. О проблеме нахождения минимальных программ для таблиц / Д. Пейджер. - С .92-96
Кл.слова: множества, сложность программ, время вычисления
Реджеёвски, Р. Р. Об арифметических выражениях и деревьях / Р. Р. Реджеёвски. - С .97-105
Кл.слова: порядок вычисления, теория графов, алгоритм решения
Грюнбаум, Б. Плоские карты с заданными степенями вершин и граней / Б. Грюнбаум. - С .106-115
Кл.слова: графы, теорема Эберхарда, теорема Штейница
Боланд, Дж. Ч. Вложение графов в ориентируемые поверхности / Дж. Ч. Боланд. - С .116-130
Кл.слова: проективная плоскость, ориентированное многообразие, теорема Маклейна
Маклейн, С. Комбинаторное условие для плоских графов / С. Маклейн. - С .131-142
Кл.слова: топологический граф, комбинаторное построение, теоремы
Янгс, Дж. Минимальное вложение и род графа / Дж. Янгс. - С .143-157
Кл.слова: связной граф, 2-клеточное вложение, алгоритм вычисления
Девис, М. Устранение лишнего из механических доказательств / М. Девис. - С .158-177
Кл.слова: единообразный алгорифм, логические процедуры доказательства
Хао, В. Формализация и автоматическое доказательство теорем / В. Хао. - С .178-191
Кл.слова: арифметика, механизация доказательств, исчисление предикатов
Робинсон, Дж. А. Машинно-ориентированная логика, основанная на принципе резолюции / Дж. А. Робинсон. - С .192-216
Кл.слова: доказательство теорем, практическая применимость, исчисление предикатов
Якубовски, Р. Алгоритм моделирования динамических систем с помощью вычислительных машин, основанный на теории потоковых графов / Р. Якубовски. - С .217-234
Кл.слова: нелинейные динамические системы, многоаргументные функциональные ребра, дифференциальные уравнения
УДК

Есть полнотекстовые версии (доступ потребує авторизації)
Дод.точки доступу:
Ляпунов, А. А. \ред.\
Лупанов, О. Б. \ред.\


Знайти схожі

6.


    Коблиц, Н.
    ρ-Адические числа, ρ-Адический анализ и дзета-функции [Электронный ресурс] / Н. Коблиц, пер. с англ. В. В. Шркурова, ред. Ю. И. Манин = ρ-ADIC NUMBERS, ρ-ADIC ANALYSIS, AND ZETA-FUNCTIONS / NEAL KOBLITZ : переводное издание. - Электрон. текстовые дан. - М. : "Мир", 1982. - 190 с. : ил., рис., граф. - (Современная математика : вводные курсы). - Б. ц.

Кл.слова (ненормовані):
метрика -- арифметика -- упражнения -- формула -- Бернулли -- поле -- экспонента Артина-Хассе -- многоугольники Ньютона -- гиперповерхности -- доказательство
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

7.


    Головина, Л. И.
    Индукция в геометрии [Электронный ресурс] : курс лекций / Л. И. Головина, И. М. Яглом. - 2-е изд., испр. - Электрон. текстовые дан. - М. : Физматлит, 1961. - 100 с. : ил. - (Попул. лекции по математике ; вып. 21). - Б. ц.

Кл.слова (ненормовані):
математика -- доказательство -- построение -- определение -- измерения
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

8.


    Калужнин, Л. А.
    Основная теорема арифметики [Электронный ресурс] : научно-популярная литература / Л. А. Калужнин. - Электрон. текстовые дан. - М. : Наука. Физматлит, 1969. - 32 с. : ил. - (Попул. лекции по математике ; вып. 47). - Б. ц.

Кл.слова (ненормовані):
математика -- доказательство -- НОД -- алгоритм Евклида -- Гауссовы числа
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

9.


    Шашкин, Ю. А.
    Эйлерова характеристика [Электронный ресурс] / Ю. А. Шашкин. - Электрон. текстовые дан. - М. : Наука. Физматлит, 1984. - 96 с. : ил. - (Попул. лекции по математике ; вып. 58)

Кл.слова (ненормовані):
формула -- доказательство -- фигура -- геометрия -- площадь -- сфера
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

10.


    Пойя, Дж.
    Сборник задач по математике Стэнфордского университета [Электронный ресурс] : с подсказками и решениями / Дж. Пойя, Д. Килпатрик. - Электрон. текстовые дан. - М. : НО Научный Фонд "Первая Исследовательская Лаборатория им. В. А. Мельникова", 2002. - 96 с. - ISBN 5-901171-04-7 : Б. ц.

Кл.слова (ненормовані):
задача -- доказательство -- следствие -- утверждение -- теория
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

11.


    Шнирельман, Л. Г.
    Простые числа [Электронный ресурс] / Л. Г. Шнирельман. - Электрон. текстовые дан. - М. - Л. : Государственное издательство технико-теоретической литературы, 1940. - 61 с. : ил.

Кл.слова (ненормовані):
множители -- сравнения -- теория чисел -- доказательство -- формулы Мертенса
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

12.


    Шарыгин, И. Ф.
    Задачи по геометрии (планиметрия) [Электронный ресурс] : сборник задач / И. Ф. Шарыгин. - Электрон. текстовые дан. - М. : Наука. Физматлит, 1982. - 160 с. : ил. - (Биб - ка " Квант" ; вып. 17). - Б. ц.

Кл.слова (ненормовані):
вычисление -- доказательство -- неравенства -- окружность -- максимум -- минимум
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

13.


    Шарыгин, И. Ф.
    Задачи по геометрии (стереометрия) [Электронный ресурс] : сборник задач / И. Ф. Шарыгин. - Электрон. текстовые дан. - М. : Наука. Физматлит, 1984. - 160 с. : ил. - (Биб - ка " Квант" ; вып. 31). - Б. ц.

Кл.слова (ненормовані):
вычисление -- доказательство -- максимум-минимум -- неравенства -- ответы
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

14.


    Сосинский, А. Б.
    Узлы и косы [Электронный ресурс] / А. Б. Сосинский. - Электрон. текстовые дан. - М. : МЦНМО, 2001. - 24 с. : ил. - (Биб-ка "Математическое просвещение" ; вып. 10). - ISBN 5-900916-76-6

Кл.слова (ненормовані):
математика -- физика -- ориентация -- эквивалентность -- доказательство
Есть полнотекстовые версии (доступ потребує авторизації)

Дод.точки доступу:
Панов, М. Ю. \худож.\


Знайти схожі

15.


    Кохась, К. П.
    Ладейные числа и многочлены [Электронный ресурс] / К. П. Кохась. - Электрон. текстовые дан. - М. : МЦНМО, 2003. - 20 с. : ил. - (Библиотека "Математическое просвещение" ; вып. 26). - ISBN 5-94057-114-Х

Кл.слова (ненормовані):
комбинаторный объект -- неравенства -- математика -- теорема -- доказательство
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

16.


   
    Алгебра и теория чисел (с приложениями): Избранные доклады семинара Н. Бурбаки [Электронный ресурс] : сборник статей 1976-1985 гг.: Пер. с англ. и фр. / пер.: А. И. Кострикин, А. Н. Паршин. - Электрон. текстовые дан. - М. : Мир, 1987. - 272 с. : ил. - (Математика. Новое в зарубежной науке / Ред. А. Н. Колмогоров, С. П. Новиков ; 43). - Б. ц.

Кл.слова (ненормовані):
тождества Макдоналда -- алгебра Ли -- гамильтоновы системы -- алгебраические кривые -- алгоритм -- гипотеза -- доказательство
Есть полнотекстовые версии (доступ потребує авторизації)

Дод.точки доступу:
Кострикин, А. И. \пер.\
Паршин, А. Н. \пер.\


Знайти схожі

17.


    Шклярский, Д. О.
    Избранные задачи и теоремы элементарной математики [Электронный ресурс] : сборник задач. Ч. 2. Геометрия (планиметрия) / Д. О. Шкляровский, Н. Н. Ченцов, И. М. Яглом. - Электрон. текстовые дан. - М. : Государственное издательство технико-теоретической литературы, 1952. - 380 с. : ил. - (Б-ка мат. кружка ; выпуск 2). - Б. ц.

Кл.слова (ненормовані):
максимум -- минимум -- точка -- фигуры -- геометрическое место -- доказательство -- теорема
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

18.


   
    Математический сборник [Электронный ресурс] : июль-август. Т. 25. Вып. 1 / АН УССР. - Электрон. текстовые дан. - М. : Изд-во АН СССР, 1949. - 150 с. - Б. ц.

Кл.слова (ненормовані):
система -- множества -- мера Лебега -- гомоморфизмы -- доказательство
Есть полнотекстовые версии (доступ потребує авторизації)

Знайти схожі

 1-10    11-18 
 

Наша адреса: 61000, Харків, вул. Кирпичова, 2
Науково-технічна бібліотека НТУ "ХПІ"
Контактний телефон: (057) 707-63-07
E-mail: library@khpi.edu.ua