В1
   М 340


Математический институт имени В. А. Стеклова (М.).

    Труды ... / Акад. наук СССР. - М. : Наука, 1945 - .
   [Т.] 133 : Математическая логика, теория алгоритмов и теория множеств : Посвящ. акад. П. С. Новикову к его семидесятилетию / [Отв. ред. С. М. Никольский]. - 1973. - 271, [2] с. : ил., портр. ; 27 см. - Библиогр. в конце ст. - 3000 экз.. - (в пер.) : 1.75 р.
    Содержание:
Гиленко, И. Д. О научной и педагогической деятельности Петра Сергеевича Новикова / И. Д. Гиленко, Е. А. Щегольков. - С .5-11
Ляпунов, А. А. О работах П. С. Новикова в области дискретной теории множеств / А. А. Ляпунов. - С .11-22
Адян, С. И. О работах П. С. Новикова и его учеников по алгоритмическим вопросам алгебры / С. И. Адян. - С .23-32
Арсенин, В. Я. Об одном способе приближенных решений интегральных уравнений первого рода типа сверток / В. Я. Арсенин. - С .33-51
Барздинь, Я. М. О частотном решении проблемы вхождения в рекурсивно перечислимое множество / Я. М. Барздинь. - С .52-58
Белякин, Н. В. Обобщенные вычисления / Н. В. Белякин. - С .59-64
Бочвар, Н. В. Об операторах логической аппроксимации / Н. В. Бочвар, В. И. Фуксов. - С .65-77
Булитко, В. К. О графах с заданными окружениями вершин / В. К. Булитко. - С .78-94
Гладкий, А. В. Математические методы изучения естественных языков / А. В. Гладкий. - С .95-108
Гуревич, Г. А. К проблеме сопряженности для групп с одним определяющим соотношением / Г. А. Гуревич. - С .109-120
Козлова, З. И. R-операция с полной глубиной цепей над несчетными семействами множеств / З. И. Козлова. - С .121-126
Лупанов, О. Б. О сложности универсальной параллельно-последовательной сети глубины 3 / О. Б. Лупанов. - С .127-131
Ляпунов, А. А. О методе трансфинитных индексов в теории операций над множествами / А. А. Ляпунов. - С .132-148
Мучник, А. А. Регулярные линейные и вероятностные события / А. А. Мучник, А. Н. Маслов. - С .149-168
Осипова, В. А. К проблеме сопряженности в полугруппах / В. А. Осипова. - С .169-182
Сметанич, Я. С. О восстановлении слов / Я. С. Сметанич. - С .183-202
Тайманов, А. Д. О некоторых работах, связанных с дескриптивной теорией множеств и топологией / А. Д. Тайманов. - С .203-213
Тайманов, А. Д. О продолжении линейных операторов / А. Д. Тайманов. - С .214-220
Трихтенброт, Б. А. Частотные вычисления / Б. А. Трихтенброт. - С .221-232
Фридман, А. А. Решение проблемы сопряженности в одном классе групп / А. А. Фридман. - С .233-242
Шкира, В. В. Об универсальных функциях для некоторых классов рекурсивных функций и множеств / В. В. Шкира. - С .243-250
Щегольков, Е. А. Униформизация множеств некоторых классов / Е. А. Щегольков. - С .251-262
Яблонский, Сергей Всеволодович. О построении тупиковых кратных экспериментов для автоматов / С. В. Яблонский. - С .263-272
ГРНТИ
ББК В1я54 + В12я54 + В127я54 + В126я54
Рубрики: Математика--Сборники
   Логика математическая--Сборники

   Алгоритмов теория--Сборники

   Множеств теория--Сборники


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

Доп.точки доступа:
Никольский, С. М. \ред.\; Адян, С. И. \ред.\; Новиков, Петр Сергеевич (математик ; 1901-1975) \о нем\; Математический институт имени В. А. Стеклова(М.); Академия наук СССР(М.)
Экземпляры всего: 1
ЕА (1)
Свободны: ЕА (1)

   В12
   Г 977


    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов : [Учеб. пособие для вузов] / А. К. Гуц ; Ом. гос. ун-т. Фак. компьютер. наук. Каф. кибернетики. - Омск : Наследие. Диалог-Сибирь, 2003. - 107 с. : фот., ил. ; 21 см. - Библиогр.: с. 105-107. - 200 экз.. - ISBN 5-8239-0126-7 : 28.25 р., 28.25 р.
    Содержание:
