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