Учебное пособие. - Тверь: Твер. гос. ун-т, 2003. - 221 с. В пособии
освещаются теоретические вопросы программирования: связь и
эквивалентность различных языков программирования, доказательство
корректности программ, вычислительная сложность алгоритмов.
Учебное пособие адресовано, прежде всего, студентам младших курсов, обучающимся по направлению 510200 "Прикладная математика и информатика" и специальности 010200 "Прикладная математика и информатика".
Учебное пособие адресовано, прежде всего, студентам младших курсов, обучающимся по направлению 510200 "Прикладная математика и информатика" и специальности 010200 "Прикладная математика и информатика".