Электронные ресурсы

Базы данных


Электронный каталог - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Николенко, С. $<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   В14
   А 456

   
    Алгоритмические вопросы алгебраических систем и ЭВМ : сб. науч. тр. / Иркут. гос. ун-т им. А. А. Жданова ; [редкол.: А. И. Кокорин (отв. ред.) и др.]. - Иркутск : [б. и.], 1985. - 144, [1] с. ; 22 см. - Библиогр. в конце гл. - В надзаг. также: М-во высшего и среднего специального образования РСФСР. - 500 экз.. - 0.75 р.
    Содержание:
Дулатова, З. А. О решетках подалгебр булевых алгебр / З. А. Дулатова. - С .4-11
Николенко, А. Б. Некоторые классы формул, выводимых методом нормальных преобразований / А. Б. Николенко. - С .12-19
Усольцев, А. Л. Математический подход к доказательству теорем теории конечных графов / А. Л. Усольцев. - С .19-30
Перязев, Н. А. Позитивные теории полугрупп / Н. А. Перязев. - С .30-33
Корольков, Ю. Д. О построении системы аналитических преобразований на ЭВМ / Ю. Д. Корольков, В. Н. Хомич. - С .33-35
Пензин, Ю. Г. Матричные представления алгебраических полей / Ю. Г. Пензин. - С .35-48
Козлов, Г. Т. О коммутаторных тождествах / Г. Т. Козлов. - С .48-50
Пинус, А. Г. Монадические теории разреженных топологических пространств и логики 2-го порядка / А. Г. Пинус. - С .50-60
Винокуров, С. Ф. Проблема эндоморфной сводимости для свободной решетки со счетным числом образующих / С. Ф. Винокуров, Э. И. Фридман. - С .60-64
Рычков, С. В. О сингулярной логике 2-го порядка для конечнозначных логических исчислений / С. В. Рычков. - С .64-71
Болдонов, В. И. Алгоритм выбора объекта информационного описания и его отображение в базе данных / В. И. Болдонов. - С .71-80
Аншаков, О. М. О пропозициональных исчислениях для n-значных логик / О. М. Аншаков, С. В. Рычков. - С .81-89
Вехозина, М. И. О проблеме отделимости / М. И. Вехозина. - С .89-99
Тарасова, В. П. Метод СПМ построения оптимальных алгоритмов / В. П. Тарасова. - С .99-106
Скурихин, Е. Е. Пучки абелевых групп на одном классе топологии Гротендика / Е. Е. Скурихин. - С .106-117
Слободской, А. М. Относительная разрешимость в теории абелевых групп с подгруппами / А. М. Слободской. - С .117-124
Николенко, С. Б. Один пример синтеза программ методом инвариантных преобразований / С. Б. Николенко. - С .124-131
Манцивода, А. В. Об инвариантных преобразованиях формул / А. В. Манцивода, В. И. Мартьянов. - С .132-136
Егиазарян, К. О. О пространственных обобщенных матрицах Адамара / К. О. Егиазарян. - С .136-139
Клейменов, В. Ф. О группах автоморфизмов нильпотентных линейно упорядоченных групп / В. Ф. Клейменов. - С .139-145
ГРНТИ
27.17
ББК В14я43 + В185.8я43 + З973я43
Рубрики: Алгебраические системы--Сборники

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Кокорин, А. И. \ред.\; Корольков, Ю. Д. \ред.\; Мартьянов, В. И. \ред.\; Пензин, Ю. Г. \ред.\; Винокуров, С. Ф. \ред.\; Перязев, Н. А. \ред.\; Иркутский государственный университет им. А. А. Жданова (Иркутск)
Экземпляры всего: 1
ЕА (1)
Свободны: ЕА (1)
Найти похожие
2.
   В18
   П 130

   
    Пакеты прикладных программ : итоги и применения / Акад. наук СССР, Сиб. отд-ние, Иркут. вычисл. центр ; отв. ред. чл.-кор. АН СССР В. М. Матросов, канд. техн. наук О. Г. Диваков. - Новосибирск : Наука, Сибирское отделение, 1986. - 207, [1] с. : рис. ; 23 см. - Библиогр. в конце ст. - 3450 экз.. - 1.40 р.
    Содержание:
