Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Каталог книг
Труды преподавателей
Каталог периодических изданий
Каталог редких книг
Каталог статей
IPRbooks периодика
IPRbooks книги
Межвузовская электронная библиотека
ФЭРУ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=конечный автомат<.>
Общее количество найденных документов : 15
Показаны документы с 1 по 15
1.
62815

    Дехтярь, М. И.
    Лекции по дискретной математике [Электронный ресурс] : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 с. - ISBN 978-5-9556-0110-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
51
ББК 22.12

Кл.слова (ненормированные):
алгоритм -- алгоритмическая процедура -- булева функция -- граф -- дискретная математика -- конечный автомат -- логика предикатов -- учебное пособие -- экономика
Аннотация: Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
2.
52202

    Сперанский, Д. В.
    Лекции по теории экспериментов с конечными автоматами [Электронный ресурс] : учебное пособие / Сперанский Д. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 354 с. - ISBN 978-5-9963-0268-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
519.713
ББК 32.815

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

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
3.
67154

   
    Теория алгоритмов [Электронный ресурс] : учебно-методический комплекс / сост.: А. М. Опабекова, К. У. Умбетбаев. - Алматы : Нур-Принт, 2012. - 79 с. - ISBN 9965-756-08-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
004.4
ББК 32.973

Кл.слова (ненормированные):
грамматика хомского -- детерминированный автомат -- конечный автомат -- машина тьюринга -- общерекурсивная функция -- оператор суперпозиции -- программирование алгоритма -- теория алгоритма
Аннотация: Курс «Теория алгоритмов» рассчитан на один семестр и призван упрочить фундамент специальной подготовки будущих педагогов, способствовать дальнейшему формированию логической и алгоритмической культуры будущих учителей информатики и информационных технологий. Исходным пунктом курса служит недостаточность интуитивного определения алгоритма. Рассматривается описание вычислительного процесса, принимаемого в качестве формального определения понятия алгоритма, в терминах частично-рекурсивных функций и вычислительных устройств (машины Тьюринга и Поста). Далее рассматриваются примеры невычислимой функции, алгоритмически неразрешимых проблем математики и информатики.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Опабекова, А. М. \сост.\; Умбетбаев, К. У. \сост.\
Свободных экз. нет
Найти похожие
4.
004.4
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Алымова, , Е. В.
    Конечные автоматы и формальные языки [Текст] : учебник / Е. В. Алымова, , В. М. Деундяк, , А. М. Пеленицын, . - Конечные автоматы и формальные языки, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - электронный. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
004.4
ББК 32.973

Кл.слова (ненормированные):
конечный автомат -- формальный язык -- регулярный язык -- контекстно-свободный язык -- магазинная память -- булева алгебра -- праволинейная грамматика
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Деундяк, , В. М.; Пеленицын, , А. М.
Свободных экз. нет
Найти похожие
5.
004
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Шень, , А. Х.
    Методы построения алгоритмов [Текст] : практикум / А. Х. Шень, . - Методы построения алгоритмов, 2021-12-05. - Электрон. дан. (1 файл)col. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 335 с. - электронный. - ISBN 978-5-4497-0354-5 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
004
ББК 32.97

Кл.слова (ненормированные):
метод построения -- построение алгоритма -- программирование -- язык Паскаль -- алгоритм сортировки -- конечный автомат -- тип данных -- рекурсия -- оптимальное кодирование -- код Грея
Аннотация: Практикум содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель издания — научить основным методам построения корректных и быстрых алгоритмов. Практикум будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Может быть использован на кружковых и факультативных занятиях в общеобразовательных учреждениях, в школах с углубленным изучением математики и информатики.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
6.
681.3
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Федотов, , И. Е.
    Параллельное программирование. Модели и приемы [Текст] / И. Е. Федотов, . - Параллельное программирование. Модели и приемы, 2021-05-25. - Электрон. дан. (1 файл)col. - Москва : СОЛОН-ПРЕСС, 2018. - 390 с. - электронный. - ISBN 978-5-91359-222-4 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
681.3
ББК 32.97

