Скачать книги автора «Евгения Леонидовна Веретельникова»

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

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

Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.

Учебное пособие предназначено для практических занятий по курсу «Теория вероятностей и математическая статистика». В работе изложен теоретический материал и приведены примеры решения задач по теории вероятностей. Материал подразделен на девять тем и сгруппирован таким образом, чтобы на аудиторном занятии изучались одна-две темы. В рамках каждой темы предлагаются упражнения для самостоятельной работы. Приложение А содержит пример варианта контрольной работы.

Учебное пособие предназначено для студентов I курса АВТФ направлений 09.03.01 и 27.03.01 дневной формы обучения, а также может быть полезно студентам других специальностей, в том числе заочной формы обучения, изучающих дисциплину «Теория вероятностей и математическая статистика».