Программирование

Рассмотрены возможности языка программирования Python в области программирования и решения задач вычислительной математики, таких как аппроксимация и интерполяция, численное интегрирование, оптимизация, решение уравнений и систем уравнений. Приведен теоретический материал и примеры решения задач. Для оценки уровня усвоения студентами пройденного материала предложены варианты самостоятельных работ.

Сборник содержит 186 задач по программированию разной степени сложности. Для ряда упражнений изложены решения с подробным разбором фрагментов кода и синтаксических конструкций языка Python. В книге представлен простой и понятный стиль программирования. Чтобы решить приведенные здесь задачи, достаточно базовых знаний языка Python. По мере изучения материала читатель отрабатывает навык использования таких техник, как условные выражения, циклы, основные функции, списки, словари, рекурсия и работа с файлами.

Время энтузиастов-одиночек, создававших компьютерные вирусы на заре информационной эпохи, давно прошло: в наши дни разработкой и распространением вредоносных программ занимаются хорошо организованные преступные группировки, имеющие жесткую иерархию и напоминающие по своей структуре настоящие мафиозные кланы. Объем этого подпольного рынка составляет сотни миллионов долларов. Книга рассказывает об истории возникновения и развития технологий компьютерных вирусов, их разновидностях, внутренней архитектуре, способах распространения и принципах действия. Книга позволит читателям познакомиться с таинственным теневым миром киберпреступности, представители которого ежедневно осуществляют атаки на компьютеры простых пользователей по всему миру.

Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc.