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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

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

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

IPRBooks-26632

26632

Иншаков, М. В.
Технологии и средства реализации информационных процессов в вычислительных сетях [Электронный ресурс] : учебное пособие / Иншаков М. В. - Москва : Московский городской педагогический университет, 2013. - 164 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41

ББК 32.97

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

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

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

IPRBooks-97548

97548

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

УДК

519

ББК 22.1

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

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

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

IPRBooks-91444

91444

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

УДК

004.42

ББК 32.8

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

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

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

IPRBooks-91545

91545

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

УДК

004.42

ББК 32.81

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

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

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

IPRBooks-91331

91331

Губарев, В. В.
Введение в теоретическую информатику. Ч.2 [Электронный ресурс] : учебное пособие / Губарев В. В. - Новосибирск : Новосибирский государственный технический университет, 2015. - 472 с. - ISBN 978-5-7782-2778-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

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

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

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

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

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

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

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