Choice of metadata IPR SMART
Page 1, Results: 5
Report on unfulfilled requests: 0
1.
Подробнее
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
2.
Подробнее
Веретельникова, Е. Л.
Теоретическая информатика. Теория сетей Петри и моделирование систем : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.8
Кл.слова (ненормированные):
дерево достижимости -- конечный автомат -- маркированная сеть -- матричное уравнение -- моделирование системы -- мультиграф -- сеть петри -- теоретическая информатика
Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.
Веретельникова, Е. Л.
Теоретическая информатика. Теория сетей Петри и моделирование систем : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дерево достижимости -- конечный автомат -- маркированная сеть -- матричное уравнение -- моделирование системы -- мультиграф -- сеть петри -- теоретическая информатика
Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.
3.
Подробнее
Веретельникова, Е. Л.
Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Веретельникова, Е. Л.
Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
4.
Подробнее
Бойко, Г. М.
Информационные технологии. Практикум для обучающихся по направлению подготовки 20.03.01 Техносферная безопасность : практикум / Бойко Г. М. - Железногорск : Сибирская пожарно-спасательная академия ГПС МЧС России, 2020. - 109 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
защита информации -- интеллектуальные системы -- информационные системы -- информационные технологии -- теоретическая информатика
Аннотация: Практикум включает в себя практические задания по основным темам учебной дисциплины «Информационные технологии»: проверка остаточных знаний предыдущего уровня обучения, набор практических работ по применению современных компьютерных технологий по сбору, обработке и представлению данных для своей профессиональной деятельности. Практикум предназначен для обучающихся по направлению подготовки 20.03.01 Техносферная безопасность. Может быть использован для самостоятельного изучения дисциплины обучающимися и в практической деятельности сотрудников в области обеспечения техносферной безопасности.
Бойко, Г. М.
Информационные технологии. Практикум для обучающихся по направлению подготовки 20.03.01 Техносферная безопасность : практикум / Бойко Г. М. - Железногорск : Сибирская пожарно-спасательная академия ГПС МЧС России, 2020. - 109 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
защита информации -- интеллектуальные системы -- информационные системы -- информационные технологии -- теоретическая информатика
Аннотация: Практикум включает в себя практические задания по основным темам учебной дисциплины «Информационные технологии»: проверка остаточных знаний предыдущего уровня обучения, набор практических работ по применению современных компьютерных технологий по сбору, обработке и представлению данных для своей профессиональной деятельности. Практикум предназначен для обучающихся по направлению подготовки 20.03.01 Техносферная безопасность. Может быть использован для самостоятельного изучения дисциплины обучающимися и в практической деятельности сотрудников в области обеспечения техносферной безопасности.
5.
Подробнее
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 218 с. - ISBN 978-5-4497-3304-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 218 с. - ISBN 978-5-4497-3304-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Page 1, Results: 5