Математическая логика и теория алгоритмов. Учебное пособие для вузов. С. В. Рыбин

. Высшее образование (Лань)

Название
Математическая логика и теория алгоритмов. Учебное пособие для вузов
Автор:
С. В. Рыбин
Серия:
Высшее образование (Лань)
Жанр:
Год выпуска:
2024
isbn:
978-5-507-49166-7
Аннотация:
Материал пособия скомпонован так, чтобы, с одной стороны, дать темы для практических занятий, познакомить студентов с важными идеями на несложных примерах, дать им возможность в совершенстве освоить необходимую технику вычислений, обсуждаемые алгоритмы, а с другой – последовательно и доказательно изложить теоретический материал, который может быть осмыслен на разных уровнях формализма и не обязательно при первом прочтении книги. Учебное пособие строится на базе известных из курса средней школы математических идей. Идеи эти достаточно разноплановы, чтобы заинтересовать людей с различными интересами и разной математической подготовкой. Учебное пособие будет полезно студентам технических университетов, специализирующимся в направлении «Информатика».