Учебник посвящен систематическому изложению теории и практики языков программирования. Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы поясняются законченными примерами. Кроме того, здесь предлагается полный комплекс задач и упражнений по узловым вопросам. Учебник охватывает базисные разделы следующих дисциплин: теория формальных языков, теория автоматов и формальных языков, языки программирования, программирование, объектно-ориентированное программирование, логическое и функциональное программирование, теория вычислительных процессов. В новом издании обсуждаются характеристики, а также последние тенденции развития универсальных языков программирования высокого уровня, таких как Scala, Go и Swift; поясняются главные особенности последних стандартов классических языков C++, Java и C#: лямбда-выражения во всех этих языках, cсылочный тип rvalue и семантика перемещения в языке C++ 11, ковариантность и контрвариантность родовых шаблонов в C#; существенно расширено представление скриптового языка Ruby, рассматриваются его блоки, механизмы единичного наследования и подмешивания, а также утиной типизации; добавлено описание аппарата событий и программирования на основе событий; показано применение стиля функционального программирования в скриптовых и объектно-ориентированных языках Python, Ruby, C#, Java, C++, Scala, Go и Swift.Учебник предназначен для студентов инженерного, бакалаврского и магистерского уровней компьютерных специальностей, может быть полезен преподавателям и исследователям/разработчикам трансляторов и другого программного обеспечения.Рекомендовано Санкт-Петербургским институтом информатики и автоматизации Российской академии наук (СПИИРАН) в качестве учебника по направлению «Информатика и вычислительная техника».
Uchebnik posvyashchen sistematicheskomu izlozheniyu teorii i praktiki yazykov programmirovaniya. On otrazhaet klassicheskoe soderzhanie uchebnoy distsipliny po yazykam programmirovaniya. Vse slozhnye voprosy poyasnyayutsya zakonchennymi primerami. Krome togo, zdes predlagaetsya polnyy kompleks zadach i uprazhneniy po uzlovym voprosam. Uchebnik okhvatyvaet bazisnye razdely sleduyushchikh distsiplin: teoriya formalnykh yazykov, teoriya avtomatov i formalnykh yazykov, yazyki programmirovaniya, programmirovanie, obektno-orientirovannoe programmirovanie, logicheskoe i funktsionalnoe programmirovanie, teoriya vychislitelnykh protsessov. V novom izdanii obsuzhdayutsya kharakteristiki, a takzhe poslednie tendentsii razvitiya universalnykh yazykov programmirovaniya vysokogo urovnya, takikh kak Scala, Go i Swift; poyasnyayutsya glavnye osobennosti poslednikh standartov klassicheskikh yazykov C++, Java i C#: lyambda-vyrazheniya vo vsekh etikh yazykakh, csylochnyy tip rvalue i semantika peremeshcheniya v yazyke C++ 11, kovariantnost i kontrvariantnost rodovykh shablonov v C#; sushchestvenno rasshireno predstavlenie skriptovogo yazyka Ruby, rassmatrivayutsya ego bloki, mekhanizmy edinichnogo nasledovaniya i podmeshivaniya, a takzhe utinoy tipizatsii; dobavleno opisanie apparata sobytiy i programmirovaniya na osnove sobytiy; pokazano primenenie stilya funktsionalnogo programmirovaniya v skriptovykh i obektno-orientirovannykh yazykakh Python, Ruby, C#, Java, C++, Scala, Go i Swift.Uchebnik prednaznachen dlya studentov inzhenernogo, bakalavrskogo i magisterskogo urovney kompyuternykh spetsialnostey, mozhet byt polezen prepodavatelyam i issledovatelyam/razrabotchikam translyatorov i drugogo programmnogo obespecheniya.Rekomendovano Sankt-Peterburgskim institutom informatiki i avtomatizatsii Rossiyskoy akademii nauk (SPIIRAN) v kachestve uchebnika po napravleniyu Informatika i vychislitelnaya tekhnika.