Зарегистрироваться
Восстановить пароль
FAQ по входу

Карпов Ю.Г. Теория автоматов

  • Файл формата djvu
  • размером 1,93 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Отредактирован
Карпов Ю.Г. Теория автоматов
СПб.: Питер, 2003. — 208 с.: ил. — ISBN 5-318-00537-3.
Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации.
В этом учебнике практическое использование моделей не является частной иллюстрацией теоретических результатов — наоборот, автор постарался практические проблемы проектирования и анализа систем сделать отправной точкой, а формальный аппарат — средством систематического решения этих проблем. В каждом разделе книги большое внимание уделено вопросам абстрагирования и адекватной интерпретации и реализации результатов аналитических преобразований.
Усвоение рассмотренных в книге моделей теоретической информатики, способов их анализа и синтеза должно создать основу, позволяющую читателю воспринимать и усваивать многие другие общетехнические и специальные дисциплины по информационным технологиям, вычислительным средствам и системам, инструментарию и методам проектирования программных систем, входящим в программу высшей школы.
Книга допущена Министерством образования Российской Федерации в качестве учебника для студентов высших учебных заведений, обучающихся по направлению подготовки бакалавров «Информатика и вычислительная техника» и по специальности «Вычислительные машины, комплексы, системы и сети» направления подготовки дипломированных специалистов «Информатика и вычислительная техника».
Конечные функциональные преобразователи.
Булевы функции.
Функциональная полнота.
Формы представления булевых функций.
Введение в математическую логику.
Формальные высказывания.
Логика высказываний.
Логическое следствие.
Основы логики предикатов и логического вывода.
Логическое программирование.
Конечные автоматы.
Автоматное преобразование информации.
Примеры КА.
Визуальный формализм представления моделей реактивных систем.
Графы переходов при спецификации и анализе параллельных программ.
Алгебраическая структурная теория конечных автоматов.
Автоматные языки.
Машины Тьюринга.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация