Web ИРБИС

62-5
Э 687

    Энциклопедия кибернетики [Текст] / Академия наук Украинской ССР (Киев). - Киев : Главная редакция Украинской Советской Энциклопедии, 1974 - 1975.
   Т. 1 : Абс-Мир / ред.: В. М. Глушков [и др.]. - 1975. - 608 с : рис., табл., вкл. л. 5. - Библиогр. в конце ст. - 04.36 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
62-50(031)
~РУБ 62-5

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ АППАРАТ -- ТЕОРИЯ СИСТЕМ -- ТЕОРИЯ ИНФОРМАЦИИ -- ОСНОВЫ ПРОГРАММИРОВАНИЯ -- МЕТОДЫ ПРОГРАММИРОВАНИЯ -- ТЕОРИЯ АВТОМАТОВ -- АСУП -- ТЕХНИЧЕСКИЕ СРЕДСТВА -- НАУЧНОЕ ПРОГНОЗИРОВАНИЕ -- МОДЕЛИРУЮЩИЕ УСТРОЙСТВА
Доп.точки доступа:
Бажан, Н. П. \ред.\
Бабий, Б. М. \ред.\
Белодед, И. К. \ред.\
Власюк, П. А. \ред.\
Глушков, В. М. \ред.\
Амосов, Н. М. \ред.\
Артеменко, И. А. \ред.\
Бакаев, А. А. \ред.\
Академия наук Украинской ССР(Киев)

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)

62-5
Т 338


    Теория и средства автоматики [Текст] / Академия наук СССР, Министерство приборостроения, средств автоматизации и систем управления, Институт автоматики и телемеханики (технической кибернетики) ; ред. Я. З. Цыпкин. - М. : Наука, 1968. - 432 с : вкл. л., рис., схемы, табл. - Библиогр. в конце разд. - 02.52 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
62-50
~РУБ 62-5

Кл.слова (ненормированные):
ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ -- СТАТИСТИЧЕСКИЕ МЕТОДЫ -- ПРИМЕНЕНИЕ -- ОПТИМИЗАЦИЯ -- БОЛЬШИЕ СИСТЕМЫ -- ТЕЛЕМЕХАНИКА -- ТЕОРИЯ СТРУКТУР -- ТЕОРИЯ АВТОМАТОВ -- БИОНИКА -- АВТОМАТИЧЕСКИЙ КОНТРОЛЬ
Доп.точки доступа:
Цыпкин, Яков Залманович \ред.\
Академия наук СССР
Министерство приборостроения, средств автоматизации и систем управления
Институт автоматики и телемеханики (технической кибернетики)

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)

А
Ж 688

    Жигулин, Максим Владимирович.
    Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 / М. В. Жигулин ; науч. рук. Н. В. Евтушенко ; Национальный исследовательский Томский государственный университет (Томск), Кафедра информационных технологий в исследовании дискретных структур. - Томск : Позитив-НБ, 2012. - 19 с. - Библиогр.: с. 18-19

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.511.42(043.3)
519.713(043.3)
~РУБ А

Кл.слова (ненормированные):
ДИСКРЕТНАЯ МАТЕМАТИКА -- ТЕОРИЯ АВТОМАТОВ -- ФОРМАЛЬНАЯ ЛОГИКА -- КОМПЬЮТЕРНЫЕ ЭКСПЕРИМЕНТЫ -- АВТОРЕФЕРАТЫ
Доп.точки доступа:
Евтушенко, Нина Владимировна \науч. рук.\
Национальный исследовательский Томский государственный университет (Томск). Кафедра информационных технологий в исследовании дискретных структур

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)

