База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 22
Отмеченные записи: 0
1.
Подробнее
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
2.
Подробнее
Акинина, Ю. С.
Теория автоматов : учебное пособие / Акинина Ю. С. - Москва : Ай Пи Ар Медиа, 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 «Информатика и вычислительная техника», а также для студентов других специальностей и направлений подготовки, учебными планами которых предусмотрено изучение данной дисциплины.
Доп.точки доступа:
Тюрин, С. В.
3.
Подробнее
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
4.
Подробнее
Карлов, Б. Н.
Теория автоматов и формальных языков : учебник / Карлов Б. Н. - Тверь : Тверской государственный университет, 2021. - 404 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.18
Кл.слова (ненормированные):
грамматика -- конечные автоматы -- регулярное выражение -- регулярный язык -- теория автоматов -- формальный язык
Аннотация: Учебник содержит материал по дисциплине «Теория автоматов и формальных языков»: языки, операции над языками, порождающие грамматики, конечные автоматы, регулярные выражения, автоматы с магазинной памятью, нормальные формы контекстно-свободных грамматик, алгоритмические проблемы для формальных языков. Учебник адресован, прежде всего, студентам старших курсов, обучающимся по направлениям укрупнённой группы 02.03.00 «Компьютерные и информационные науки».
Карлов, Б. Н.
Теория автоматов и формальных языков : учебник / Карлов Б. Н. - Тверь : Тверской государственный университет, 2021. - 404 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
грамматика -- конечные автоматы -- регулярное выражение -- регулярный язык -- теория автоматов -- формальный язык
Аннотация: Учебник содержит материал по дисциплине «Теория автоматов и формальных языков»: языки, операции над языками, порождающие грамматики, конечные автоматы, регулярные выражения, автоматы с магазинной памятью, нормальные формы контекстно-свободных грамматик, алгоритмические проблемы для формальных языков. Учебник адресован, прежде всего, студентам старших курсов, обучающимся по направлениям укрупнённой группы 02.03.00 «Компьютерные и информационные науки».
5.
Подробнее
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
6.
Подробнее
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.
| УДК |
Кл.слова (ненормированные):
автомат мили -- билинейный автомат -- диагностическое дерево -- динамическое программирование -- инициальный автомат -- интервальная арифметика -- кодирование информации -- конечный автомат -- линейный автомат -- теория эксперимента
Аннотация: Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном учебном пособии излагаются результаты теории экспериментов с автоматами, востребованные при решении задач технической диагностики дискретных устройств, кодирования и декодирования информации, задач распознавания, расшифровки и идентификации и т.п.
7.
Подробнее
Ивлев, Ю. В.
Квазиматричная (квазифункциональная) логика / Ивлев Ю. В. - Москва : Московский государственный университет имени М.В. Ломоносова, 2018. - 128 с. - ISBN 978-5-19-011300-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.4
Кл.слова (ненормированные):
квазидетерминизм -- квазиматричная логика -- метатеорема -- модальная логика -- познание
Аннотация: В монографии формулируется принцип квазифункциональности (квазидетерминизма, или ограниченного детерминизма), согласно которому в природе, социуме, познании между явлениями имеет место отношение не только однозначной обусловленности, но и неоднозначной обусловленности. Частные случаи квазифункциональности — функциональность и полная неопределенность (хаотичность). На основе принципа квазифункциональности построены модальные логики. В книге показана возможность применения этого принципа в других областях познания и деятельности (абстрактные и реальные автоматы, социальное прогнозирование, нервные сети, генетика, теория убеждения и др.). Применены разработанные автором методы доказательства метатеорем. Адресовано преподавателям и студентам вузов, а также всем тем, кто интересуется проблемами современной логики.
Ивлев, Ю. В.
Квазиматричная (квазифункциональная) логика / Ивлев Ю. В. - Москва : Московский государственный университет имени М.В. Ломоносова, 2018. - 128 с. - ISBN 978-5-19-011300-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
квазидетерминизм -- квазиматричная логика -- метатеорема -- модальная логика -- познание
Аннотация: В монографии формулируется принцип квазифункциональности (квазидетерминизма, или ограниченного детерминизма), согласно которому в природе, социуме, познании между явлениями имеет место отношение не только однозначной обусловленности, но и неоднозначной обусловленности. Частные случаи квазифункциональности — функциональность и полная неопределенность (хаотичность). На основе принципа квазифункциональности построены модальные логики. В книге показана возможность применения этого принципа в других областях познания и деятельности (абстрактные и реальные автоматы, социальное прогнозирование, нервные сети, генетика, теория убеждения и др.). Применены разработанные автором методы доказательства метатеорем. Адресовано преподавателям и студентам вузов, а также всем тем, кто интересуется проблемами современной логики.
8.
Подробнее
Алымова, Е. В.
Конечные автоматы и формальные языки : учебник / Алымова Е. В. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
булева алгебра -- конечный автомат -- контекстно-свободный язык -- магазинная память -- праволинейная грамматика -- регулярный язык -- формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
Доп.точки доступа:
Деундяк, В. М.
Пеленицын, А. М.
Алымова, Е. В.
Конечные автоматы и формальные языки : учебник / Алымова Е. В. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- конечный автомат -- контекстно-свободный язык -- магазинная память -- праволинейная грамматика -- регулярный язык -- формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
Доп.точки доступа:
Деундяк, В. М.
Пеленицын, А. М.
9.
Подробнее
Введение в математическое моделирование : учебное пособие / Ашихмин В. Н. - Москва : Логос, 2016. - 440 с. - ISBN 978-5-98704-637-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22
Кл.слова (ненормированные):
математическая модель -- математическое моделирование -- прикладная математика -- учебное пособие
Аннотация: Рассмотрены основные понятия, определения, положения и подходы математического моделирования, представлена классификация математических моделей. Описаны основные этапы, технология построения математических моделей, приведены простые примеры ее применения. Анализируются особенности математического моделирования в условиях различных типов неопределенности, разработки моделей с применением структурного и имитационного подходов. Особое внимание уделяется анализу линейных и нелинейных моделей, выявлению их качественных различий. Приведены сведения о современных разделах математики (вейвлеты, фракталы, клеточные автоматы), эффективно используемых в различных проблемах нелинейной физики. Каждый из разделов снабжен перечнем заданий для самостоятельной работы. Для студентов высших учебных заведений обучающихся по направлению «Естественные науки и математика» и специальности «Прикладная математика». Представляет интерес для специалистов в области математического моделирования физико-механических процессов и явлений.
Доп.точки доступа:
Ашихмин, В. Н.
Гитман, М. Б.
Келлер, И. Э.
Наймарк, О. Б.
Столбов, В. Ю.
Трусов, П. В.
Фрик, П. Г.
Введение в математическое моделирование : учебное пособие / Ашихмин В. Н. - Москва : Логос, 2016. - 440 с. - ISBN 978-5-98704-637-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математическая модель -- математическое моделирование -- прикладная математика -- учебное пособие
Аннотация: Рассмотрены основные понятия, определения, положения и подходы математического моделирования, представлена классификация математических моделей. Описаны основные этапы, технология построения математических моделей, приведены простые примеры ее применения. Анализируются особенности математического моделирования в условиях различных типов неопределенности, разработки моделей с применением структурного и имитационного подходов. Особое внимание уделяется анализу линейных и нелинейных моделей, выявлению их качественных различий. Приведены сведения о современных разделах математики (вейвлеты, фракталы, клеточные автоматы), эффективно используемых в различных проблемах нелинейной физики. Каждый из разделов снабжен перечнем заданий для самостоятельной работы. Для студентов высших учебных заведений обучающихся по направлению «Естественные науки и математика» и специальности «Прикладная математика». Представляет интерес для специалистов в области математического моделирования физико-механических процессов и явлений.
Доп.точки доступа:
Ашихмин, В. Н.
Гитман, М. Б.
Келлер, И. Э.
Наймарк, О. Б.
Столбов, В. Ю.
Трусов, П. В.
Фрик, П. Г.
10.
Подробнее
Бережной, В. В.
Дискретная математика : учебное пособие / Бережной В. В. - Ставрополь : Северо-Кавказский федеральный университет, 2016. - 199 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
информатика -- лекция -- логика -- математика -- образование
Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования, раскрывает основные принципы и особенности изучения современной информатики и состоит из разделов «Множества и отношения», «Теория графов», «Комбинаторика», «Математическая логика» и «Конечные автоматы». Предназначено для организации и проведения лекционных занятий по дисциплине «Дискретная математика» для направления подготовки 01.03.02 «Прикладная математика и информатика» (Бакалавр). Также может быть использовано студентами направлений 11.03.02 «Инфокоммуникационные технологии и системы связи» (Бакалавр), 10.05.03 «Информационная безопасность автоматизированных систем» (Специалист), 09.03.02 «Информационные системы и технологии».
Доп.точки доступа:
Шапошников, А. В.
Бережной, В. В.
Дискретная математика : учебное пособие / Бережной В. В. - Ставрополь : Северо-Кавказский федеральный университет, 2016. - 199 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
информатика -- лекция -- логика -- математика -- образование
Аннотация: Пособие подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования, раскрывает основные принципы и особенности изучения современной информатики и состоит из разделов «Множества и отношения», «Теория графов», «Комбинаторика», «Математическая логика» и «Конечные автоматы». Предназначено для организации и проведения лекционных занятий по дисциплине «Дискретная математика» для направления подготовки 01.03.02 «Прикладная математика и информатика» (Бакалавр). Также может быть использовано студентами направлений 11.03.02 «Инфокоммуникационные технологии и системы связи» (Бакалавр), 10.05.03 «Информационная безопасность автоматизированных систем» (Специалист), 09.03.02 «Информационные системы и технологии».
Доп.точки доступа:
Шапошников, А. В.
Страница 1, Результатов: 22