Поиск :
Личный кабинет :
Электронный каталог: Синицын, И. В. - Моделирование программных систем. Теоретические основы
Синицын, И. В. - Моделирование программных систем. Теоретические основы
Нет экз.
Электронный ресурс
Автор: Синицын, И. В.
Моделирование программных систем. Теоретические основы : учебное пособие
Издательство: РТУ МИРЭА, 2023 г.
ISBN 978-5-7339-1798-6
Автор: Синицын, И. В.
Моделирование программных систем. Теоретические основы : учебное пособие
Издательство: РТУ МИРЭА, 2023 г.
ISBN 978-5-7339-1798-6
Электронный ресурс
Синицын, И. В.
Моделирование программных систем. Теоретические основы [Электронный ресурс] : учебное пособие . - Москва : РТУ МИРЭА, 2023 . - 170 с. - Режим доступа : https://e.lanbook.com/book/368732, https://e.lanbook.com/img/cover/book/368732.jpg . - Книга из коллекции РТУ МИРЭА - Информатика . - На рус. яз. - ISBN 978-5-7339-1798-6 .
Учебное пособие дополняет изданное ранее в качестве основного учебного материала по дисциплине «Моделирование программных систем». Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, контекстно-свободным грамматикам и автоматам с магазинной памятью. Излагаются методы и алгоритмы анализа и синтеза программ в системах программирования. Даются начальные сведения о верификации программ и ее автоматизации. Приводится большое количество примеров и задач с решениями. Материал предназначен для бакалавров 2 курса Института информационных технологий, обучающихся по направлению подготовки 09.03.04 «Программная инженерия». Издание также будет полезно для студентов старших курсов, магистров и аспирантов, а также для всех, кто планирует профессиональную карьеру в сфере ИТ технологий.
004.942
основной = ЭБС Лань
Синицын, И. В.
Моделирование программных систем. Теоретические основы [Электронный ресурс] : учебное пособие . - Москва : РТУ МИРЭА, 2023 . - 170 с. - Режим доступа : https://e.lanbook.com/book/368732, https://e.lanbook.com/img/cover/book/368732.jpg . - Книга из коллекции РТУ МИРЭА - Информатика . - На рус. яз. - ISBN 978-5-7339-1798-6 .
Учебное пособие дополняет изданное ранее в качестве основного учебного материала по дисциплине «Моделирование программных систем». Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, контекстно-свободным грамматикам и автоматам с магазинной памятью. Излагаются методы и алгоритмы анализа и синтеза программ в системах программирования. Даются начальные сведения о верификации программ и ее автоматизации. Приводится большое количество примеров и задач с решениями. Материал предназначен для бакалавров 2 курса Института информационных технологий, обучающихся по направлению подготовки 09.03.04 «Программная инженерия». Издание также будет полезно для студентов старших курсов, магистров и аспирантов, а также для всех, кто планирует профессиональную карьеру в сфере ИТ технологий.
004.942
основной = ЭБС Лань