Новосибирск: изд. НГУ, 2005. - 89 с.Конспект лекций для студентов 1 курса.Содержание.
Предварительные сведения.
Конечные автоматы и формальные грамматики.
Формализации понятия вычислимой функции.
Теория вычислимости.
Теория сложности алгоритмов.
Список литературы.