Математическая логика и теория алгоритмов

Авторы: Гамова А.Н.

Издательство: Издательство Саратовского университета

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