519
Г 168

    Галушкина, Юлия Ивановна.
    Конспект лекций по дискретной математике. С упражнениями и контрольными работами [Текст] : курс лекций / Ю. И. Галушкина, А. Н. Марьямов. - 2-е изд. - М. : Айрис-Пресс, 2008. - 176 с. : ил. - (Высшее образование). - Библиогр.: с. 174. - ISBN 978-5-8112-3322-9 : 132.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВА -- КОМБИНАТОРНЫЙ АНАЛИЗ -- ТЕОРИЯ ГРАФОВ -- ТЕОРИЯ АВТОМАТОВ -- ТЕОРИЯ АЛГОРИТМОВ -- ЛЕКЦИИ
Доп.точки доступа:
Марьямов, Александр Наумович

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

519
Г 671

    Горбатов, Вячеслав Афанасьевич.
    Семантическая теория проектирования автоматов [Текст] : научное издание / В. А. Горбатов. - М. : Энергия, 1979. - 264 с. : ил. - Библиогр.: с. 261-263. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.713
007.52
~РУБ 519

Кл.слова (ненормированные):
ТЕОРИЯ АВТОМАТОВ

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)

519
Б 245

    Барашко, Анатолий Сергеевич.
    Исследование по теории сложности вычислений и формальным языкам [Текст] : научное издание / А. С. Барашко, В. А. Липская, С. И. Ройзен ; Академия наук УССР, Институт прикладной математики и механики. - Киев : Наукова думка, 1978. - 172 с. - Библиогр.: с. 171-172. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.7
~РУБ 519

Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ТЕОРИЯ АВТОМАТОВ
Доп.точки доступа:
Липская, В. А.
Ройзен, С. И.
Академия наук УССР. Институт прикладной математики и механики

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

681.3
Б 241

    Баранов, Самарий Иосифович.
    Автоматы и программируемые матрицы [Текст] : научное издание / С. И. Баранов, В. Н. Синев. - Минск : Вышэйшая школа, 1980. - 136 с. - 0.35 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.325.65.049.77
621.3.049.771.14
~РУБ 681.3

Кл.слова (ненормированные):
ТЕОРИЯ АВТОМАТОВ -- МАШИНОСТРОЕНИЕ -- НАУЧНОЕ ИЗДАНИЕ -- ВОПРОСЫ СИНТЕЗА -- ЦИФРОВАЯ АВТОМАТИКА
Доп.точки доступа:
Синев, Владимир Николаевич

Свободных экз. нет

519
А 971

    Ачасова, Светлана Михайловна.
    Алгоритмы синтеза автоматов на программируемых матрицах [Текст] : научное издание / С. М. Ачасова ; ред. О. Л. Бадман. - М. : Радио и связь, 1987. - 136 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.714:681.32
~РУБ 519

Кл.слова (ненормированные):
МАТРИЧНОЕ ПРОГРАММИРОВАНИЕ -- ТЕОРИЯ АВТОМАТОВ -- МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Доп.точки доступа:
Бадман, О. Л. \ред.\

Имеются экземпляры в отделах: аунл (3 экз.), счз1
Свободны: аунл (3)

519
А 456


    Алгоритмы и автоматы [Текст] : сборник статей / ред. М. М. Арсланов. - Казань : Издательство Казанского университета, 1978. - 109 с. - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.713
510.51
~РУБ 519

Кл.слова (ненормированные):
ТЕОРИЯ АВТОМАТОВ -- МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ -- СБОРНИКИ
Доп.точки доступа:
Арсланов, М. М. \ред.\

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

62-5
К 381


    Кибернетический сборник. Новая серия [Текст] : сборник переводов. Вып. 6 / Академия наук СССР (М.), Научный совет по кибернетике ; ред.: А. А. Ляпунов, О. Б. Лупанов. - М. : Мир, 1969. - 264 с. : ил. - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.5
519.7
~РУБ 62-5