Экспериментальные средства интеллектуализации пакетов прикладных программ . - С .4-95
Мартьянов, В. И. Представление и реализация схем доказательств в методе инвариантных преобразований формул / В. И. Мартьянов, А. А. Хармеев, Н. П. Яковлев. - С .4-12
Опарин, Г. А. САТУРН - метасистема для автоматизации конструирования и поддержки функционирования пакетов прикладных программ с автоматическим планированием вычислительного процесса / Г. А. Опарин, Д. Г. Феоктистов. - С .12-21
Киселев, С. И. ЯМБ - входной язык системы моделирования БАЙКАЛ / С. И. Киселев, Г. А. Опарин. - С .21-31
Мадьяров, Т. И. Система для представления экспертных знаний / Т. И. Мадьяров. - С .32-40
Голиков, В. В. Использование диалога в пакете программ символьной обработки "Динамика" / В. В. Голиков, М. В. Почтаренко. - С .40-44
Симонов, С. А. Алгоритм DETSIMV вычисления определителя в символьном виде на ЭВМ / С. А. Симонов. - С .44-53
Кузьмин, В. А. Работа пакета прикладных программ под управлением базы знаний (на примере ППП "Моделирование") / В. А. Кузьмин. - С .53-59
Шуров, Ю. В. Комплекс программ моделирования в сетях Петри / Ю. В. Шуров. - С .59-68
Курганский, В. И. Анализ и генерация тестов программ методом функциональных диаграмм / В. И. Курганский. - С .68-81
Оглоблин, А. Ф. Об одной технологии пакетной телеобработки / А. Ф. Оглоблин, В. В. Шодоров, Т. В. Ильина. - С .81-86
Пятков, В. В. Инструментальные средства реализации метода программной декомпозиции для построения крупных вычислительных комплексов / В. В. Пятков. - С .87-95
Пакеты программ и их функциональное наполнение . - С .96-201
Банщиков, А. В. Пакет символьных вычислений "Механик". Задачи и структура / А. В. Банщиков [и др.]. - С .96-105
Другие авторы: Бурлакова Л. А., Иванова Г. И., Симонов С. А.
Бурлакова, Л. А. Новые возможности в пакете символьных вычислений для решения задач общей механики / Л. А. Бурлакова, М. В. Почтаренко. - С .105-112
Бутырин, С. А. Пакет прикладных программ ПАМИР / С. А. Бутырин, И. Б. Дружинина. - С .112-123
Засядко, А. А. Пакет программ ВИЗА / А. А. Засядко [и др.]. - С .123-130
Другие авторы: Карпухин Е. Л., Кухаренко В. П., Мижидон А. Д., Рубинов А. С.
Тятюшкин, А. И. О программном обеспечении задач оптимального управления и линейного программирования, ориентированном на ЭВМ БЭСМ-6 / А. И. Тятюшкин. - С .131-141
Хамидулин, Р. Г. Алгоритмы оптимизации линейных систем с фазовыми ограничениями / Р. Г. Хамидулин, Н. М. Эринчек. - С .142-149
Абдуллин, Р. З. Развитие функциональных возможностей пакета программ по численному построению векторных функций Ляпунова / Р. З. Абдуллин, Н. А. Каратуева, А. И. Маликов. - С .149-159
Бурносов, С. В. Построение количественных оценок динамики систем в ППП ВФЛ / С. В. Бурносов, Р. И. Козлов. - С .160-168
Головченко, Б. В. Многокритериальный выбор наилучшего уравнения регрессии / Б. В. Головченко, С. И. Носков. - С .168-174
Носков, С. И. Использование некоторых типов преобразований переменных при построении регрессионных зависимостей / С. И. Носков. - С .174-179
Бычков, И. В. Об одном подходе к автоматическому моделированию экономических систем (на примере ППП "Моделирование") / И. В. Бычков. - С .179-186
Кузаков, А. М. Нелинейная временная нормализация в системе автоматического распознавания речевых сигналов / А. М. Кузаков. - С .187-195
Николенко, С. Б. Нижняя оценка сложности выводов формул одного класса методом инвариантных преобразований / С. Б. Николенко. - С .195-201
ГРНТИ
28
ББК В185.5я43
Рубрики: Прикладные программы--Сборники

Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А

Доп.точки доступа:
Матросов, В. М. \ред.\; Диваков, О. Г. \ред.\; Симонов, С. А.; Мижидон, А. Д.; Рубинов, А. С.; Академия наук СССР, Сибирское отделение (Иркутск). Иркутский вычислительный центр
Экземпляры всего: 2
ЕА (2)
Свободны: ЕА (2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)