Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

в найденном

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

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

Поисковый запрос: (<.>K=автомат<.>)

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

1-10 11-20 21-30 31-36

IPRBooks-97548

97548

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

УДК

519

ББК 22.1

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

(для доступа требуется авторизация)

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

IPRBooks-92827

92827

Шмырин, А. М.
Дискретная математика и математическая логика [Электронный ресурс] : учебное пособие для СПО / Шмырин А. М. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 160 с. - ISBN 978-5-88247-960-1, 978-5-4488-0751-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519

ББК 22.176

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

(для доступа требуется авторизация)

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

IPRBooks-89445

89445

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

УДК

004

ББК 32.97

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-97586

97586

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

УДК

519

ББК 32.81

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-94524

94524

Фомичев, В. М.
Сборник задач по криптологии [Электронный ресурс] : сборник задач для студентов, обучающихся по направлению: 10.03.01 «Информационная безопасность», профиль: «Комплексная защита объектов информации» / Фомичев В. М. - Москва : Прометей, 2019. - 104 с. - ISBN 978-5-907100-39-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

003.26

ББК 32.973

Кл.слова (ненормированные):
автомат мили -- дискретная математика -- защита информации -- информационная безопасность -- комплексная защита -- криптографический анализ -- криптографический генератор -- криптология -- криптосистема -- поточный шифр
Аннотация: Сборник содержит типовые задачи по криптологии, опирающиеся на базовые знания из дискретной математики, теории сложности алгоритмов и теории вероятностей. Выборочно даны ответы на вопросы, поставленные в задачах, в некоторых случаях - с комментариями, указывающими на способ решения задачи. Материалы сборника предназначены для использования при проведении семинарских занятий с бакалаврами и магистрами, обучающимися по направлению 10.03.01 «Информационная безопасность». Теоретические основы, необходимые для решения задач, изложены в книгах: 1) Фомичев В.М. Методы дискретной математики в криптологии (ISBN 9785864042342); 2) Фомичев В.М., Мельников Д.А. Криптографические методы защиты информации. В 2-х ч.: учебник для академического бакалавриата, ч.1 (ISBN 97859916708833).

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-83278

83278

Акинина, Ю. С.
Теория автоматов [Электронный ресурс] : учебное пособие / Акинина Ю. С. - Саратов : Ай Пи Ар Медиа, 2019. - 192 с. - ISBN 978-5-4497-0080-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

681.5

ББК 22.18

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

(для доступа требуется авторизация)

Доп.точки доступа:
Тюрин, С. В.
Свободных экз. нет
Найти похожие

IPRBooks-90420

90420

Федотов, И. Е.
Параллельное программирование. Модели и приемы [Электронный ресурс] : учебное пособие / Федотов И. Е. - Москва : СОЛОН-ПРЕСС, 2018. - 390 с. - ISBN 978-5-91359-222-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

681.3

ББК 32.97

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-95042

95042

Егоров, Д. Л.
Теория вычислительных процессов и структур [Электронный ресурс] : учебное пособие / Егоров Д. Л. - Казань : Казанский национальный исследовательский технологический университет, 2018. - 92 с. - ISBN 978-5-7882-2378-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-91444

91444

Веретельникова, Е. Л.
Теоретическая информатика. Теория сетей Петри и моделирование систем [Электронный ресурс] : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.42

ББК 32.8

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

10.

IPRBooks-87427

87427

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

УДК

004.4

ББК 32.973

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

(для доступа требуется авторизация)

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

1-10 11-20 21-30 31-36

Тематический навигатор

Статистика обращений

Статистика за 01.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

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