Автор показывает, каким образом может быть выполнено изучение общих проблем и концепций имитационного моделирования. Для этого используется новый отечественный программный продукт AnyLogic.их проблем и концепций имитационного моделирования.ния прикладных задач, но и как сре которые часто.

В статье описываются классы сложности алгоритмов, приводится пример разработки алгоритмов различной сложности, практического использования результатов теории в криптографии.

Существуют программные средства, с помощью которых можно освоить общие принципы и концепции моделирования, такие как Model Vision Studium или AnyLogic. Они не ограничены узкими рамками одной конкретной парадигмы. Использование подобных сред позволяет установить межпредметные связи не только с техническими предметами, но и с гуманитарными. В статье показано, как на примере агентной модели социального взаимодействия, созданной по работе Роберта Путнэма и посвященной традициям гражданского общества в современной Италии можно ознакомить учащихся с основами моделирования.

В статье вводится темпоральная логика линейного времени (LTL), ее формулы объясняются на многочисленных примерах. Объясняется, как свойства поведения дискретных динамических систем, в частности, реагирующих систем (reactive systems) могут быть заданы в этой логике. Статья является изложением одной из глав книги автора «Model checking. Верификация параллельных и распределенных программных систем», которая выходит в издательтве БХВ Петербург.

Linear temporal logic (LTL) is presented and its formulas are explained by numerous examples. It is demonstrated how behavior properties of discrete dynamic systems, in particular reactive systems, may be presented in LTL. The paper is a brief exposition of a chapter from the authorРІР‚в„ўs book Р’В«Model checking. Verification of parallel and distributed programsР’В», to be published at BHV St. Petersburg Publishing office.