Кл.слова (ненормированные):
ЦИКЛИЧЕСКИЕ КОДЫ -- МАЖОРИТАРНОЕ ДЕКОДИРОВАНИЕ -- ДВОИЧНЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ -- ВРЕМЯ СЛОЖЕНИЯ -- ВРЕМЯ УМНОЖЕНИЯ -- ПОРОГОВЫЕ ФУНКЦИИ -- ТЕОРИЯ АВТОМАТОВ -- ТЕОРИЯ ЯЗЫКОВ -- ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ -- БАЛАША АЛГОРИТМ
Доп.точки доступа:
Ляпунов, А. А. \ред.\
Лупанов, О. Б. \ред.\
Академия наук СССР (М.). Научный совет по кибернетике

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

62-5
К 381


    Кибернетический сборник. Новая серия [Текст] : сборник переводов. Вып. 11 / Академия наук СССР, Научный совет по кибернетике ; ред. О. Б. Лупанов. - М. : Мир, 1974. - 200 с. : ил. - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.5
~РУБ 62-5

Кл.слова (ненормированные):
ТЕОРИИ ПОЛУГРУПП -- ВЕСА МНОГОЧЛЕНОВ -- КОДОВЫЕ КОНСТРУКЦИИ -- СВЕРТОЧНЫЕ КОДЫ -- АСИМПТОТИЧЕСКИЕ КОДЫ -- ШИРОКОВЕЩАТЕЛЬНЫЕ КАНАЛЫ -- ТЕОРИЯ КАТЕГОРИЙ -- ТЕОРИЯ АВТОМАТОВ -- ТЕОРИЯ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ -- ТЕЗАУРУС
Доп.точки доступа:
Лупанов, О. Б. \ред.\
Академия наук СССР. Научный совет по кибернетике

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

62-5
К 174

    Калман, Р.
    Очерки по математической теории систем [Текст] : научное издание / Р. Калман, П. Фалб, М. Арбиб ; ред. Я. З. Цыпкин ; пер. Э. Л. Наппельбаум. - М. : Мир, 1971. - 400 с. : ил. - Пер. с англ. - Библиогр.: с. 386-393. - Предм. указ.: с. 396-398. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.51.01:51
~РУБ 62-5

Кл.слова (ненормированные):
АВТОМАТИЧЕСКИЕ СИСТЕМЫ УПРАВЛЕНИЯ -- МАТЕМАТИЧЕСКИЕ ИССЛЕДОВАНИЯ -- ТЕОРИЯ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ -- ТЕОРИЯ АВТОМАТОВ -- ЛИНЕЙНЫЕ СИСТЕМЫ
Доп.точки доступа:
Фалб, Питер
Арбиб, Майкл
Цыпкин, Я. З. \ред.\
Наппельбаум, Э. Л. \пер.\

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

62-5
Д 259

    Девятков, Владимир Валентинович.
    Методы реализации конечных автоматов на сдвиговых регистрах [Текст] : / В. В. Девятков. - М. : Энергия, 1974. - 80 с. : ил., табл. - (Библиотека по автоматике ; вып. 523). - Библиогр.: с. 78-79. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.5.011
~РУБ 62-5

Кл.слова (ненормированные):
ТЕОРИЯ АВТОМАТОВ -- ТЕОРИЯ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ -- КОНЕЧНЫЕ АВТОМАТЫ -- СДВИГОВЫЕ РЕГИСТРЫ

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

62-5
Г 950

    Гурвиц, Евгений Александрович.
    Синтез полисинхронных дискретных устройств [Текст] : / Е. А. Гурвиц. - М. : Связь, 1969. - 175 с. : ил., табл. - Библиогр.: с. 170-172. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.511.013
~РУБ 62-5

Кл.слова (ненормированные):
ДИСКРЕТНЫЕ УСТРОЙСТВА -- АВТОМАТИЧЕСКИЕ УСТРОЙСТВА -- ТЕОРИЯ АВТОМАТОВ -- СИНХРОННЫЕ АВТОМАТЫ -- ПОЛИСИНХРОННЫЕ УСТРОЙСТВА

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

62-5
Г 555

    Глушков, Виктор Михайлович.
    Что такое кибернетика [Текст] : / В. М. Глушков. - М. : Педагогика, 1975. - 64 с. : ил. - (Библиотечка детской энциклопедии "Ученые - школьнику"). - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
