519 Н 492 Нелинейная теория управления и ее приложения. Динамика, управление, оптимизация [Текст] / Под ред. В. М. Матросова и др. - М. : Физматлит, 2003. - 352 с. - Библиогр.: с. 334-339. - ISBN 5-9221-0421-7 : 90.00 р.
Рубрики: Математическая теория управления Кл.слова (ненормированные): Нелинейные системы -- Оптимальное управление -- Логико-динамические системы Доп.точки доступа: Матросов, В. М. \ред.\; Васильев, С. Н. \ред.\; Москаленко, А. И. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
531 П 781 Проблемы аналитической механики и теории устойчивости : сборник научных статей, посвященных памяти академика Валентина Витальевича Румянцева / Ин-т проблем управления РАН ; [редкол.: В. В. Козлов и др.]. - Москва : Физматлит, 2009. - 420 с. : ил. - Библиогр. в конце ст. - ISBN 9785-94052-185-3 : 290 р.
Кл.слова (ненормированные): УЧЕНЫЕ РОССИИ -- механика Доп.точки доступа: Козлов, В. В. \ред.\; Васильев, С. Н. \ред.\; Карапетян, А. В. \ред.\; Красовский, Н. Н. \ред.\; Тхай, В. Н. \ред.\; Черноусько, Ф. Л. \ред.\; Румянцев, Валентин Витальевич (1921-2007); Институт проблем управления РАН Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 А 456 Алгоритмы вывода теорем метода векторных функций Ляпунова / В. М. Матросов, С. Н. Васильев [и др.] ; ред. В. М. Матросов ; АН СССР, Сибирское отд-ние, Иркутский ВЦ. - Новосибирск : Наука, 1981. - 271 с. - Библиогр.: с. 266-271. - 2.30 р. Содержание: Математические модели, динамические свойства, системы и функции сравнения Вывод лемм и теорем сравнения Вывод теорем о динамических свойствах с вектор-функциями Ляпунова Вопросы программной реализации алгоритмов вывода теорем метода вектор-функций Ляпунова
Кл.слова (ненормированные): теория устойчивости -- динамика систем -- дифференциальные уравнения -- теория управления -- искусственный интеллект Доп.точки доступа: Матросов, В. М.; Васильев, С. Н.; Каратуев, В. Г.; Козлов, Р. И.; Суменков, Е. А.; Ядыкин, С. А.; Матросов, В. М. \ред.\; Академия наук СССР. Сибирское отделение; Иркутский вычислительный центр Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 А 456 Алгебраические системы. Алгоритмические вопросы и ЭВМ : сборник научных трудов / М-во высш. и среднего спец. образования РСФСР. - Иркутск : Изд-во Иркутского ун-та, 1986. - 178 с. - Библиогр. в конце ст. - 0.00 р. Содержание: Пензин, Ю. Г. Матричная теория дивизоров алгебраических полей / Ю. Г. Пензин. - С .3-19 Верхозина, М. И. Предтабличные импликационные логики / М. И. Верхозина. - С .19-31 Дулатова, З. А. О расширенных теориях булевых алгебр / З. А. Дулатова. - С .31-39 Перязев, Н. А. Позитивные теории и элиминации кванторов / Н. А. Перязев. - С .39-46 Винокуров, С. Ф. Некоторые эндоморфизмы свободных решеток / С. Ф. Винокуров. - С .46-51 Мартьянов, В. И. Об одной формализации метода доказательств от противного / В. И. Мартьянов, А. А. Хармеев. - С .51-54 Мартьянов, В. И. Методы порождения индукционного предположения в машинном доказательстве теорем / В. И. Мартьянов, Н. П. Яковлев. - С .54-57 Усольцев, А. Л. Об одной задаче в теории графов / А. Л. Усольцев. - С .57-63 Манцивода, А. В. Об инвариантности n-преобразований формул / А. В. Манцивода. - С .63-68 Блудов, В. В. Автоматизация исследований комбинаторной теории групп с помощью ЭВМ / В. В. Блудов, В. И. Пантелеев, Е. В. Хламов. - С .68-76 Аспалямова, Э. Р. Приведение алгебраических и трансцендентных выражений к каноническому виду на ЭВМ / Э. Р. Аспалямова, В. Н. Хомич. - С .76-81 Савкова, М. К. Полурешетка простых m-степеней / М. К. Савкова. - С .81-83 Топорков, В. И. К постановке информационных задач / В. И. Топорков. - С .83-92 Нансалмаа, Н. О корректирующих преобразованиях формул / Н. Нансалмаа. - С .92-96 Рычков, С. В. О пучках и копучках модулей / С. В. Рычков. - С .96-102 Пинус, А. Г. Исчисление с квантором автоморфности / А. Г. Пинус. - С .102-121 Винокуров, С. ф. позитивная классификация булевых алгебр в расширенной сигнатуре / С. ф. Винокуров, З. А. Дулатова, Н. А. Перязев. - С .121-132 Васильев, С. Н. Вывод теорем на основе решения логических уравнений и типизаций / С. Н. Васильев. - С .132-142 Суменков, Е. А. Алгоритм построения минимального множества основных условий в методе сравнения / Е. А. Суменков. - С .142-160 Васильев, С. Н. Представление знаний и организация вычислений в пакете прикладных программ ВФЛ-I / С. Н. Васильев, В. Г. Каратуев. - С .160-165 Альбов, Н. К. О линейных системах с ограничениями на норму решений / Н. К. Альбов. - С .165-168
Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР. Иркутский государственный университет Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
1332053 Васильев, С. Н. Аппроксимация функций тригонометрическими полиномами в L 2 и фрактальными функциями в C : автореферат дис. ... канд. физ.-мат. наук : 01.01.01 / С. Н. Васильев. - Екатеринбург, 2002. - 17 с. Кл.слова (ненормированные): МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- АППРОКСИМАЦИЯ ФУНКЦИЙ -- ТРИГОНОМЕТРИЧЕСКИЕ ПОЛИНОМЫ -- ФРАКТАЛЬНЫЕ ФУНКЦИИ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
338 М 346 Матросов, Владимир Мефодьевич. Моделирование и прогнозирование показателей социально-экономического развития области / В. М. Матросов, В. Б. Головченко, С. И. Носков ; ред. С. Н. Васильев ; Академия наук СССР, Сибирское отделение. - Новосибирск : Наука, 1991. - 144 с. - Библиогр.: с. 139-143. - ISBN 5-02-029601-5 : 3.81 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКИЕ МОДЕЛИ В ЭКОНОМИКЕ -- ПРОГНОЗИРОВАНИЕ РАЗВИТИЯ (ЭКОНОМИКА) -- СОЦИАЛЬНО-ЭКОНОМИЧЕСКОЕ РАЗВИТИЕ РЕГИОНОВ Доп.точки доступа: Головченко, Владимир Борисович; Носков, Сергей Иванович; Васильев, С. Н. \ред.\; Академия наук СССР. Сибирское отделение Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
338 М 346 Матросов, В. М. Моделирование и прогнозирование показателей социально-экономического развития области / В. М. Матросов, В. Б. Головченко, С. И. Носков ; ред. С. Н. Васильев. - Новосибирск : Наука , 1991. - 143 с. - ISBN 5-02-029601-5 : 03.07 р.
Рубрики: методы планирования Кл.слова (ненормированные): ЭКОНОМИЧЕСКОЕ прогназирование -- СОЦИАЛЬНОЕ ПРОГНОЗИРОВАНИЕ Доп.точки доступа: Головченко, В. Б.; Носков, С. И.; Васильев, С. Н. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
66145 Васильев, С. Н. Гармонический анализ [Электронный ресурс] : учебное пособие / Васильев С. Н. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2014. - 80 с. - ISBN 978-5-7996-1178-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): анализ -- евклидовое пространство -- интнграл -- математика -- теория Аннотация: Учебное пособие создано на материале лекций, прочитанных авторами по основам преобразования Фурье в многомерных евклидовых пространствах. Для студентов, знакомых с основами математического анализа, теории меры и интеграла Лебега. Перейти: Перейти к просмотру издания Доп.точки доступа: Шевалдин, В. Т. Свободных экз. нет |
9(47) С 654 40 лет Якутской АССР / редкол.: И. А. Аргунов [и др.]. - Якутск : Якутское книжное издательство, 1962. - 189, [2] с. - 0.50 р.
Рубрики: Якутия Кл.слова (ненормированные): Якутская АССР (история) Доп.точки доступа: Аргунов, И. А. \ред.\; Васильев, С. Н. \ред.\; Корякин, П. И. \ред.\; Кротов, М. А. \ред.\; Луконин, Г. А. \ред.\; Томский, С. К. \ред.\; Черский, Н. В. \ред.\; Чиряев, Г. О. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |