Материал учебника скомпонован так, чтобы, с одной стороны, дать темы
для практических занятий, познакомить студентов с важными идеями на
несложных примерах, дать им возможность в совершенстве освоить необхо
димую технику вычислений, обсуждаемые алгоритмы, а с другой — последо
вательно и доказательно изложить теоретический материал, который может
быть осмыслен на разных уровнях формализма и не обязательно при первом
прочтении... (Подробнее)