... Пропустить Стоимость курсов . ... Порядок заключения договоров на обучение определен, вы можете с ним ознакомиться в курсе Заключение договоров и оплата курсов . Регистрируйтесь на сайте, изучайте первые бесплатные уроки и выбирайте курсы для дальнейшего изучения. ... Базовый курс. ... Этот курс рекомендуется брать после изучения курса Информатика. ... Дистанционные подготовительные курсы факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова Пропустить Новостной форум . ...
... Компания Hewlett-Packard учредила программу поддержки ученых из России и стран СНГ для участия в конференции ACAT'2002. ... Особенно важной поддержка со стороны компании Hewlett-Packard является для молодых исследователей, только начинающих свой путь в науке. ... В рамках программы 21 студент получит HP-гранты. ... Для того, чтобы это стало возможно на конференции ACAT'2002, компания Hewlett-Packard любезно согласилась предоставить оргкомитету на время проведения форума персональные компьютеры. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
Е.А. Григорьев ВВЕДЕНИЕ В КОМПЛЕКСНЫЙ АНАЛИЗ Практикум (по программе бакалавров) 2 ПРЕДУВЕДОМЛЕНИЕ К ПРАКТИКУМУ Настоящее пособие содержит основные формулировки, решение примеров, а также вопросы и задачи для самостоятельной работы из готовящегося к печати курса "ВВЕДЕНИЕ В КОМПЛЕКСНЫЙ АНАЛИЗ". Автор рассчитывает на ограниченное распространение следующего ниже текста до его издания и надеется найти в этом понимание со стороны пользователей. ПРЕДИСЛОВИЕ К КУРСУ ЛЕКЦИЙ Предлагаемый вниманию читателя курс