Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее математическом толковании). Приведены основные понятия и конструкции современных языков программирования. Рассмотрен ряд вопросов теории программирования с упором на математическую семантику языковых конструкций.
Sovremennoe programmirovanie izlagaetsja kak iskusstvo zastavit kompjuter reshit zadachu, voznikshuju pered chelovekom. Dany edinye osnovanija matematiki i programmirovanija, kratkie svedenija iz oblasti grafov, teorii verojatnostej i informatsii (v ee matematicheskom tolkovanii). Privedeny osnovnye ponjatija i konstruktsii sovremennykh jazykov programmirovanija. Rassmotren rjad voprosov teorii programmirovanija s uporom na matematicheskuju semantiku jazykovykh konstruktsij.
