Два типа cookies используются на данном сайте. Обязательным является первый тип - session cookie (куки сессии), обычно называемый MoodleSession . Вы должны установить поддержку этих cookie в вашем браузере для обеспечения непрерывной передачи ваших регистрационных данных (login) от страницы к странице. ... Другой тип cookie необходим для удобства, обычно его называют MoodleID . Он запоминает ваше имя (username) для данного браузера. ... Список всех файлов помощи . ...
... Кафедра математического моделирования и информатики . ... Что такое математическая модель? ... Преодолеть эти ограничения можно, воспользовавшись специально разрабатываемыми на кафедре математическими методами, основанными на анализе результатов измерения, математической модели процесса измерения и другой дополнительной информации об объекте исследования. Математические вопросы анализа и интерпретации эксперимента разрабатывались на кафедре под руководством профессора Ю.П. Пытьева более 25 лет. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called
... Модели конкуренции: динамика численности и эволюция фенотипа . пособие по компьютерному практикуму) . ... Данный раздел компьютерного практикума посвящен изучению закономерностей изменения численности двух нескрещивающихся популяций X и Y , конкурирующих за общий ресурс, путем построения математических моделей этого процесса. ... Решающее значение, как мы увидим, имеет механизм торможения роста численности популяции при увеличении ее плотности. ... Модель неограниченного экспоненциального роста . ...