Математическое введение в информатику

Авторы: Дудаков С.М., Карлов Б.Н.

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

В книге освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупнённых групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».