... Модели конкуренции: динамика численности и эволюция фенотипа . пособие по компьютерному практикуму) . ... Данный раздел компьютерного практикума посвящен изучению закономерностей изменения численности двух нескрещивающихся популяций X и Y , конкурирующих за общий ресурс, путем построения математических моделей этого процесса. ... Решающее значение, как мы увидим, имеет механизм торможения роста численности популяции при увеличении ее плотности. ... Модель неограниченного экспоненциального роста . ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Интеграция новейших компьютерных технологий в преподавание иностранных языков ? ... Докторскую диссертацию на тему ?Теоретические основы компьютерно-информационной модели обучения иностранным языкам? защитила на факультете иностранных языков и регионоведения МГУ в 2003 году. ... В настоящее время читает лекционные курсы: ?ИКТ в преподавании иностранных языков?, ... В 2010 году создала и ведет дистанционный курс повышения ИК компетенции преподавателей ИКТ в преподавании иностранных языков . ...