Учебное пособие. - Тверь: ТвГУ. - 364 с. Пособие посвящено теории
конечных автоматов и регулярных языков, изложены способы задания
языков при помощи порождающих грамматик. Детально разобраны вопросы
исчисления предикатов, неразрешимые проблемы и неполнота
арифметики, понятия вычислительной сложности алгоритмов и
полиномиально вычислимых глобальных предикатов.
Столбоушкин А.П., Тайцлин М.А. Математичесике основания информатики
- формат pdf
- размер 2.48 МБ
- добавлен 22 января 2011 г.
Похожие разделы
Смотрите также
Мартыненко Б.К. Языки и трансляции
- формат pdf
- размер 2.62 МБ
- добавлен 01 октября 2010 г.
Учеб. пособие. СПб.: Издательство С. -Петербургского университета, 2003. 235 с. В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Излагаются основные факты теории с доказательствами. Содержание основано на материалах лекций, читавшихся автором в разные годы на математико-механическом факультете С. -Петербургско...
Прытков В.А. Конспект лекций по дисциплине Системное программное обеспечение ЭВМ
- формат pdf
- размер 2.91 МБ
- добавлен 11 августа 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2007, 127с. Для студентов специальности I-40 02 01 «Вычислительные машины, системы и сети» Содержание Операционные системы Предмет курса, его цели и задачи. Методическое обеспечение. История развития системного ПО. Классификация системного ПО. ОС, системы управления файлами, интерфейсы, системы программирования, утилиты. Понятие ресурса в ОС. Концепция виртуализации ресур...
Хоар Ч. Взаимодействующие последовательные процессы
- формат pdf
- размер 4.3 МБ
- добавлен 13 февраля 2011 г.
Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ. Автор рассматривает параллелизм в языках высокого уровня АДА, Симула 67, Паскаль. Для специалистов в области системного программирования, теоретической информатики, математической...