МАТЕМАТИКА

Сборник содержит 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.