Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теоретическая информатика<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.

Вид документа : Однотомное издание
Шифр издания : 26632
Автор(ы) : Иншаков М. В.
Заглавие : Технологии и средства реализации информационных процессов в вычислительных сетях : Учебное пособие
Выходные данные : Москва: Московский городской педагогический университет, 2013
Колич.характеристики :164 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004.41
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): аппаратное обеспечение--вычислительная система--вычислительные сети--информационный процесс--теоретическая информатика
Аннотация: Учебное пособие по своему содержанию соответствует требованиям Государственного образовательного стандарта по направлению подготовки бакалавра 230200 «Информационные системы». Пособие может быть полезно студентам, изучающим информатику на всех факультетах педагогических вузов, а также учителям средних общеобразовательных школ.
(для доступа требуется авторизация)

Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 97548
Автор(ы) : Пентус А. Е., Пентус М. Р.
Заглавие : Математическая теория формальных языков : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :218 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0662-1: Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): автоматный язык--иерархия хомского--конечный автомат--контекстно-свободная грамматика--магазинная память--математическая теория--машина тьюринга--теоретическая информатика--формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
(для доступа требуется авторизация)

Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 91444
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теоретическая информатика. Теория сетей Петри и моделирование систем : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :82 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3559-5: Б.ц.
УДК : 004.42
ББК : 32.8
Ключевые слова (''Своб.индексиров.''): дерево достижимости--конечный автомат--маркированная сеть--матричное уравнение--моделирование системы--мультиграф--сеть петри--теоретическая информатика
Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.
(для доступа требуется авторизация)

Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 91545
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теоретическая информатика. Доказательство правильности : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016
Колич.характеристики :51 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2875-7: Б.ц.
УДК : 004.42
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): доказательство правильности--индуктивное утверждение--математическая индукция--правильность блок-схемы--правильность программы--рекурсивная программа--структурная индукция--теоретическая информатика--язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
(для доступа требуется авторизация)

Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 91331
Автор(ы) : Губарев В. В.
Заглавие : Введение в теоретическую информатику. Ч.2 : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2015
Колич.характеристики :472 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2778-1: Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): алгоритм--дискретный объект--искусственный интеллект--куализная модель--синтаксическая модель--теоретическая информатика
Аннотация: В пособии с единых методических позиций рассматриваются системные аспекты модельного представления объектов различной природы, излагаются основные элементарные сведения теоретической информатики, ключевыми словами которых являются: объект, модель, сигналы, данные, знания, алгоритмы, результат, информация, количество, качество. Описывается формальный аппарат представления и исследования разнообразных видов процессов, структур, непрерывных и дискретных переходов состояний объектов. Пособие ориентировано на подготовку бакалавров, магистров и аспирантов по направлению 09.00.00 «Информатика и вычислительная техника». Оно может быть полезным для студентов, обучающихся по направлениям 02.00.00 «Компьютерные и информационные науки», 10.00.00 «Информационная безопасность», 11.00.00 «Электроника, радиотехника и системы связи», 27.00.00 «Управление в технических системах», а также специалистам в перечисленных и смежных отраслях деятельности.
(для доступа требуется авторизация)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 30.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)