Иншаков, М. В. Технологии и средства реализации информационных процессов в вычислительных сетях [Электронный ресурс] : учебное пособие / Иншаков М. В. - Москва : Московский городской педагогический университет, 2013. - 164 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аппаратное обеспечение -- вычислительная система -- вычислительные сети -- информационный процесс -- теоретическая информатика Аннотация: Учебное пособие по своему содержанию соответствует требованиям Государственного образовательного стандарта по направлению подготовки бакалавра 230200 «Информационные системы». Пособие может быть полезно студентам, изучающим информатику на всех факультетах педагогических вузов, а также учителям средних общеобразовательных школ. Свободных экз. нет |
Пентус, А. Е. Математическая теория формальных языков [Электронный ресурс] : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками. Доп.точки доступа: Пентус, М. Р. Свободных экз. нет |
Веретельникова, Е. Л. Теоретическая информатика. Теория сетей Петри и моделирование систем [Электронный ресурс] : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2018. - 82 с. - ISBN 978-5-7782-3559-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): дерево достижимости -- конечный автомат -- маркированная сеть -- матричное уравнение -- моделирование системы -- мультиграф -- сеть петри -- теоретическая информатика Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем. Свободных экз. нет |
Веретельникова, Е. Л. Теоретическая информатика. Доказательство правильности [Электронный ресурс] : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ. Свободных экз. нет |
Губарев, В. В. Введение в теоретическую информатику. Ч.2 [Электронный ресурс] : учебное пособие / Губарев В. В. - Новосибирск : Новосибирский государственный технический университет, 2015. - 472 с. - ISBN 978-5-7782-2778-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм -- дискретный объект -- искусственный интеллект -- куализная модель -- синтаксическая модель -- теоретическая информатика Аннотация: В пособии с единых методических позиций рассматриваются системные аспекты модельного представления объектов различной природы, излагаются основные элементарные сведения теоретической информатики, ключевыми словами которых являются: объект, модель, сигналы, данные, знания, алгоритмы, результат, информация, количество, качество. Описывается формальный аппарат представления и исследования разнообразных видов процессов, структур, непрерывных и дискретных переходов состояний объектов. Пособие ориентировано на подготовку бакалавров, магистров и аспирантов по направлению 09.00.00 «Информатика и вычислительная техника». Оно может быть полезным для студентов, обучающихся по направлениям 02.00.00 «Компьютерные и информационные науки», 10.00.00 «Информационная безопасность», 11.00.00 «Электроника, радиотехника и системы связи», 27.00.00 «Управление в технических системах», а также специалистам в перечисленных и смежных отраслях деятельности. Свободных экз. нет |