Главная Упрощенный режим Описание
Авторизация
Фамилия
Номер ЧБ
 

Вход/Регистрация через ЕСИА

Базы данных


Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска
Каталог Национальной Библиотеки Республики Дагестан
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=ДОКАЗАТЕЛЬСТВО<.>
Общее количество найденных документов : 18
Показаны документы с 1 по 10
 1-10    11-18 
1.

Вид документа : Монографическая серия
Шифр издания : 6П2.154.4/П 58
Автор(ы) : Попов В.М.
Заглавие : Гиперустойчивость автоматических систем : монография
Выходные данные : Москва: "Наука" Главная редакция физико-математической литературы, 1970
Колич.характеристики :456 с.: ил.; 21.5см
Серия: Теоретические основы технической кибернетики
Перевод издания: Popov V.M. Hiperstabilitatea Sistemelor Automate
Примечания : Библиогр.: с. 435-453
Цена : 1.93, р.
УДК : 6П2.154.4
Предметные рубрики: Автоматика-- Автоматические системы
Ключевые слова (''Своб.индексиров.''): нелинейные системы--абсолютная устойчивость
Аннотация: Монография посвящена последовательному изложению разработанной автором теории. Введенный автором термин "гиперустойчивость" определяет свойство системы, выделение которого оказывается весьма полезным при решении различных задач автоматического управления и особенно задач об устойчивости нелинейных систем. Центральным результатом теории является доказательство эквивалентности различных по форме свойств системы, в частности установление необходимого и достаточного эффективно проверяемого частотного критерия гиперустойчивости. Показывается, что система, полученная комбинацией гиперустойчивых блоков, сама является гиперустойчивой. Результаты развитой теории применяются к задаче об абсолютной устойчивости нелинейной системы, к задаче о построении функции Ляпунова для нелинейной системы, к задаче об устойчивости в конечной области пространства состояний, к задаче об оптимизации управляемых систем с интегральным критерием качества.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 511/Б 90
Автор(ы) : Будкин, Виктолий
Заглавие : Методика познания "Истины": доказательство великой теоремы ферма
Выходные данные : Ярославль: Верхне - Волжское книжное издательство, 1975
Колич.характеристики :48 с. ; 20 см
Цена : 0.14, 0.14, р.
Предметные рубрики: Великая теорема Ферма-- Математика-- Естественные науки
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 510/Ч-43
Автор(ы) : Чень Ч., Ли Р.
Заглавие : Математическая логика и автоматическое доказательство теорем
Выходные данные : Москва: Наука, 1983
Колич.характеристики :358 с. ; 22 см
Серия: Математическая логика и основания математики
Примечания : Перевод изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973)
Цена : 2.20 р.
Предметные рубрики: Математическая логика
Теоремы
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 6П2.154.5/Г 85
Автор(ы) : Грис Д.
Заглавие : Наука программирования : Монография
Выходные данные : Москва: Мир , 1984
Колич.характеристики :416 с.: ил.; 21см
Примечания : Библиогр.: с. 413-414(44)
Цена : 1.90, р.
УДК : 6П2.154.5
Предметные рубрики: Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): математика--кибернетика--математическая кибернетика--программа--программа--логика--высказывание--рассуждение--предикат--выбор--массив--обозначение--документирование--доказательство--команда--повторение--присваивание--построение--инвариант
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 34С6/К 24
Автор(ы) : Карнеева, Лидия Михайловна, Кертэс, Имре
Заглавие : Источники доказательств по советскому и венгерскому законодательству
Выходные данные : Москва: Юридическая литература; Будапешт: Кезгаздашаги эш Йоги, 1985
Колич.характеристики :134, [2] с. ; 20 см
Цена : 1.40 р.
Предметные рубрики: Доказательство в уголовном процессе СССР
Ключевые слова (''Своб.индексиров.''): доказательства в уголовном процессе венгрии
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Чехосл./Ч19
Автор(ы) : Чапек, Карел
Заглавие : Рассказы : рассказы
Выходные данные : Москва: Художественная литература, 1985
Колич.характеристики :447 с.: ил.; 22см
Серия: Классики и современники. Зарубежная литература
Примечания : Содержание расписано частично
Цена : 2.60 р.
УДК : Чехосл.
ББК : 84.4Чех
Предметные рубрики: Чехословацкая литература
Ключевые слова (''Своб.индексиров.''): рассказы--чешская литература
Содержание : От поцелуя до поцелуя ; Остров ; След ; Гора ; Элегия (След II) ; Зал ожидания ; На помощь! ; В замке ; Деньги ; Рубашки ; Трибунал ; Голубая хризантема ; Гадалка ; Ясновидец ; Тайна почерка ; Бесспорное доказательство ; Эксперимент профессора Роусса ; Похищенный документ N 139/VII отд. "С" ; Поэт ; Происшествие с паном Яником ; Гибель дворянского рода Вотицких ; Рекорд ; Дело Сельвина ; Следы ; Купон ; Преступление в крестьянской семье ; Исчезновение актера Бенды ; Покушение на убийство ; Освобожденный ; Преступление на почте ; Похищенный кактус ; Рассказ старшего уголовника ; Редкий ковер ; Украденное убийство ; Случай с младенцем ; Графиня ; История дирижера Калины ; Смерть барона Гандары ; Похождения брачного афериста ; Баллада о Юрае Чупе ; Рассказ об утерянной ноге ; Головокружение ; Взломщик-поэт ; Дело господина Гавлены ; Коллекция марок ; Прожигатель жизни ; Чудо на стадионе ; Судебный случай ; Паштет ; Контора по переселению ; Тонда ; Если бы в суде заседали дипломаты ; Ореол ; Человек, который умел летать ; Интервью ; Десять сентаво ; Наказание Прометея ; О падении нравов ; Александр Македонский ; Смерть Архимеда ; Исповедь дона Хуана ; Ромео и Джульетта
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Р2/Б26
Автор(ы) : Баруздин, Сергей Алексеевич
Заглавие : Два измерения... : повести и рассказы
Выходные данные : Москва: Известия, 1986
Колич.характеристики :608 с.: ил.; 20 см
Серия: Библиотека "Дружбы народов"
Цена : 2.40 р.
Предметные рубрики: Художественная литература-- Русская литература (произведения)
Содержание : Само собой... ; Елизавета Павловна ; Тоня из Семеновки ; Мама ; Пожарная дружина ; Последняя пуля ; Просто Саша ; Два измерения, или вариации на медицинские темы ; Ранний вечер ; Прощание ; П; Музыка ; Мой Пауль ; Вася - Маточкин Шар ; Рождение Караваева ; Она такая ; Прикладная химия ; Лесной рассказ ; Луна и солнце ; Деревья сохраняют тепло ; Дуб стоеросовый ; Странный человек ; Боевая подруга ; Аленушка ; Вероника ; Бескрылый Серафим ; Родственник ; Доказательство ; Тишина над полем ; Двадцать второе июня
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 84(2=Рус)-4/П 16
Автор(ы) : Паникин А.
Заглавие : Шестое доказательство : признания русского фабриканта
Выходные данные : Москва: Панъинтер, 1998
Колич.характеристики :173 с. ; 20 см
Цена : 140, 140, р.
ББК : 84(2=Рус)-4
Предметные рубрики: Художественная литература-- Россия
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 86.38/М 92
Автор(ы) : Мухаммад бин Абдуллах Ат - Телетли
Заглавие : Выявление истины или доказательство того, что Тарикат основан на Коране и хадисах
Выходные данные : Махачкала: ИХЛАС, 2002
Колич.характеристики :88 с.: портр.; 20 см
Цена : 60 р.
ББК : 86.38
Предметные рубрики: Религия-- Ислам --Россия --Дагестан
Экземпляры : всего : КР(4), АБ(1)
Свободны : КР(4), АБ(1)
Найти похожие
10.

Вид документа : Статья из газеты
Шифр издания : Д84.09(=Лез)7-5/Ш 15
Автор(ы) : Шагьбанова, Индира
Заглавие : Субут жедай хьи; Квахьрай писвал; Истеклу ветеранар; Цуьк акъуд, зи Россия! : [стихи]
Место публикации : Лезги газет / Лезгинская газета. - 2013. - 18 июля. - С16
ББК : Д84.09(=Лез)7-5
Ключевые слова (''Своб.индексиров.''): стихи на лезгинском языке
Найти похожие
 1-10    11-18 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)