Учебник создан в соответствии с Федеральным государственным образовательным стандартом по направлению подготовки 050100 «Педагогическое образование», профиль «Информатика» (квалификация «бакалавр»). В томе 2 приведены сведения по функциональному и логическому программированию. Рассмотрены суперкомпьютерные системы и параллельные вычисления, которые позволят студенту получить системное представление о современных технологиях параллельного программирования. Отдельная глава посвящена формализации синтаксиса и семантики языков программирования. Для студентов учреждений высшего профессионального образования.