Choice of metadata IPR SMART
Page 1, Results: 13
Report on unfulfilled requests: 0
1.
Подробнее
Акинина, Ю. С.
Теория автоматов : учебное пособие / Акинина Ю. С. - Москва : Ай Пи Ар Медиа, 2023. - 156 с. - ISBN 978-5-4497-1877-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.182
Кл.слова (ненормированные):
конечный автомат -- логика -- логический преобразователь -- теория автоматов -- формальная классификация
Аннотация: В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и определения, дающие возможность формального описания логических преобразователей (комбинационных автоматов), которые являются основой всех конечных автоматов, включая последовательностные (автоматы с памятью). Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования, предъявляемыми к изучению дисциплины «Теория автоматов». Предназначено для студентов, обучающихся по направлению подготовки 09.03.01 «Информатика и вычислительная техника», а также для студентов других специальностей и направлений подготовки, учебными планами которых предусмотрено изучение данной дисциплины.
Доп.точки доступа:
Тюрин, С. В.
Акинина, Ю. С.
Теория автоматов : учебное пособие / Акинина Ю. С. - Москва : Ай Пи Ар Медиа, 2023. - 156 с. - ISBN 978-5-4497-1877-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
конечный автомат -- логика -- логический преобразователь -- теория автоматов -- формальная классификация
Аннотация: В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и определения, дающие возможность формального описания логических преобразователей (комбинационных автоматов), которые являются основой всех конечных автоматов, включая последовательностные (автоматы с памятью). Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования, предъявляемыми к изучению дисциплины «Теория автоматов». Предназначено для студентов, обучающихся по направлению подготовки 09.03.01 «Информатика и вычислительная техника», а также для студентов других специальностей и направлений подготовки, учебными планами которых предусмотрено изучение данной дисциплины.
Доп.точки доступа:
Тюрин, С. В.
2.
Подробнее
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
3.
Подробнее
Cперанский, Д. В.
Теория экспериментов с конечными автоматами : учебное пособие / Cперанский Д. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 354 с. - ISBN 978-5-4497-0697-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
автомат мили -- билинейный автомат -- диагностическое дерево -- динамическое программирование -- инициальный автомат -- интервальная арифметика -- кодирование информации -- конечный автомат -- линейный автомат -- теория эксперимента
Аннотация: Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном учебном пособии излагаются результаты теории экспериментов с автоматами, востребованные при решении задач технической диагностики дискретных устройств, кодирования и декодирования информации, задач распознавания, расшифровки и идентификации и т.п.
Cперанский, Д. В.
Теория экспериментов с конечными автоматами : учебное пособие / Cперанский Д. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 354 с. - ISBN 978-5-4497-0697-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автомат мили -- билинейный автомат -- диагностическое дерево -- динамическое программирование -- инициальный автомат -- интервальная арифметика -- кодирование информации -- конечный автомат -- линейный автомат -- теория эксперимента
Аннотация: Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном учебном пособии излагаются результаты теории экспериментов с автоматами, востребованные при решении задач технической диагностики дискретных устройств, кодирования и декодирования информации, задач распознавания, расшифровки и идентификации и т.п.
4.
Подробнее
Алымова, Е. В.
Конечные автоматы и формальные языки : учебник / Алымова Е. В. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
булева алгебра -- конечный автомат -- контекстно-свободный язык -- магазинная память -- праволинейная грамматика -- регулярный язык -- формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
Доп.точки доступа:
Деундяк, В. М.
Пеленицын, А. М.
Алымова, Е. В.
Конечные автоматы и формальные языки : учебник / Алымова Е. В. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- конечный автомат -- контекстно-свободный язык -- магазинная память -- праволинейная грамматика -- регулярный язык -- формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
Доп.точки доступа:
Деундяк, В. М.
Пеленицын, А. М.
5.
Подробнее
Веретельникова, Е. Л.
Теоретическая информатика. Теория сетей Петри и моделирование систем : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.8
Кл.слова (ненормированные):
дерево достижимости -- конечный автомат -- маркированная сеть -- матричное уравнение -- моделирование системы -- мультиграф -- сеть петри -- теоретическая информатика
Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.
Веретельникова, Е. Л.
Теоретическая информатика. Теория сетей Петри и моделирование систем : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дерево достижимости -- конечный автомат -- маркированная сеть -- матричное уравнение -- моделирование системы -- мультиграф -- сеть петри -- теоретическая информатика
Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.
6.
Подробнее
Кувайскова, Ю. Е.
Алгоритмы дискретной математики : учебное пособие / Кувайскова Ю. Е. - Ульяновск : Ульяновский государственный технический университет, 2017. - 100 с. - ISBN 978-5-9795-1635-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- граф -- дискретная математика -- задача -- конечный автомат
Аннотация: Учебное пособие посвящено изучению некоторых разделов дискретной математики: алгоритмы оптимизации на графах, теория кодирования и теория конечных автоматов. В пособии представлены краткие теоретические сведения, примеры решения задач, задачи для самостоятельного выполнения, а также методические рекомендации и варианты заданий для выполнения расчетно-графической работы. Пособие предназначено для студентов направления бакалавриата «Прикладная математика», а также студентов других направлений, изучающих курс дискретной математики.
Кувайскова, Ю. Е.
Алгоритмы дискретной математики : учебное пособие / Кувайскова Ю. Е. - Ульяновск : Ульяновский государственный технический университет, 2017. - 100 с. - ISBN 978-5-9795-1635-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- граф -- дискретная математика -- задача -- конечный автомат
Аннотация: Учебное пособие посвящено изучению некоторых разделов дискретной математики: алгоритмы оптимизации на графах, теория кодирования и теория конечных автоматов. В пособии представлены краткие теоретические сведения, примеры решения задач, задачи для самостоятельного выполнения, а также методические рекомендации и варианты заданий для выполнения расчетно-графической работы. Пособие предназначено для студентов направления бакалавриата «Прикладная математика», а также студентов других направлений, изучающих курс дискретной математики.
7.
Подробнее
Пинус, А. Г.
Дискретные функции. Дополнительные главы дискретной математики : учебное пособие / Пинус А. Г. - Новосибирск : Новосибирский государственный технический университет, 2016. - 92 с. - ISBN 978-5-7782-2838-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
детерминированная функция -- дискретная математика -- дискретная функция -- конечное множество -- конечный автомат
Аннотация: В работе рассмотрены избранные вопросы теории дискретных функций: алгебраические основы этой теории, теория функциональных клонов на конечных множествах, теория ограниченно-детерминированных функций, а также основы теории конечных автоматов. Для студентов, магистрантов, аспирантов технических вузов, специализирующихся в области прикладной математики и информатики.
Пинус, А. Г.
Дискретные функции. Дополнительные главы дискретной математики : учебное пособие / Пинус А. Г. - Новосибирск : Новосибирский государственный технический университет, 2016. - 92 с. - ISBN 978-5-7782-2838-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
детерминированная функция -- дискретная математика -- дискретная функция -- конечное множество -- конечный автомат
Аннотация: В работе рассмотрены избранные вопросы теории дискретных функций: алгебраические основы этой теории, теория функциональных клонов на конечных множествах, теория ограниченно-детерминированных функций, а также основы теории конечных автоматов. Для студентов, магистрантов, аспирантов технических вузов, специализирующихся в области прикладной математики и информатики.
8.
Подробнее
Шень, А. Х.
Методы построения алгоритмов : практикум / Шень А. Х. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 335 с. - ISBN 978-5-4497-0354-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
алгоритм сортировки -- код грея -- конечный автомат -- метод построения -- оптимальное кодирование -- построение алгоритма -- программирование -- рекурсия -- тип данных -- язык паскаль
Аннотация: Практикум содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель издания — научить основным методам построения корректных и быстрых алгоритмов. Практикум будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Может быть использован на кружковых и факультативных занятиях в общеобразовательных учреждениях, в школах с углубленным изучением математики и информатики.
Шень, А. Х.
Методы построения алгоритмов : практикум / Шень А. Х. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 335 с. - ISBN 978-5-4497-0354-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм сортировки -- код грея -- конечный автомат -- метод построения -- оптимальное кодирование -- построение алгоритма -- программирование -- рекурсия -- тип данных -- язык паскаль
Аннотация: Практикум содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель издания — научить основным методам построения корректных и быстрых алгоритмов. Практикум будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Может быть использован на кружковых и факультативных занятиях в общеобразовательных учреждениях, в школах с углубленным изучением математики и информатики.
9.
Подробнее
Шмырин, А. М.
Дискретная математика и математическая логика : учебное пособие для СПО / Шмырин А. М. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2024. - 160 с. - ISBN 978-5-00175-281-3, 978-5-4488-2037-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
граф -- дискретная математика -- конечный автомат -- математическая логика -- математическое моделирование -- множество
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей «Информатика и вычислительная техника» и «Информационная безопасность».
Доп.точки доступа:
Седых, И. А.
Шмырин, А. М.
Дискретная математика и математическая логика : учебное пособие для СПО / Шмырин А. М. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2024. - 160 с. - ISBN 978-5-00175-281-3, 978-5-4488-2037-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
граф -- дискретная математика -- конечный автомат -- математическая логика -- математическое моделирование -- множество
Аннотация: В настоящем учебном пособии рассматриваются некоторые разделы дискретной математики и математической логики. В каждом разделе приведено большое количество иллюстраций и подробно разобранных примеров. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплин «Дискретная математика», «Элементы математической логики», «Дискретная математика с элементами математической логики», «Математическая логика и теория алгоритмов» по укрупненным группам специальностей «Информатика и вычислительная техника» и «Информационная безопасность».
Доп.точки доступа:
Седых, И. А.
10.
Подробнее
Акинина, Ю. С.
Теория автоматов : учебное пособие / Акинина Ю. С. - Москва : Ай Пи Ар Медиа, 2024. - 160 с. - ISBN 978-5-4497-1877-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.182
Кл.слова (ненормированные):
конечный автомат -- логика -- логический преобразователь -- теория автоматов -- формальная классификация
Аннотация: В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и определения, дающие возможность формального описания логических преобразователей (комбинационных автоматов), которые являются основой всех конечных автоматов, включая последовательностные (автоматы с памятью). Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования, предъявляемыми к изучению дисциплины «Теория автоматов». Предназначено для студентов, обучающихся по укрупненной группе направлений подготовки и специальностей «Информатика и вычислительная техника», а также для студентов других направлений подготовки и специальностей, учебными планами которых предусмотрено изучение данной дисциплины.
Доп.точки доступа:
Тюрин, С. В.
Акинина, Ю. С.
Теория автоматов : учебное пособие / Акинина Ю. С. - Москва : Ай Пи Ар Медиа, 2024. - 160 с. - ISBN 978-5-4497-1877-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
конечный автомат -- логика -- логический преобразователь -- теория автоматов -- формальная классификация
Аннотация: В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и определения, дающие возможность формального описания логических преобразователей (комбинационных автоматов), которые являются основой всех конечных автоматов, включая последовательностные (автоматы с памятью). Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования, предъявляемыми к изучению дисциплины «Теория автоматов». Предназначено для студентов, обучающихся по укрупненной группе направлений подготовки и специальностей «Информатика и вычислительная техника», а также для студентов других направлений подготовки и специальностей, учебными планами которых предусмотрено изучение данной дисциплины.
Доп.точки доступа:
Тюрин, С. В.
Page 1, Results: 13