Электронный каталог Фундаментальной
библиотеки ФГБОУ ВО МГППУ

👓
eng|rus
Фундаментальная библиотека Московского
государственного психолого-педагогического
университета

Адрес: г. Москва, ул. Сретенка, д. 29
Телефон: 8 (495) 607-23-40
Часы работы: пн-пт — 9:00—20:00; сб — 10:00—18:00
bib_logo

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Учебная литература:
      • Список дисциплин

    • Помощь

    Личный кабинет :


    Электронный каталог: Дехтярь, М. И. - Введение в схемы, автоматы и алгоритмы

    Дехтярь, М. И. - Введение в схемы, автоматы и алгоритмы

    Нет экз.
    Электронный ресурс
    Автор: Дехтярь, М. И.
    Введение в схемы, автоматы и алгоритмы
    Серия: Основы информационных технологий
    Издательство: Национальный Открытый Университет «ИНТУИТ», 2016 г.
    ISBN 978-5-94774-714-0

    полный текст

    На полку На полку


    Электронный ресурс
    32.973

    Дехтярь, М. И.
    Введение в схемы, автоматы и алгоритмы. – 2-е изд., испр. – Москва : Национальный Открытый Университет «ИНТУИТ», 2016. – 169 с. – (Основы информационных технологий) . – URL: http://biblioclub.ru/index.php?page=book&id=428984 . – На рус. яз. – ISBN 978-5-94774-714-0.

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

    ББК 32.973

    51”735”(076.6

    © Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.159