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