Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ТЕОРИЯ АВТОМАТОВ<.>)

Общее количество найденных документов : 28
Показаны документы с 1 по 20

1-20 21-28

519
А 456


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

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

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

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

519
А 971

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

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

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

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

681.3
Б 241

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

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

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

Свободных экз. нет
Постоянная гиперссылка

519
Б 245

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

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

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

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

519
Г 168

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

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

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

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

519
Г 168

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

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

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

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

62-5
Г 555

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

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

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

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

517
Г 671

    Горбатов, Вячеслав Афанасьевич.
    Основы дискретной математики : учебное пособие для вузов / В. А. Горбатов. - М. : Высшая школа, 1986. - 310[2] с. : ил. - Библиогр.: с. 304-305. - Предм. указ.: с. 306-309. - 01.00 р.

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

Кл.слова (ненормированные):
дискретная математика -- учебные пособия -- алгебраические системы -- математическая логика -- теория графов -- мографы -- теория формальных грамматик -- теория автоматов -- теория алгоритмов

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

519
Г 671

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

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

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

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

10.

519
Г 907

    Грунский, Игорь Сергеевич.
    Представления конечных автоматов фрагментами поведения : научное издание / И. С. Грунский, В. А. Козловский, Г. Г. Пономаренко ; Академия наук Украинской ССР, Институт прикладной математики и механики. - Киев : Наукова думка, 1990. - 229[3] с. : ил. - Библиогр.: с. 225-228. - ISBN 5-12-001275-2 : Б. ц.

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

Кл.слова (ненормированные):
математика -- теория автоматов -- конечные автоматы -- фрагменты -- идентификаторы -- представления
Доп.точки доступа:
Козловский, Валерий Анатольевич
Пономаренко, Григорий Григорьевич
Академия наук Украинской ССР
Институт прикладной математики и механики

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

11.

62-5
Г 950

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

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

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

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

12.

62-5
Д 259

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

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

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

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

13.

62-5
Д 482


    Дискретные автоматы и сети связи : / Академия наук СССР (М.), Институт проблем передачи информации ; ред. В. Г. Лазарев. - М. : Наука, 1970. - 190 с. : ил., табл. - Библиогр. в конце ст. - Б. ц.

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

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

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

14.

А
Ж 688

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

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

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

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

15.

62-5
К 174

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

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

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

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

16.

519
К265

    Карпов, Юрий Глебович.
    Теория автоматов : Учебник для вузов / Юрий Глебович Карпов. - СПб. : Питер, 2002. - 208 с. : ил. - ISBN 5-318-00537-3 (в пер.) : 122.00 р., 122.00 р.

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

Кл.слова (ненормированные):
КОНЕЧНЫЕ АВТОМАТЫ -- АВТОМАТНЫЕ ЯЗЫКИ -- Тьюринга машины -- теория автоматов -- МАТЕМАТИКА -- УЧЕБНЫЕ ПОСОБИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНКЦИОНАЛЬНЫЕ ПРЕОБРАЗОВАТЕЛИ

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

17.

62-5
К 381


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

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

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

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

18.

62-5
К 381


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

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

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

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

19.

А
К 612

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

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

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

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

20.

519
К 889

    Кудрявцев, Валерий Борисович.
    Основы теории однородных структур : научное издание / В. Б. Кудрявцев, А. С. Подколзин, А. А. Болотов. - М. : Наука, 1990. - 293[3] с. : ил. - Библиогр.: с. 288-290. - Предм. указ.: с. 291-294. - ISBN 5-02-014266-2 (в пер.) : Б. ц.

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

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

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

1-20 21-28

Статистика за 03.07.2024
Число запросов	132710
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)