Кл.слова (ненормированные):
параллельное программирование -- интерфейс OpenMP -- ярусно-параллельная форма -- конечный автомат -- параллельный сумматор -- сети Петри -- язык SAL -- квантовое вычисление -- квантовый бит -- принцип суперпозиции
Аннотация: Книга посвящена рассмотрению некоторых высокоуровневых моделей параллельного и распределенного программирования. В порядке усложнения описываются несколько моделей внутренней организации параллельных программ: ярусно-параллельная форма программы, сети конечных автоматов, сети Петри, модель актеров, а также модель квантовых вычислений. Приводятся примеры программной реализации на C++ с использованием различных средств распараллеливания (OpenMP, MPI, POSIX Threads, Windows API). В каждом случае рассматриваются вопросы контекстно-независимой реализации конструкций описываемой модели без привязки к конкретным задачам, а также приведены примеры решения с использованием такой реализации некоторых конкретных задач. Некоторые из описанных моделей (к примеру, модель актеров), в настоящий момент приобретают все большую популярность вследствие распространения основанных на ее использовании языков и библиотек. Книга ориентирована на подготовленного читателя в области программирования. Будет полезна программистам, желающим освоить высокоуровневые подходы к организации параллельных и распределенных программ, студентам старших курсов, аспирантам и преподавателям технических ВУЗов, преподающим параллельное программирование.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
7.
62
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Бибило, , П. Н.
    Синтез логических схем с использованием языка VHDL [Текст] / П. Н. Бибило, . - Синтез логических схем с использованием языка VHDL, 2021-05-25. - Электрон. дан. (1 файл)col. - Москва : СОЛОН-Р, 2016. - 384 с. - электронный. - ISBN 5-93455-152-3 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
62
ББК 32.85

Кл.слова (ненормированные):
синтез схемы -- логическая схема -- язык VHDL -- язык проектирования -- цифровая система -- высокоуровневый синтез -- логический синтез -- декларация константы -- комбинационная схема -- конечный автомат
Аннотация: Рассматриваются теоретические основы синтеза логических схем по спецификациям на высокоуровневом языке VHDL, предназначенном для проектирования цифровых систем, описывается «синтезируемое» подмножество языка VHDL в системе автоматического синтеза Leonardo, приводятся примеры синтезируемых (схемно реализуемых) конструкций языка и примеры синтезируемых описаний типовых схем, изучается проблема эффективного управления процессом синтеза. Язык VHDL является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Книга предназначена для первоначального ознакомления как с языком VHDL, так и c проблемой синтеза схем по спецификациям на языке VHDL. Может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
8.
621.865
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Кулаков, , Д. Б.
    Роботы и робототехника: лабораторный практикум [Текст] : учебное пособие / Д. Б. Кулаков, , Б. Б. Кулаков, . - Роботы и робототехника: лабораторный практикум, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Москва : Российский университет дружбы народов, 2018. - 124 с. - электронный. - ISBN 978-5-209-07506-6 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
621.865
ББК 32.816

Кл.слова (ненормированные):
робот -- робототехника -- манипуляционный робот -- робот-манипулятор -- Kawasaki FS03N -- среда LabView -- имитационное моделирование -- конечный автомат -- кинематическая цепь -- робототехнический комплекс
Аннотация: В пособии представлены основы кинематического описания роботов-манипуляторов, принципы их управления и программирования на примере робота-манипулятора Kawasaki FS03N. Приведен пример разработки программы управления роботом Kawasaki FS03N с подключенной системой технического зрения. Также рассматриваются основы группового управления роботов на основе теории конечных автоматов и сетей Петри с реализованным примером в виде практической задачи совместного переноса деталей группой роботов Kawasaki FS03N с общими рабочими зонами. При этом используются программный комплекс LabView и соответствующее аппаратное обеспечение. Рассмотрены основы 3D-моделирования промышленных роботов на базе пакета PC-Roset имитационного моделирования роботов-манипуляторов Kawasaki. Для студентов вузов, обучающихся по специальностям, связанным с управлением робототехническими системами. Также представляет интерес для аспирантов, преподавателей и специалистов.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Кулаков, , Б. Б.
Свободных экз. нет
Найти похожие
9.
512
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Пинус, , А. Г.
    Дискретные функции. Дополнительные главы дискретной математики [Текст] : учебное пособие / А. Г. Пинус, . - Дискретные функции. Дополнительные главы дискретной математики, 2025-02-05. - Электрон. дан. (1 файл)col. - Новосибирск : Новосибирский государственный технический университет, 2016. - 92 с. - электронный. - ISBN 978-5-7782-2838-2 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