Логика . - С .7-76
Алгоритмы . - С .77-104
ГРНТИ
ББК В12я73 + В127я73
Рубрики: Логика математическая--Учебные издания
   Алгоритмов теория


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

Доп.точки доступа:
Омский государственный университет (Омск). Факультет компьютерных наук. Кафедра кибернетики
Экземпляры всего: 3
ДФ (1), ЕА (2)
Свободны: ДФ (1), ЕА (2)

   В18
   К 608


    Колмогоров, Андрей Николаевич.
    Теория информации и теория алгоритмов / А. Н. Колмогоров; [Сост.: А. Н. Ширяев; Редкол.: Ю. В. Прохоров (отв. ред.) и др.]. - М. : Наука, 1987. - 303, [1] с. : портр. ; 23 см. - Библиогр. в тексте. - 5700 экз.. - (в пер.) : 1.60 р., 130.00 р.
Экслибрис:
Экз.376322: Штамп синего цв. Из личной библиотеки профессора Е. А. Горина
ГРНТИ
ББК В182 + В127
Рубрики: Информации теория
   Алгоритмов теория


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

Доп.точки доступа:
Прохоров, Ю. В. \ред.\; Боголюбов, Николай Николаевич \ред.\; Никольский, С. М. \ред.\; Обухов, А. М. \ред.\; Тихомиров, В. М. \ред.\; Ширяев, А. Н. \ред.\; Ширяев, А. Н. \сост.\; Колмогоров, Андрей Николаевич (математик ; 1903-1987) \о нем\
Экземпляры всего: 3
ЕА (3)
Свободны: ЕА (3)

   В18
   А 955


    Ахо, Альфред.
    Построение и анализ вычислительных алгоритмов / А. Ахо, Дж. Хопкрофт, Дж. Ульман; Пер. с англ. А. О. Слисенко. - М. : Мир, 1979. - 535, [1] с. : ил. ; 23 см. - Библиогр.: с. 502-513. - Имен. указ.: с. 516-518. - Предм. указ.: с. 519-532. - Пер. изд.: The Design and Analysis of Computer Algorithms / A. V. Aho, J. E. Hopcroft, J. D. Ullman (1976). - 26000 экз.. - (в пер.) : 2.60 р., 39.00 р.
ГРНТИ
ББК В185.8 + В127
Рубрики: Алгоритмы--Решения на ЭВМ
   Алгоритмов теория


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

Доп.точки доступа:
Хопкрофт, Дж.; Ульман, Дж.; Слисенко, А. О. \пер.\
Экземпляры всего: 3
ЕА (3)
Свободны: ЕА (3)

   В12
   Л 136


    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2003. - 255 с. ; 21 см. - Библиогр.: с. 248-249.- Предм. указ.: с. 250-255. - Из содерж.:Теория множеств ; Математическая логика ; Теория алгоритмов. - ISBN 5-9221-0026-2 : 112.50 р.
Загл. на корешке не указ
ГРНТИ
ББК В12 + В126 + В127
Рубрики: Логика математическая
   Множеств теория

   Алгоритмов теория


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

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 53
ЕА (53)
Свободны: ЕА (53)

   В1
   В 949


    Вычислительные системы : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С. Л. Соболева. - Новосибирск : Б. и., 1968 - . - ISSN 0568-661X.
   [Вып.] 156 : Структурные алгоритмические свойства вычислимости / [Редкол.: Ю. Л. Ершов, С. С. Гончаров (науч. ред.) и др.]. - 1996. - 152 с. : табл., граф. ; 20 см. - Библиогр. в конце ст. - 350 экз.. - 1500.00 р.
    Содержание:
Коровина, М. В. Новый подход к вычислимости вещественнозначных функций / М. В. Коровина, О. В. Кудинов. - С .3-23
Коровина, М. В. Об универсальной рекурсивной функции и абстрактных машинах на вещественных числах со списочной надстройкой / М. В. Коровина. - С .24-43
Хисамиев, А. Н. Е-нумерация и Е-определимость в HWм / А. Н. Хисамиев. - С .44-58
Пинус, А. Г. Об условных термах и торжествах на универсальных алгебрах / А. Г. Пинус. - С .59-78
Височан, А. Л. Существование расширений в немонотонных системах / А. Л. Височан. - С .79-89
Алаев, Павел Евгеньевич. Однородность в итерированных моделях / П. Е. Алаев. - С .90-122
Трофимов, А. В. Типы изоморфизма суператомных булевых алгебр с выделенным идеалом / А. В. Трофимов. - С .123-147
ГРНТИ
ББК В1я54 + В127я54
Рубрики: Математика--Сборники
   Алгоритмов теория--Сборники


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

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

   В1
   В 949


    Вычислительные системы : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С. Л. Соболева. - Новосибирск : Б. и., 1968 - . - ISSN 0568-661X.
   [Вып.] 165 : Структурные и сложностные проблемы вычислимости / [Редкол.: Ю. Л. Ершов, С. С. Гончаров (науч. ред.) и др.]. - 1999. - 208 с. : табл., граф. ; 20 см. - Библиогр. в конце ст. - 220 экз.. - 5.00 р.
    Содержание:
Пинус, А. Г. Об условно рационально эквивалентных алгебрах / А. Г. Пинус. - С .3-30
Хисамиев, А. Н. О резольвентных и внутренне перечислимых моделях / А. Н. Хисамиев. - С .31-35
Щукин, А. Г. Принцип редукции для иерархий регулярных беззвездных языков / А. Г. Щукин. - С .36-47
Латкин, Е. И. К архитектуре "Химического компьютера" / Е. И. Латкин. - С .48-83
Латкин, Е. И. Абстрактный функционал, органичивающий алгоритмическую сложность для линейного, полиномиального и других схожих классов / Е. И. Латкин. - С .84-111
Корольков, Ю. Д. Представление моделей формульными деревьями / Ю. Д. Корольков. - С .112-126
Добрица, В. П. О группах с нечеткими операциями / В. П. Добрица, Г. Э. Яхьяева. - С .127-138
Когабаев, Н. Т. Универсальная нумерация вычислительных булевых алгебр с выделенным идеалом / Н. Т. Когабаев. - С .139-152
Пузаренко, В. Г. Обобщенные нумерации и теорема Фридберга / В. Г. Пузаренко. - С .153-176
Власов, В. Н. Обобщение метода иерархий Фейнера / В. Н. Власов. - С .177-188
Гайлит, М. В. Вычислимые классы конструктивных булевых алгебр / М. В. Гайлит. - С .189-202
ГРНТИ
ББК В1я54 + В12я54 + В127я54
Рубрики: Математика--Сборники
   Вычислений теория--Сборники

   Алгоритмов теория--Сборники


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

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

   В12
   Л 136


    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов : [Сб.: Учеб. пособие для вузов] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2004. - 255 с. ; 22 см. - Библиогр.: с. 248-249.- Предм. указ.: с. 250-255. - Загл. на корешке не указ. - ISBN 5-9221-0026-2 : 112.50 р.
    Содержание:
Теория множеств . - С .7-49
Математическая логика . - С .50-123
Теория алгоритмов . - С .124-154
ГРНТИ
ББК В12 + В126 + В127
Рубрики: Логика математическая
   Множеств теория

   Алгоритмов теория


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

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 11
ЕА (11)
Свободны: ЕА (11)

   В12
   П 272


    Перетятькин, Михаил Георгиевич.
    Конечно аксиоматизируемые теории / М. Г. Перетятькин; [Отв. ред. С. С. Гончаров]. - Новосибирск : Научная книга, 1997. - III, 318 с. : ил. ; 21 см. - (Сибирская школа алгебры и логики). - Библиогр.: с. 309-314. - Предм. указ.: с. 315-318. - 1000 экз.. - ISBN 5-88119-010-6 (в пер.) : 25.00 р., 60.00 р.
ГРНТИ
ББК В127я41
Рубрики: Алгоритмов теория

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

Доп.точки доступа:
Гончаров, С. С. \ред.\
Экземпляры всего: 7
ЕА (7)
Свободны: ЕА (7)

   В12
   Р 931


    Рыбалов, Александр Николаевич.
    Сложность вычислений в алгебраических системах : дис. ... канд. физ.-мат. наук / А. Н. Рыбалов ; науч. рук. В. Н. Ремесленников ; Ом. гос. ун-т. - Омск : [б. и.], 2004. - 95 с. ; 31 см. - Библиогр.: с. 92-95. - (в пер.)
ГРНТИ
ББК В12р4
Рубрики: Вычислений теория--Сборники
   Алгоритмов теория--Научно-исследовательская работа


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

Доп.точки доступа:
Ремесленников, Владимир Никанорович \науч. рук.\; Омский государственный университет (Омск)
Экземпляры всего: 1
НБО (1)
Свободны: НБО (1)

   В12
   А 980


    Ашаев, Игорь Викторович.
    Основы теории алгоритмов : учеб. пособие [для студентов мат. спец. вузов] / И. В. Ашаев ; [д-р физ.-мат. наук, проф. В. Н. Ремесленников] ; Ом. гос. ун-т им. Ф. М. Достоевского. - Омск : Изд-во ОмГУ, 2006. - 171, [1] с. : рис. ; 21 см. - Библиогр.: с. 172. - В надзаг. также: Федер. агентство по образованию. - 150 экз.. - ISBN 5-7779-0702-4 : 127.63 р.
    Содержание:
Используемые обозначения и общематематические понятия . - С .8
Алгоритмы и вычислимые функции . - С .9-43
Универсальные машины и функции . - С .44-68
Неразрешимые проблемы . - С .69-79
Рекурсивные и рекурсивно перечислимые множества . - С .80-104
Теорема о неподвижной точке . - С .105-108
Сводимости . - С .109-139
Арифметическая иерархия . - С .140-171
ГРНТИ
ББК В127я73
Рубрики: Алгоритмов теория--Учебные издания

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

Доп.точки доступа:
Ремесленников, Владимир Никанорович \рец.\; Омский государственный университет им. Ф. М. Достоевского (Омск)
Экземпляры всего: 78
ДФ (1), ЕА (77)
Свободны: ДФ (1), ЕА (77)

   В12
   И 269


    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для студентов вузов, обучающихся по специальности 032100 "Математика" / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2006. - 302, [1] с. : табл., рис. ; 22 см. - (Высшее профессиональное образование) (Учебное пособие) (Педагогические специальности). - Библиогр.: с. 301, библиогр. в подстроч. примеч. - 2000 экз.. - ISBN 5-7695-2914-8 (в пер.) : 214.04 р.
    Содержание:
Алгебра высказываний . - С .6-91
Булевы функции . - С .92-142
Формализованное исчисление высказываний . - С .143-161
Логика предикатов . - С .162-256
ГРНТИ
ББК В12я73я41 + В127я73я41
Рубрики: Логика математическая--Учебные издания
   Алгоритмов теория--Учебные издания


Держатели документа:
Омский государственный университет. Библиотека : Омск-77 Пр. Мира, 55 А
Экземпляры всего: 3
ЕА (3)
Свободны: ЕА (3)

   В12
   Л 136


    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов : [сборник : учеб. пособие для вузов] / И. А. Лавров, Л. Л. Максимова. - Изд. 2-е. - М. : Наука, Гл. ред. физ.-мат. лит., 1984. - 223 с. ; 20 см. - Библиогр.: с. 214-215. - Предм. указ.: с. 216-220. - Указ. обозначений: с. 221-223. - 22000 экз.. - 0.90 р., 0.90 р.
    Содержание:
Теория множеств . - С .7-45
Математическая логика . - С .46-111
Теория алгоритмов . - С .112-137
ГРНТИ
ББК В12я73
Рубрики: Множеств теория--Учебные издания
   Логика математическая--Учебные издания

   Алгоритмов теория--Учебные издания


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

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 14
ЕА (14)
Свободны: ЕА (14)

   В18
   Л 771


    Лопатков, Михаил Геннадьевич.
    Дискретная математика, математическая логика и теория алгоритмов: теория булевых функций : учеб. пособие [для вузов] / М. Г. Лопатков ; [рец.: проф., д-р физ.-мат. наук В. Н. Ремесленников, проф., д-р физ.-мат. наук А. Н. Зубков] ; Ом. гос. ун-т им. Ф. М. Достоевского. - Омск : Изд-во ОмГУ, 2006. - 107 с. : рис., табл. ; 21 см. - Библиогр.: с. 107. - В надзаг. также: Федер. агентство по образованию. - 150 экз.. - ISBN 5-7779-0738-5 : 60.00 р., 50.17 р.
    Содержание:
Элементы теории графов . - С .7-16
Определение булевых функций . - С .17-23
Язык теории булевых функций . - С .24-29
Эквивалентность формул . - С .30-43
Нормальные формы. Принцип двойственности . - С .44-67
Максимальные замкнутые классы. Теорема Поста . - С .68-87
Релейно-контактные схемы . - С .88-103
ГРНТИ
ББК В18я73 + В12я73
Рубрики: Математика дискретная--Учебные издания
   Логика математическая--Учебные издания

   Алгоритмов теория--Учебные издания


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

Доп.точки доступа:
Ремесленников, Владимир Никанорович \рец.\; Зубков, Александр Николаевич \рец.\; Омский государственный университет им. Ф. М. Достоевского (Омск)
Экземпляры всего: 105
ДФ (1), ЕА (104)
Свободны: ДФ (1), ЕА (104)

   В18
   Б 733


    Богаченко, Надежда Федоровна.
    Автоматы, грамматики, алгоритмы : учеб.-метод. пособие [для студентов, обучающихся по специальности 075200 - "Компьютерная безопасность" и по специальности 220100 "Вычислительные машины, комплексы, системы и сети"] / Н. Ф. Богаченко, Р. Т. Файзуллин ; Ом. гос. ун-т им. Ф. М. Достоевского, Фак. компьютер. наук, Каф. вычисл. систем. - Омск : Наследие. Диалог-Сибирь, 2006. - 139 с. : табл., рис. ; 21 см. - Библиогр.: с. 135-137. - В надзаг. также: Федер. агентство по образованию Рос. Федерации. - 100 экз.. - 58.00 р.
    Содержание:
Языки и грамматики . - С .3-35
Распознаватели . - С .36-49
Машина Тьюринга . - С .50-67
Сети Петри . - С .68-93
Клеточные автоматы . - С .94-102
Криптосистемы с острым ключом . - С .103-112
Элементы теории сложности . - С .113-125
Эволюционные алгоритмы . - С .126-134
ГРНТИ
ББК В18я73
Рубрики: Автоматов теория--Учебные издания
   Языки формальные--Учебные издания

   Алгоритмов теория--Учебные издания


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

Доп.точки доступа:
Файзуллин, Рашит Тагирович; Омский государственный университет им. Ф. М. Достоевского (Омск). Факультет компьютерных наук, Кафедра вычислительных систем
Экземпляры всего: 50
ДФ (1), ЕА (49)
Свободны: ДФ (1), ЕА (49)

   В12
   В 145


    Вайценавичюс, Римантас Юозас Витаутович.
    Главные нумерации вычислимых функционалов на допустимых множествах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Р. Ю. В. Вайценавичюс ; Акад. наук СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск, 1990. - 11 с. ; 20 см. - Библиогр.: с. 11. - 100 экз.. -
ГРНТИ
ББК В127
Рубрики: Алгоритмов теория--Авторефераты диссертаций

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

Доп.точки доступа:
Академия наук СССР, Сибирское отделение (Новосибирск). Институт математики НБО
Свободных экз. нет

   В12
   В 317


    Верещагин, Николай Константинович.
    Релятивизуемость в структурной теории сложности вычислений [Текст] : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук: (01.01.06) / Н. К. Верещагин ; Моск. гос. ун-т им. М. В. Ломоносова. - М., 1995. - 25 с. : рис., табл. ; 21 см. - Библиогр.: с. 24-25. -
ГРНТИ
ББК В127
Рубрики: Алгоритмов теория--Авторефераты диссертаций

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

Доп.точки доступа:
Московский государственный университет им. М. В. Ломоносова (М.) НБО
Свободных экз. нет

   В12
   М 801


    Морозов, Андрей Сергеевич.
    Группы вычислимых автоморфизмов [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / А. С. Морозов ; Акад. наук СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск, 1990. - 15 с. ; 20 см. - Библиогр.: с. 13-15. - 100 экз.. -
ГРНТИ
ББК В127 + В144.3
Рубрики: Алгоритмов теория--Авторефераты диссертаций
   Группы вычислимых автоморфизмов--Авторефераты диссертаций


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

Доп.точки доступа:
Академия наук СССР, Сибирское отделение (Новосибирск). Институт математики НБО
Свободных экз. нет

   В16
   Р 698


    Ромащенко, Андрей Евгеньевич.
    Неравенства для колмогоровской сложности и общая информация [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. Е. Ромащенко ; Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. - М., 2000. - 13, [1] с. ; 21 см. - Библиогр.: с. 14. - 100 экз.. -
ГРНТИ
ББК В161.4 + В127
Рубрики: Колмогорова неравенства--Авторефераты диссертаций
   Алгоритмов теория--Авторефераты диссертаций


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

Доп.точки доступа:
Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет НБО
Свободных экз. нет

   В14
   Р 695


    Романовский, Николай Семенович.
    Теоремы о свободе и алгоритмические проблемы в многообразиях разрешимых групп : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / Н. С. Романовский ; Акад. наук СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск, 1986. - 22 с. ; 20 см. - Библиогр.: с. 20-22. - 100 экз.. -
ГРНТИ
ББК В144.3 + В127
Рубрики: Группы разрешимые--Авторефераты диссертаций
   Алгоритмов теория--Авторефераты диссертаций


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

Доп.точки доступа:
Академия наук СССР, Сибирское отделение (Новосибирск). Институт математики НБО
Свободных экз. нет