007
~РУБ 62-5

Кл.слова (ненормированные):
УПРАВЛЯЮЩИЕ СИСТЕМЫ -- ИНФОРМАЦИЯ -- КОДИРОВАНИЕ ИНФОРМАЦИИ -- ТЕОРИЯ АВТОМАТОВ -- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- ЭЦВМ -- ЭВМ -- ПРЕОБРАЗОВАНИЕ ИНФОРМАЦИИ

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)

А
П 305

    Петрова, Елена Владиленовна.
    Математическое моделирование защищенных информационных систем органов внутренних дел на основе использования методов теории автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.18, 05.13.19 / Е. В. Петрова ; науч. рук. В. В. Меньших ; Воронежский институт МВД России. - Воронеж, 2010. - 15, [1] с. : ил. - Библиогр.: с. 14-16

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.056.5:351.74(043.3)
351.74:004.056.5(043.3)
~РУБ А

Кл.слова (ненормированные):
авторефераты -- органы внутренних дел -- милиция -- информационные технологии -- информационные системы -- математическое моделирование -- теория автоматов -- защита информации -- информационная безопасность -- имитационное моделирование -- алгоритмы -- программное обеспечение
Доп.точки доступа:
Меньших, Валерий Владимирович \науч. рук.\
Воронежский институт МВД России

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)

А
К 612

    Коломеец, Антон Владимирович.
    Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 / А. В. Коломеец ; науч. рук. Н. В. Евтушенко ; Томский государственный университет. - Томск, 2010. - 18 с. - Библиогр.: с. 17-18

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.51.013(043.3)
~РУБ А

Кл.слова (ненормированные):
авторефераты -- управляющие системы -- технические системы -- расширенные автоматы -- проверяющие тесты -- алгоритмы -- дискретные системы -- теория автоматов
Доп.точки доступа:
Евтушенко, Нина Владимировна \науч. рук.\
Томский государственный университет

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)

519
Г 168

    Галушкина, Юлия Ивановна.
    Конспект лекций по дискретной математике. С упражнениями и контрольными работами : / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис-Пресс, 2007. - 173[3] с. : ил. - (Высшее образование). - Библиогр.: с. 174. - ISBN 978-5-8112-2599-6 : 127.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- математическая логика -- множества -- отображения -- комбинаторный анализ -- логика предикатов -- теория графов -- кодирование -- теория автоматов -- теория алгоритмов
Доп.точки доступа:
Марьямов, Александр Наумович

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)

519
Л 436


    Лекции по дискретной математике : Учебное пособие для вузов / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - (Учебное пособие). - Библиогр.: с. 611-614. - ISBN 5-94157-546-7 : 268.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
теория алгоритмов -- математическая логика -- теория графов -- математические модели -- дискретная математика -- учебные пособия -- теория автоматов -- информационные технологии -- комбинаторика -- множества -- алгебра
Доп.точки доступа:
Капитонова, Юлия Владимировна
Кривой, Сергей Лукьянович
Летичевский, Александр Адольфович
Луцкий, Георгий Михайлович

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)

681.5
Л 171

    Лазарев, Владимир Георгиевич.
    Синтез управляющих автоматов : производственно-практическое издание / В. Г. Лазарев, Е. И. Пийль. - 3-е изд., перераб. и доп. - М. : Энергоатомиздат, 1989. - 327[1] с. : ил. - Библиогр.: с. 320-326. - ISBN 5-283-01494-0 : 01.40 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.51.013
~РУБ 681.5

Кл.слова (ненормированные):
теория автоматов -- синтез -- управление
Доп.точки доступа:
Пийль, Елена Ивановна

Имеются экземпляры в отделах: , аунл (7 экз.), счз1
Свободны: аунл (7)

request_decrypt("(<.>K=ТЕОРИЯ АВТОМАТОВ<.>)","");