512
ББК 22.1

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

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
10.
004.42
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Веретельникова, , Е. Л.
    Теоретическая информатика. Теория сетей Петри и моделирование систем [Текст] : учебное пособие / Е. Л. Веретельникова, . - Теоретическая информатика. Теория сетей Петри и моделирование систем, 2025-02-05. - Электрон. дан. (1 файл)col. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - электронный. - ISBN 978-5-7782-3559-5 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
004.42
ББК 32.8

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

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
11.
004.31
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Сажнев, , А. М.
    Цифровые устройства и микропроцессоры [Текст] : учебно-методическое пособие / А. М. Сажнев, , А. В. Никулин, . - Цифровые устройства и микропроцессоры, 2025-02-05. - Электрон. дан. (1 файл)col. - Новосибирск : Новосибирский государственный технический университет, 2017. - 64 с. - электронный. - ISBN 978-5-7782-3331-7 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
004.31
ББК 32.81

Кл.слова (ненормированные):
цифровое устройство -- микропроцессор -- система счисления -- логическая функция -- машинный код -- двоичная система -- автомат Мили -- конечный автомат -- автомат Мура
Аннотация: Учебно-методическое пособие содержит теоретический материал, задания для контрольной работы, а также расчетно-графическое задание по курсу «Цифровые устройства и микропроцессоры». Пособие адресовано студентам, обучающимся по направлению «Радиотехника».

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Никулин, , А. В.
Свободных экз. нет
Найти похожие
12.
519
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Шмырин, , А. М.
    Дискретная математика и математическая логика [Текст] : учебное пособие для спо / А. М. Шмырин, , И. А. Седых, . - Дискретная математика и математическая логика, Весь срок охраны авторского права. - Электрон. дан. (1 файл)col. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 160 с. - электронный. - ISBN 978-5-88247-960-1, 978-5-4488-0751-0 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
519
ББК 22.176

Кл.слова (ненормированные):
дискретная математика -- математическая логика -- математическое моделирование -- множество -- граф -- конечный автомат
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность».

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Седых, , И. А.
Свободных экз. нет
Найти похожие
13.
519
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Пентус, , А. Е.
    Математическая теория формальных языков [Текст] : учебное пособие / А. Е. Пентус, , М. Р. Пентус, . - Математическая теория формальных языков, 2022-07-28. - Электрон. дан. (1 файл)col. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - электронный. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
519
ББК 22.1

Кл.слова (ненормированные):
математическая теория -- формальный язык -- конечный автомат -- автоматный язык -- машина Тьюринга -- теоретическая информатика -- иерархия Хомского -- контекстно-свободная грамматика -- магазинная память
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Доп.точки доступа:
Пентус, , М. Р.
Свободных экз. нет
Найти похожие
14.
519
Д 70

   Доступна эл. версия. ЭБС IPR BOOKS.
    Cперанский, , Д. В.
    Теория экспериментов с конечными автоматами [Текст] : учебное пособие / Д. В. Cперанский, . - Теория экспериментов с конечными автоматами, 2022-07-28. - Электрон. дан. (1 файл)col. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 354 с. - электронный. - ISBN 978-5-4497-0697-3 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
519
ББК 32.81

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

Перейти к внешнему ресурсу: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
15.
510

   Доступна эл. версия. ЭБС IPR BOOKS.
    Кувайскова, , Ю. Е.
    Алгоритмы дискретной математики [Текст] : учебное пособие / Ю. Е. Кувайскова, . - Алгоритмы дискретной математики, 2025-10-27. - Электрон. дан. (1 файл)col. - Ульяновск : Ульяновский государственный технический университет, 2017. - 100 с. - электронный. - ISBN 978-5-9795-1635-6 : Б. ц.
Книга находится в премиум-версии ЭБС IPR BOOKS.
Приложение:

УДК
510
ББК 22.1

Кл.слова (ненормированные):
дискретная математика -- алгоритм -- граф -- конечный автомат -- задача
Аннотация: Учебное пособие посвящено изучению некоторых разделов дискретной математики: алгоритмы оптимизации на графах, теория кодирования и теория конечных автоматов. В пособии представлены краткие теоретические сведения, примеры решения задач, задачи для самостоятельного выполнения, а также методические рекомендации и варианты заданий для выполнения расчетно-графической работы. Пособие предназначено для студентов направления бакалавриата «Прикладная математика», а также студентов других направлений, изучающих курс дискретной математики.

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