Компьютерное моделирование

Физмат ТГПИ. Классификация и виды моделей. Методы и проблемы моделирования. Проблемы ИИ. Степень доверия к результатам работы ЭВМ.

Д.А. Зайцев, Цикл лекций "Моделирование сетями Петри и Слепцова" для научного лектория Ришельевского Лицея, Одесса, Лекция 4: "Оценка производительности cистем раскрашенными сетями Петри", 2021, 35 слайдов, ссылка на видеозапись. Корректность, устанавливаемая в процессе верификации, является важным свойством системы. Эффективность является свойством, определяющим успех...