|
-
Ключові слова:
електронно-обчислювальні машини, ЕОМ, электронно-вычислительные машины, ЭВМ ; математичне забезпечення, математическое обеспечение ; програмування, программирование, programming, Programmieren, programmation
-
Анотація:
Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, «Структурное программирование», «Мир», 1972). Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме остроумных и поучительных задач по программированию. Книга представляет значительный интерес для широкого круга программистов.
-
Електронні версії документа:
-
Теми документа
-
УДК // Програмування комп’ютерів. Комп’ютерні програми
|
