Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
 Найдено в других БД:Труды учёных ПГНИУ (1)Продолжающиеся издания (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=конечный автомат<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
67154

   
    Теория алгоритмов [Текст] : учебно-методический комплекс / сост.: А. М. Опабекова, К. У. Умбетбаев. - Алматы : Нур-Принт, 2012. - 79 с. - ISBN 9965-756-08-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
004.4
ББК 32.973

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

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Опабекова, А. М. \сост.\; Умбетбаев, К. У. \сост.\
Свободных экз. нет
Найти похожие
2.
62815

    Дехтярь, М. И.
    Лекции по дискретной математике [Электронный ресурс] : учебное пособие / Дехтярь М. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 с. - ISBN 978-5-9556-0110-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
51
ББК 22.12

Кл.слова (ненормированные):
алгоритм -- алгоритмическая процедура -- булева функция -- граф -- дискретная математика -- конечный автомат -- логика предикатов -- учебное пособие -- экономика
Аннотация: Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.

Перейти: Перейти к просмотру издания
Свободных экз. нет
Найти похожие
3.
52202

    Сперанский, Д. В.
    Лекции по теории экспериментов с конечными автоматами [Электронный ресурс] : учебное пособие / Сперанский Д. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 354 с. - ISBN 978-5-9963-0268-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
519.713
ББК 32.815

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

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